Thodoris Sotiropoulos



Research area

Title: Techniques for Improving the Reliability of Event-Driven Programs
Supervisor: Spinellis Diomidis
Starting date: 2018-12-03

Biographical Information

Thodoris Sotiropoulos is a PhD candidate at the Department of Management Science and Technology. He holds an MSc with distinction in Advanced Computing from Imperial College London, and a BSc in Management Science and Technology from Athens University of Economics and Business. He has previously worked in industry as a software engineer at Greek Research and Technology Network (GRNET).

His main research interests include programming languages, program analysis, software testing, and software reliability.


Journal Articles

    • Dimitris Mitropoulos, Thodoris Sotiropoulos, Nikos Koutsovasilis, and Diomidis Spinellis. PDGuard: an architecture for the control and secure processing of personal data. In International Journal of Information Security. 2019.

Conference Publications

    • Thodoris Sotiropoulos, Dimitris Mitropoulos, and Diomidis Spinellis. Practical fault detection in Puppet programs. In 42nd International Conference on Software Engineering, ICSE '20. 2020. To appear.
    • Thodoris Sotiropoulos and Benjamin Livshits. Static analysis for asynchronous JavaScript programs. In 33rd European Conference on Object-Oriented Programming, ECOOP '19. 2019.


    • FSMoVe — Tool for detecting ordering violations and missing notifiers in Puppet programs