Engineer and doctor in Computer Science of the University of Rennes 1
- NOmickael Sdelahaye,PAgmail Mcom (Hint: ignore caps, replace spaces by dots and comma by at sign)
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.