L'université et
la recherche
en France sont toujours en danger.
Depuis septembre 2007, je suis maître de conférences en mathématiques à l'Université Aix-Marseille II, également nommée Université de la Méditerranée. Je travaille à l'Institut de Mathématiques de Luminy, dans l'équipe Logique de la programmation. Vous pouvez me joindre, entre autres:
| par mail: | beffara chez iml point univ-mrs point fr |
|---|---|
| par téléphone: | +33 4 91 26 96 35 |
Enseignement
- Cours et TD de mathématiques discrètes 2, en Licence 2 et 3
- Cours d'Unix et réseaux en Master MINT
- Cours d'option Logique et théorie du calcul en Master 1
Recherche
Publications
- An algebraic process calculus — LICS 2008.
- A concurrent model for linear logic — MFPS XXI, 2005.
- Concurrent Nets: a study of prefixing in process calculi, avec François Maurel — TCS 356.
- Disjunctive normal forms and local exceptions, avec Vincent Danos — ICFP'03.
- Logique, Réalisabilité et Concurrence — thèse de doctorat.
Notes
- Linear combinations of orders — 3/11/2009, hal-00429610.
- Quantitative testing semantics for non-interleaving — 15/4/2009, hal-00397551.
Exposés
- Sémantique de test quantitative — séminaire Choco, Lyon, 18/6/2009.
- An algebraic process calculus — LICS, 25/6/2008.
- A concurrent model for linear logic — MFPS XXI, Birmingham, 20/5/2005.
- Logique de la Programmation Concurrente — séminaire des thésards, 14/10/2004.
- Concurrent Nets: a study of prefixing in process calculi — Géocal, Lyon, 26/5/2004.
- Proof Nets as Concurrent Processes — séminaire de logique de l'IML, 16/3/2004.
- Une introduction à Haskell — présentation informelle à PPS, 29/9/2003.
Activités
Je fais la page web et un peu le séminaire du projet ANR Choco.
Programmes
J'écris quelques programmes, et même quelques trucs que des gens utilisent. J'ai fait une page là-dessus, où l'on trouvera descriptifs, fichiers, liens, et le tout de mon cru.
Pub
- Une cause politique de première importance: Ban Comic Sans!
- Allez voir le site de ma maman!


