Vélus: Towards a Modular ResetLast updated on Apr 13, 2023Project SlidesLelio BrunPostdoctoral research scientist in Computer ScienceMy research interests include synchronous languages, functional programming and verified compilation.