Ph.D candidate

Hi, I'm David.

Ph.D student at Institut Polytechnique de Paris - Télécom Paris.

Currently working on formal methods (model checking) for Autonomous Cyber Defense. Before that, I was a Software Engineer.

Palaiseau, France

Some info

Looking for potential collaborators across the formal methods and cybersecurity space. Don't hesitate to reach out!
My email is: firstname (dot) msg (at) proton (dot) me