You are not logged in
Bluesky Profile
@
Yann Herklotz
@yannherklotz.com
Registered: 17 Nov 2024 12:49
Last post: n/a
Postdoc at EPFL working with interactive theorem provers for hardware design.
This account allows followers on Bluesky to be notified of new posts from this account.
Handle history for @yannherklotz.com
ymherklotz.bsky.social
PDS: cremini.us-west.host.bsky.network
2024-11-17 12:45:54
yannherklotz.com
2024-11-17 12:51:50