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
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
2021 - 2022Computer 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 - 2021Computer Architecture (1st year Undergraduate Lab)
Functional Programming (2nd year Undergraduate Lab)
2019 - 2020Computer 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 MeYou can contact me at the following email addresses: