Thodoris Sotiropoulos

I am a postdoctoral researcher in the Advanced Software Technologies group at ETH Zurich, under the guidance of Prof Zhendong Su. I completed my 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. I hold an MSc with distinction in Advanced Computing from Imperial College London and I have previously worked as a software engineer at the Greek Research and Technology Network (GRNET). I was also an intern at Amazon Web Services (AWS ) where I worked on the design and implementation of static analysis techniques for detecting security issues. For my detailed CV, please follow this link.

My research focuses on designing and building practical tools that automate various tasks across the software development pipeline, such as code analysis, test input generation, and fault detection. To achieve this, I leverage and develop programming language technologies (e.g., formal models, static and dynamic program analysis, randomized testing) and methods from empirical software engineering.