Aymeric Fromherz

photo.jpg Hi! I'm currently a researcher in the Prosecco Team at Inria Paris.

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.

Previously, I was a PhD student in Cylab at Carnegie Mellon University, coadvised by Bryan Parno and Corina Pasareanu. Before joining CMU, I received my Bachelor's and Master's degree from the Ecole Normale Superieure in Paris, France.

Contact

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

You can find my CV here.

Publications

Preprints

Technical Reports

Misc.

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.