Yann Herklotz @ymherklotz@types.pl

blog: https://yannherklotz.com

sourcehut: https://sr.ht/~ymherklotz

PhD student in circuits and systems at Imperial College London. Fuzzing synthesis tools and verifying high-level synthesis.

Joined Nov 2022

78 Following 44 Followers

Toots Toots and replies Media

There is nothing here!

blog: https://yannherklotz.com

sourcehut: https://sr.ht/~ymherklotz

PhD student in circuits and systems at Imperial College London. Fuzzing synthesis tools and verifying high-level synthesis.

Joined Nov 2022

vericert There is nothing here!

verismith There is nothing here!