Christos Diou
diou
Department of Informatics and Telematics, Harokopio University of Athens Athens, Greece
Dimitrios Michail
d-michail
Professor/Research Scientist/Software Engineer
Harokopio University of Athens Athens, Greece
Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK
Nikolaos S. Papaspyrou
nickie
Software Engineer at Google, Chrome/V8. Professor on leave at the School of Electrical and Computer Engineering of the National Technical University of Athens.
National Technical University of Athens @ntua Athens, Greece