Frédéric PROST
Associate Professor at LIG , in the CAPP team.

Laboratoire d'Informatique de Grenoble (LIG), Equipe CAPP

Office C 112,
Bat IMAG C - 220, rue de la Chimie
38 400 Saint Martin d'Heres, FRANCE
Tel : (+33) 4 76 63 56 71
Fax : (+33) 4 76 63 56 86
E-mail : Frederic.Prost@imag.fr
Detailed CV (french) : CV

Position

• Associate Professor (HDR) at the UFR IMAG of the Universite Joseph Fourier.
• Member of the LIG Laboratory.
  
• Head of the LIG ethics commission.
• Member of the CAPP team

Research Interests

• Programming language theory:
• Graph Rewriting
• Quantum programming languages
• Logic for program proofs
• Non-interference analyses
• Anonymity
• Artificial intelligence:
• Engine for variant of chess : Twilight Chess

Teaching

• Imperative programming (L2): INF231
• Confidentiality and computer science(L3): GGINF36C
• Functional programming (L1): INF121
• Programming Languages and Compiler Design (MoSIG 1): PL&CD

Publications