Yann Herklotz
yannherklotz.com
Yann Herklotz
@yannherklotz.com
Postdoc at EPFL working with interactive theorem provers for hardware design.
Reposted by Yann Herklotz
Huge congratulations to my PhD student Sam Coward of Intel (jointly advised by Theo Drane). Sam has produced an amazing body of work on e-graphs in hardware design - see my blog for accessible summaries. Thanks to Tom Melham (@ox.ac.uk) and @afd-icl.bsky.social for examining!
January 24, 2025 at 3:56 PM