Bogdan Macovei

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 interested in Logic, Artificial Intelligence and Computer Architecture.
I am also a .Net Developer and AI Engineer since November 2018.
You can find out more about me reading my CV.

Journal Papers

1. I. Leuștean, BM, Training as inference: using hybrid modal logic for specifying neural networks, 10.1016/j.jlamp.2026.101152, Journal of Logical and Algebraic Methods in Programming, Volume 151, September 2026

Conference Papers

1. A.A. Oltean, BM, I. Leuștean, Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean, LPAR 2026 (accepted)
2. BM, M. Preda, A Łukasiewicz-Moisil Abstraction of Gene Regulatory Networks, SYNASC 2026 (accepted)
3. BM, M. Preda, Disjunctive Normal Form Extraction for Interpretable Neural Models in Riesz MV-Algebras, KES 2026 (accepted)
4. C. Păduraru, BM, A. Ștefănescu, Trace-to-Logic Assurance for Agentic AI: Mining Probabilistic Rules from Message-Action Traces, 10.5220/0014983100004015, ENASE 2026
5. I. Leuștean, BM, A Hybrid Many-Sorted Modal Logic with Nominal Terms, 10.1007/978-3-032-22469-9_14, RAMiCS 2026
6. I. Leuștean, BM, Łukasiewicz Logic with Actions for Neural Networks training, 10.4204/EPTCS.427.4, FROM 2025
7. BM, Extracting Explainability from Multi-Layer Perceptrons for Binary Classification Problems through Łukasiewicz Logic, 10.1016/j.procs.2025.09.497, KES 2025
8. BM, A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle, 10.4204/EPTCS.389.5, FROM 2023
9. I. Leuștean, BM, DELP: Dynamic Epistemic Logic for Security Protocols, arXiv:2109.05599, SYNASC 2021

1. SYNASC 2026, Timișoara, Romania, September 14-17, 2026
2. KES 2026, Dublin, Ireland, September 9-11, 2026
3. Neuro-symbolic AI Seminar, Bucharest, April 30, 2026
4. RAMiCS 2026, Będlewo, Poland, April 7-10, 2026
5. FROM 2025, Iași, Romania, September 17-19, 2025
6. KES 2025, Osaka, Japan, September 10-12, 2025
7. FROM 2023, Bucharest, Romania, September 21-22, 2023
8. LOS-IMAR-ILDS Logic Seminar, November 3, 2022
9. Logic Colloquium 2022, Reykjavík, Iceland, 27 June - 1 July 2022
10. LOS-IMAR Logic Seminar, October 28, 2021
11. FROM 2021, Timișoara, Romania, December 7-9, 2021

Teaching at University of Bucharest

• Third prize at Student scientific communication session of the Faculty of Mathematics and Computer Science, University of Bucharest, May 8, 2021
• Bitdefender Scholarship