Menu

Julien TESSON

ORLEANS

En résumé

Associate professor in computer science, my interest goes from proof assistants to high level parallel programming languages design.

My main research activity is about using the Coq proof assistant to model functional parallel programs and reason on them.

over the past few years, I have enjoyed to teach at different level.
I have found this activity, which involves spreading knowledge and interacting with student, very rewarding.

Specialisations :
Scientific :
- Proof of programs
- Proof assistant
- Parallel programming
- Programming languages semantics

Communication :
- Technical and scientific works presentation
- Science popularization
- Project management

Entreprises

  • Université Paris-Est Créteil, LACL - Maitre de Conférences (Associate professor)

    2012 - maintenant
  • Kochi University of Technology - Post-doc

    2012 - 2012
  • LIFO ( Laboratoire d'Informatique Fondamentale d'Orléans ) - Doctorant

    2007 - 2011

Formations

Réseau

Annuaire des membres :