Vélus

Avatar
Lélio Brun
PhD candidate in Computer Science

My research interests include synchronous languages, functional programming and verified compilation.