About
Lelio Brun is a Research Fellow at the National Institute of Informatics (Tokyo), focusing on applying formal methods to IoT security within the ZT-IoT project. He holds a PhD in Computer Science from École normale supérieure - PSL Research University (2020), an MSc in Computer Science from Université Paris Cité (2016), and an MSc in Aerospace Engineering from ISAE-ENSMA (2013).
His research spans formal methods, IoT security, and verified compilation, with emphasis on synchronous languages like Lustre. He develops techniques to ensure correctness in safety-critical embedded software through semantic modeling and compiler verification.
Awards include the Best Paper award at EMSOFT'23 and the GDR GPL accessit prize for his doctoral work. He contributes to projects like Vélus (a verified Lustre compiler) and Obelisk (Menhir grammar pretty-printer).
Find Lelio Brun elsewhere
Related Searches
You Might Also Like
Marc PouzetNational and Kapodistrian University of Athens · Professor- TTimothy BourkeInria · Researcher
Hugo PeyreÉcole Normale Supérieure · Professor
Victor BALEDENTÉcole Normale Supérieure · Assistant Professor
Xavier RivalÉcole Normale Supérieure · Adjunct Professor- PPaul H. PortnerÉcole Normale Supérieure · Professor