I am a researcher and a lecturer in computer science in general and and formal verification of security protocols in particular.

I designed and implemented the Security Protocol Specification language (SPS) in which one can specify security protocols in the intuitive Alice-and-Bob notation, and then formally verify the specified protocols using the state-of-the-art tools. Using SPS language I verified several protocols both on academic and industrial levels.

I enjoy teaching courses related to programming, security, formal and theoretical aspects of computer science.