Samuel Mimram
samuel.mimram@ens-lyon.org
Équipe MeASI
CEA LIST
Laboratory for the Modelling and Analysis of Interacting Systems
Point Courrier 94
91191 Gif-sur-Yvette, France
Phone: +33 1 69 08 88 59
I just finished my PhD thesis in the PPS team. You can have a look at my curriculum vitæ.
Denotational semantics (game semantics in particular), concurrency, rewriting theory, category theory, linear logic, programming languages, algebraic topology.
Game semantics characterize the interactive behaviour of proofs and programs, by modeling them as strategies which describe the way they react to their environment. In order to take in account concurrent aspects of proofs in linear logic, usual notions and techniques in game semantics are recasted in an asynchronous and non-alternating framework. In a first part, we define a family of asynchronous strategies giving rise to a model of linear logic, which is fully complete for the multiplicative fragment. These strategies are defined in a purely local way by a series of diagrammatic axioms. Then, they are refined by a dynamic scheduling criterion, which is shown to constrain strategies to satisfy an oriented variant of the correctness criterion of proof nets. This asynchronous formulation unifies various models of linear logic -- sequential as well as concurrent, dynamic as well as static -- where proofs are seen either as sequential strategies, as concurrent strategies, as relations, or as event structures. In a second part, we investigate another approach to describe the causality induced by proofs and introduce a game semantics which captures dependencies induced by first order connectives in propositional logic. We then show that the resulting category can be finitely presented by a 2-polygraph and discuss how this presentation could be oriented in a confluent rewriting system. In particular, we introduce an unification algorithm in this 2-dimensional framework.
/proc/cpu (contrairement à gkrellm-x86info qui recalcule cette vitesse ce qui donne des résultats moins probants sur mon ordi avec speedstep).
#superquizz de irc.rezosup.org).