- Maître de conférences en mathématiques à l'Université d'Aix-Marseille, précédemment à l'Université de la Méditerranée.
- Membre de l'Institut de Mathématiques de Luminy, dans l'équipe Logique de la programmation.
Contact
| mail: | beffara chez iml point univ-mrs point fr |
|---|---|
| téléphone: | +33 4 91 26 96 35 |
| autres… |
Actualité
- Logique et interactions 2012: session résidentielle au CIRM en février 2012.
Enseignement
Ça se passe au département de mathématiques de la Faculté des Sciences de Luminy:
- Mathématiques discrètes 2, en Licence 2.
- Logique et théorie du calcul, en Master 1.
- Systèmes dynamiques discrets, en Master 1 (mais pas cette année).
- Unix et réseaux, en Master 2 ISMA.
- Formation pour la spécialité Informatique et sciences du numérique, avec l'IREM et le rectorat.
Research
My scientific interests include:
- logical foundations of interactive and non-deterministic systems,
- linear-algebraic semantics of computation,
- what happens to the proof/program correspondence outside functional computation,
- various things related to the above topics.
Have a look at my publications!
Structures
Je suis impliqué dans les projets
- Panda (ANR): Parallelism and Distribution Analysis.
- Logoi (ANR): Geometry of interaction.
- Récré (ANR): Realizability.
Je fais aussi partie du GDR Informatique Mathématique dans le groupe Geocal.
J'ai aussi fait partie de feus les projets ANR Choco (Curry-Howard and Concurrency) et PEPS Quand (Quantitative Approaches to Non-Determinism).
Software
I ocasionally write some software, even a few things that some people actually use. I have a separate page about all that.
Pub
- Une cause politique de première importance: Ban Comic Sans!
- Allez voir le site de ma maman!
Logos
