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.
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 Seminar

Publications

  1. Disjunctive Normal Form Extraction for Interpretable Neural Models in Riesz MV-Algebras (with Maria Preda), KES 2026 (accepted)
  2. Trace-to-Logic Assurance for Agentic AI: Mining Probabilistic Rules from Message-Action Traces (with Ciprian Păduraru and Alin Ștefănescu), 10.5220/0014983100004015, ENASE 2026
  3. A Hybrid Many-Sorted Modal Logic with Nominal Terms (with Ioana Leuștean), 10.1007/978-3-032-22469-9_14, RAMiCS 2026
  4. Łukasiewicz Logic with Actions for Neural Networks training (with Ioana Leuștean), 10.4204/EPTCS.427.4, FROM 2025
  5. Extracting Explainability from Multi-Layer Perceptrons for Binary Classification Problems through Łukasiewicz Logic, 10.1016/j.procs.2025.09.497, KES 2025
  6. A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle, 10.4204/EPTCS.389.5, FROM 2023
  7. DELP: Dynamic Epistemic Logic for Security Protocols (with Ioana Leuștean), arXiv:2109.05599, SYNASC 2021
I also have the following preprint available (with Ioana Leuștean): Training as inference: using hybrid modal logic for specifying neural networks (submitted to JLAMP).

Talks

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

Scholarships and Awards

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 in Room 209 406 @ Academiei 14 PB Tower, bd. Iuliu Maniu 15 (but please send me an email first)