ETHZ

Computer Science Department
Institute of Information Security
Information Security Group

Srdan Krstic

🚪 CNB F 109.2
📮 Universitätstrasse 6
       8092 Zürich
       Switzerland
📞 +41 44 632 93 28
📧 s......@inf.ethz.ch (Work) PGP Key
📧 k......@gmail.com (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 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 are 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/):