Obelisk Jun 2, 2017 Go to Project Site Lélio Brun Postdoctoral research scientist in Computer Science My research interests include synchronous languages, functional programming and verified compilation.