Nicolas Markey Interview

Interview with Nicolas Markey from FET FoCAS on Vimeo.

Nicolas is the coordinator of the Cassting Project.

He is a full-time researcher at LSV of CNRS, Paris, France.

His main research track relates to the development of formal methods for the verification and synthesis of computerized systems, focusing on model checking.