Alban Linard

Alban Linard has a long history of working in software engineering and research and development. In 2021, they began working as a Software Developer for Odit-e. Prior to that, they were a Software Engineer for PONANT Technologies from 2019 to 2021. From 2015 to 2019, they worked as an R&D Engineer for Université de Genève, where they designed and implemented Ardoises, a platform dedicated to formal methods. Alban also designed, implemented, tested, and verified a many-client/one-server collaboration protocol in Ardoises. From 2012 to 2015, they were an R&D Engineer for Inria, where they maintained and evolved CosyVerif. From 2009 to 2012, they were a Postdoctoral Researcher for Université de Genève, where they co-created the Model Checking Contest @ Petri nets and conducted research on formal verification.

Alban Linard obtained their Ph.D. in Computer Science from Pierre and Marie Curie University in 2009. Prior to this, they completed a Master in Systèmes et applications répartis from the same university in 2005, and a Licence in Informatique from the same university in 2003.