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

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

  • 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

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.