Robuta

https://yannherklotz.com/ Yann Herklotz I’m currently a postdoc with Thomas Bourgeat in the Verification and Computer Architecture (VCA) lab at EPFL, working on increasing the level of abstraction in... yann