Nicolas Hili
- hili@cs.queensu.ca
- Website
- http://hili.fr
- Profile
- I graduated in System Engineering from the École Nationale Supérieure de l'Électronique et de ses Applications in 2011 in Paris, and obtained a Ph.D. degree in Embedded Systems and Computer Science from CEA LETI and Grenoble Alpes University in 2014. I was then postdoctoral fellow in the Engineering of Human-Computer Interaction team in the Computer Science Laboratory of Grenoble. Since 2016, I am employed as a postdoctoral fellow in the Modeling and Analysis in Software Engineering group at Queen's School of Computing in Canada.
- Featured publications
-
- full list of publications
- Teaching
CISC/CMPE 422 – Formal Methods in Software Engineering (Fall 2017)