Srdjan Krstic

Srdjan Krstic serves as a senior researcher (Oberassistent) in the Information Security Group under Prof. David Basin at ETH Zurich's Department of Computer Science since May 2020, having previously held a postdoctoral researcher position within the same group. His academic trajectory spans institutions including Politecnico di Milano and the University of Niš.

Education highlights:

• BSc in Electrical Engineering and Computer Science from University of Niš
• MSc in Engineering Computing Systems from Politecnico di Milano
• PhD from Politecnico di Milano (2016) supervised by Prof. Carlo Ghezzi at DeepSE Research Group

Research Interests:
Dr. Krstic specializes in specification and verification methodologies for complex software systems, applying formal methods to ensure correctness and reliability. His work intersects software engineering, information security, and formal verification, with emphasis on mathematical rigor for critical system validation. Current projects likely address evolving security challenges in distributed systems.

Scientific Awards:

• No specific awards documented in the provided text

Advising and Grants:
He actively solicits student contact for research collaboration in verification and security fields, though no named advisees or funding sources are listed. His role suggests ongoing supervision of graduate projects within ETH Zurich's academic framework.

Labs and Teams:
Core member of ETH Zurich's Information Security Group, contributing to the Department of Computer Science's mission in secure system development. The group focuses on protocol verification and security-critical software analysis under Prof. Basin's leadership.