Jannik DREIER

Maître de Conférences (Associate Professor) at Université de Lorraine.

Teaching at TELECOM Nancy and research in the PESTO team at LORIA.

 

Research

  • protocol security
  • (computer-assisted) formal verification of security protocols
  • theoretical foundations (process algebra, rewriting, …)
  • privacy-preserving computations and applications

I am co-developing the Tamarin prover.

 

Teaching

Current (at TELECOM Nancy):

  • Object Oriented Programming
  • Introduction to Theoretical Computer Science

Past: