Yann Herklotz
yannherklotz.com
Yann Herklotz
@yannherklotz.com
Postdoc at EPFL working with interactive theorem provers for hardware design.
No replies yet.