About Me
I'm a Phd Candidate in Computer Science at the University of Bucharest, since October 2021, under the supervision of
Ioana Leuștean.
I'm currently intrested in Logic, Artificial Intelligence and Computer Architecture and I hope that using formal methods I am able to combine these branches in my research.
I am also a .Net Developer and AI Engineer since November 2018.
You can find out more about me reading my CV.
Teaching at University of Bucharest
2025 - 2026
Computer Architecture (1st year Undergraduate Lab)Special Topics in Logic and Security (Master Seminar, teaching in English)
Implementarea Concurenței în Limbajele de Programare (Undergraduate & Master Lab)
Programare Logică și Funcțională (3rd Year Undergraduate Students, CTI, Lab & Seminar)
Elemente de Securitate și Logică Aplicată (Final Year Undergraduate Lab)
Programare Concurentă (Master Lab)
2024 - 2025
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 (Undergraduate & Master Lab)
Elemente de Securitate și Logică Aplicată (3rd Year Undergraduate Students)
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
- Trace-to-Logic Assurance for Agentic AI: Mining Probabilistic Rules from Message-Action Traces (with Alin Ștefănescu and Ciprian Păduraru), ENASE 2026 (accepted)
- A Hybrid Many-Sorted Modal Logic with Nominal Terms (with Ioana Leuștean), 10.1007/978-3-032-22469-9_14, RAMiCS 2026
- Łukasiewicz Logic with Actions for Neural Networks training (with Ioana Leuștean), 10.4204/EPTCS.427.4, FROM 2025
- Extracting Explainability from Multi-Layer Perceptrons for Binary Classification Problems through Łukasiewicz Logic, 10.1016/j.procs.2025.09.497 KES 2025
- 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
Talks
- Neuro-symbolic AI Seminar, Bucharest, April 30, 2026
- RAMiCS 2026, Będlewo, Poland, April 7-10, 2026
- FROM 2025, Iași, Romania, September 17-19, 2025
- KES 2025, Osaka, Japan, September 10-12, 2025
- FROM 2023, Bucharest, Romania, September 21-22, 2023
- LOS-IMAR-ILDS Logic Seminar, November 3, 2022
- Logic Colloquium 2022, Reyjkavik, Iceland, 27 June - 1 July 2022
- LOS-IMAR Logic Seminar, October 28, 2021
- FROM 2021, Timișoara, Romania, December 7-9, 2021
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