Mickaël Delahaye

Engineer and doctor in Computer Science of the University of Rennes 1

Contact information

Research and Teaching

I am interested in various aspects of computer science, in particular, software engineering. My main research field is software verification (both testing and formal verification).

Since 2005, I have taught computer science and software engineering in multiple universities and engineering schools.