Uniform SAmplINg with BOLTZmann [tool paper]
M. Dien, M. Pépin
About me
Since the 1st September 2023, I am a French “maître de conférences” (≈ lecturer) at GREYC (Unicaen (Université Caen Normandie) in the Amacc team. Before that I did a post-doc with Olivier Bodini at LIPN in the CALIN team, a post-doc with Thomas Ehrhard at IRIF in the “Algèbre et Calcul” group, and I did my PhD at LIP6 (Sorbonne Université) in the APR team under the supervision of Antoine Genitrini and Frederic Peschanski. My research revolves around the study of programming concepts under the lens of combinatorics, providing theoretical and algorithmic tools to analyse them. In particular, I develop efficient (uniform) random generation algorithms to experiment with and test complex systems that would be hard to tackle exhaustively.
I also like to program a lot, for fun and also as a research activity. I consider it to be a real part of research to provide a clean and usable implementation of the algorithms and ideas we develop; and I dedicate a good part of my time to it.
PhD thesis
I defended my PhD thesis, entitled "Quantitative and algorithmic analysis of concurrent programs", on Wednesday, September 29th 2021 in Paris. The most up-to-date version of the manuscript is available here.Contact:
- my e-mail: first_name DOT last_name AT unicaen DOT fr;
- My pgp key: E7520278B1774448
- my Github;
- my Gitlab.