Alain Delaët

I am currently a PhD student in formal verification of programs for the law under the supervision of Sandrine Blazy and Denis Merigoux in Prosecco and Epicure team. I was previously civil-servant for my studies at ENS Lyon in Computer Science. I have a Master’s of Research degree in Fondamental Computer Science (MPRI).

My research interests include:

I am interested in the social impact of computer science. I followed the first year of the Master of Philosophy of science at Paris 1 Panthéon Sorbonne. I did various projects for the popularization of science.

Feel free to contact me to discuss any of the above topics.

Contact me by .