Thodoris Sotiropoulos

Thodoris Sotiropoulos is a postdoctoral researcher in the Advanced Software Technologies group at ETH Zurich. His research focuses on the design of appropriate abstractions that help examine the reliability of complex software, such as compilers, data-oriented systems, or software that heavily relies on the file system. He completed his PhD at the Athens University of Economics and Business working in the areas of programming languages, program analysis, and testing under the supervision of Prof Diomidis Spinellis. He holds an MSc with distinction in Advanced Computing from Imperial College London and he has previously worked as a software engineer at the Greek Research and Technology Network (GRNET). Recently, he was an intern at Amazon Web Services (AWS) where he worked on the design and implementation of static analysis techniques for detecting security issues. Thodoris has published papers at PLDI, POPL, ICSE, OOPSLA, and many other venues, some of them winning major awards.