Emmanuel Beffara

Cette année, je suis mis à disposition de l'ENS de Lyon. au sein de l'équipe Plume du Laboratoire de l'Informatique du Parallélisme.

Contact

mail:emmanuel point beffara chez univ-amu point fr
téléphone:+33 4 91 26 96 35
autres…

Research

My scientific interests include:

Have a look at my publications!

Stages

Je propose des sujet de stage de recherche niveau master 2 (actuellement, ça se passerait à Lyon):

Structures

Je suis impliqué dans les projets

On me voit souvent aux séminaires Chocola à l'ENS Lyon.

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

Logos

LDP IML U2 CNRS ANR Pilote