Brussels / 4 & 5 February 2023


Fabien Chouteau

Photo of Fabien Chouteau

Fabien is an embedded software engineer, who holds a master's degree in computer science from EPITA (Paris). He is involved in real-time, embedded and hardware simulation technology at AdaCore since 2010. Hacker/maker/DIYer in his spare time, his projects include electronics, music and woodworking.

More info: - Website: - Mastodon: - GitHub: - GitHub:


Title Day Room Track Start End
Get Started with Open Source Formal Verification Sunday H.2215 (Ferrer) Lightning Talks 15:00 15:15