Eugen Zalinescu

Eugen Zalinescu is a software engineer at Nomadic Labs since October 2018, focusing on the consensus team and the Tenderbake consensus algorithm for Tezos. Prior experience includes serving as a postdoc at the Technical University of Munich, where work centered on checking non-interference properties, and a researcher position at LMU’s Institut für Informatik, enhancing tools for secure web programming. Eugen was a senior research scientist at ETH Zurich from 2009 to 2015, contributing to runtime verification and stream processing, including the development of the MonPoly monitoring tool in OCaml. Earlier, at the Microsoft Inria Joint Center, a postdoctoral researcher role involved implementing a subset of the SSL/TLS protocol in F#. Educational credentials include a Ph.D. in Computer Science from Université Henri Poincaré and a Master's degree from Institut de Mathématiques de Luminy, as well as a Bachelor's degree from Al I Cuza University.