About me

Hello, I am Alexandru!
I started my Bachelor studies in 2017 in the field of Computer Science, at The Faculty of Mathematics and Computer Science of The University of Bucharest. My Bachelor's final thesis was on the topic of modal logic.
Afterwards, in 2020, I started attending the Security And Applied Logics Masters Program at the same faculty. I am working on my final thesis, which is related to formal verification of operating systems.
I am interested in researching cybersecurity and applications in this area of several related fields such as logic, cryptography and operating systems.


  • 2021-2022
    Laboratories for the Security of Computer Systems course
    (Third year, Undergraduate)
  • 2020-2021
    Seminaries for the Advanced Algorithms course
    (Second year, Undergraduate)