About Me

Hi, I am Bogdan and I'm a Phd Student in Computer Science at the University of Bucharest, since October 2021, under the supervision of Ioana Leuștean.
I'm currently intrested in both Logic and Computer Architecture and I hope that using formal methods I will find a way to combine these two branches in my research.
I am also a .Net Developer at Essensys Software since November 2018, and I proved here that I'm an ambitious person who has developed mature and responsible approach to any task that I undertake.

You can find out more about me reading my CV

Teaching (labs)

2021 - 2022

Computer Architecture (1st year Undergraduate Lab)
Special Topics in Logic and Security (Master Lab)
Fundamentele Limbajelor de Programare (2nd year Undergraduate Lab)
Implementarea Concurentei in Limbajele de Programare (Master Lab)
Elemente de Securitate si Logica Aplicata (3rd year Undergraduate Lab)

2020 - 2021

Computer Architecture (1st year Undergraduate Lab)
Functional Programming (2nd year Undergraduate Lab)

2019 - 2020

Computer Architecture (1st year Undergraduate Lab)
Formal Languages and Automata (1st year Undergraduate Lab)


  • DELP: Dynamic Epistemic Logic for Security Protocols (with Ioana Leuștean), arXiv:2109.05599, FROM 2021, Proceedings of SYNASC 2021 (accepted).


Contact Me

You can contact me at the following email addresses: