Thodoris Sotiropoulos

I am an applied scientist at the National Infrastructures for Research and Technology (GRNET), where I lead the Technical Advisory Unit for Digital Systems Reliability and Performance within the ICT Systems and Services Architecture Office. My work there centers around the design and implementation of practical, automated tooling, such as program analysis, testing, and bug-finding techniques, for assessing the reliability and performance of digital services operating at national scale, including public-sector and academic infrastructure.

Previously, I was 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.