ÂÜÀòÂÒÂ×

Nicolas Jeannerod's work experience begins in 2014 with a research internship at the Institut de Mathématiques de Marseille. In 2015, they had another research internship at McGill University. In 2016, they started working at Université de Paris, where they completed a Ph.D. in Computer Science and also took on teaching responsibilities. At Université de Paris, they also had research internships and taught practical and written exercises over a period of 4 years. In 2017, Nicolas participated in the Google Summer of Code program. Nicolas'smost recent role is as a Research Software Engineer at Tweag, where they work in the High Assurance Software Group, focusing on analyzing Cardano smart contracts and providing security audits using formal methods. Nicolas also spent a year working with Hachi, a research effort in security, programming language theory, and formal methods on the Cardano blockchain.

Nicolas Jeannerod completed their education chronologically as follows:

From 2011 to 2013, they attended Lycée du Parc, where they studied Preparatory Classes in MPSI/MP*.

In 2013, they enrolled at Ecole normale supérieure, where they earned a Bachelor's degree in Computer Science. Nicolas continued their education at the same institution and received an ENS Graduate Degree between 2013 and 2017, although the field of study for this degree is not specified.

In parallel with their studies at Ecole normale supérieure, from 2014 to 2016, Nicolas pursued a Master's degree in Computer Science at Université Paris Cité.

This information solely reflects the provided chronological education history and makes no further assumptions about Nicolas Jeannerod's educational experiences.