Computer Science Department
Institute of Information Security
Information Security Group

Srdan Krstic

🚪 CNB F 107.2
📮 Universitätstrasse 6
       8092 Zürich
📞 +41 44 632 93 28
📧 (Work) PGP Key
📧 (Personal) PGP Key




As of May 2020, I am a senior researcher (Oberassistent) in the Information Security group led by prof. David Basin at ETH Zürich. Previously I was a postdoctoral researcher in the same group. I have obtained my PhD in 2016 at the DeepSE research group at Politecnico di Milano under prof. Carlo Ghezzi’s supervision. I have obtained my BSc degree in Electrical Engineering and Computer Science at the Faculty of Electronic Engineering Niš and my MSc degree in Engineering Computing Systems at Politecnico di Milano. My main research interests include developing techniques and methodologies that enable specification and verification of complex software systems.

Students interested in these fields are welcome to send me an email.

As for my first name: Srđan (or variants: Srdjan, Srdan) - I’m aware that some people have problems pronouncing it and I admit - it’s a bit of a tongue twister. One solution is to use the (much easier) italian version: Sergio, the other is to practice (IPA: /Srd͡ʑan/):