Department of Computer Science
Software, Data, People & Society

Department of Computer Science
Information Security Group

🚪 02.1.H.128
📮 Jagtvej 155A, 2200 København N
🚪 CNB F 109.2
📮 Universitätstrasse 6, 8092 Zürich

📧 s......@di.ku.dk (UCPH) PGP Key
📧 s......@inf.ethz.ch (ETHZ) PGP Key
📧 k......@gmail.com (Personal) PGP Key

As of May 2026, I am an Associate Professor at the Department of Computer Science at the University of Copenhagen and a lecturer at the Department of Computer Science at ETH Zürich.

Previously, I was a senior researcher (Oberassistent) and a lecturer in the Information Security Group led by Prof. David Basin. I earned my PhD in 2016 at the DeepSE Research Group at Politecnico di Milano, under the supervision of Prof. Carlo Ghezzi. I hold a BSc degree in Electrical Engineering and Computer Science from the University of Niš, and an MSc degree in Engineering Computing Systems from Politecnico di Milano.

My primary research interests lie in developing techniques and methodologies for the specification and verification of complex software systems.

Students interested in these areas are welcome to contact me via email.

My first name is Srđan (also spelled Srdjan or Srdan). Its pronunciation can be tricky, and I admit it’s a bit of a tongue twister. If you prefer, you can use the Italian version I like—Sergio—which is much easier to pronounce. Otherwise, feel free to practice the original pronunciation (IPA: /Srd͡ʑan/):