Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Lélio Brun
Postdoctoral research scientist in Computer Science
My research interests include synchronous languages, functional programming and verified compilation.