CV

Formation

• Enset, PhD
  

Work experience

• Inria – Université de Lorraine (Nancy)

Interests

• automated reasoning, security, formal verification …