Nicolas Lagaillardie
PhD Student
Nicolas (Nico) is a PhD student under supervision of Professor Nobuko Yoshida. He has a master’s degree (M.Sc) from Université de Lyon and an French engineering degree (Fr.Eng) from École Des Mines de Saint-Étienne. In the latter, he majored Computer Science and Data Science. In the former, he studied IoT related lectures, such as cyber security and Web development. He also worked with Dr Önder GÜRCAN during 6 months on the simulation of the Blockchain protocol Tendermint. Current research interests are focused on Affine Timed Session Types and its implementation in Rust.
Nicolas recently defended his thesis.
Publications
2024
2022
2020
-
: Implementing Multiparty Session Types in Rust. COORDINATION 2020 .
-
: Implementing Multiparty Session Types in Rust. PLACES@ETAPS 2020 .