Aymeric Fromherz

photo.jpg Hi! I'm a postdoc in the Prosecco Team at Inria Paris. Previously, I was a PhD student in Cylab at Carnegie Mellon University, coadvised by Bryan Parno and Corina Pasareanu.

My research focuses on how to design and build secure systems, using automated techniques such as symbolic execution and abstract interpretation, as well as formal methods. I'm currently a member of the Everest Project.

Before joining CMU, I received my Bachelor's and Master's degree from the Ecole Normale Superieure in Paris, France.


My email address is firstname [dot] lastname [at] inria [dot] fr

You can find my CV here.


Publications under Review and Technical Reports


On my free time, I enjoy dancing and playing the piano for Scottish Country dancers. In the past, I wrote several dances and tunes for the Paris Branch.