@yannherklotz.com
42 Followers · 75 Following
Postdoc at EPFL working with interactive theorem provers for hardware design.
Nothing here yet.
