معرفی
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).
