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 and AI Engineer since November 2018, and I proved in these areas 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
2023 - 2024
Computer Architecture (1st year Undergraduate Lab)Special Topics in Logic and Security (Master Seminar, teaching in English)
Programare Logică și Funcțională (3rd Year Undegraduate Students, CTI, Lab & Seminar)
Implementarea Concurenței în Limbajele de Programare (Master Lab)
Elemente de Securitate și Logică Aplicată (3rd Year Undergraduate Students)
2022 - 2023
Computer Architecture (1st year Undergraduate Lab) Special Topics in Logic and Security (Master Seminar, teaching in English)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)
2021 - 2022
Computer Architecture (1st year Undergraduate Lab)Special Topics in Logic and Security (Master Seminar, teaching in English)
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)
Teaching at LOS - Institute of Mathematics of the Romanian Academy
2021 - 2022
Lean SeminarPublications
- A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle, 10.4204/EPTCS.389.5, FROM 2023
- DELP: Dynamic Epistemic Logic for Security Protocols (with Ioana Leuștean), arXiv:2109.05599, FROM 2021, Proceedings of SYNASC 2021 (accepted).
Talks
- FROM 2021, Timișoara, Romania, December 7-9, 2021
- LOS-IMAR Logic Seminar, October 28, 2021
- Logic Colloquium 2022, Reyjkavik, Iceland, 27 June - 1 July 2022
- LOS-IMAR-ILDS Logic Seminar, November 3, 2022
- FROM 2023, Bucharest, Romania, September 21-22, 2023
Contact Me
You can contact me at the following email addresses:bogdan.macovei [at] fmi [dot] unibuc [dot] ro
bogdan.macovei [at] unibuc [dot] ro
You can also find me at Room 209 @ University of Bucharest.