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.