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
Teaching at University of Bucharest
2022 - 2023Computer Architecture (1st year Undergraduate Lab) Special Topics in Logic and Security (Master Lab)
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)
Teaching at LOS - Institute of Mathematics of the Romanian Academy
2021 - 2022Lean Seminar
- 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:
bogdan.macovei [at] fmi [dot] unibuc [dot] ro
bogdan.macovei [at] unibuc [dot] ro