ANDREI-ALEXANDRU OLTEAN
10 March 2000 — — — https://github.com/alexoltean61
EDUCATION
University of Bucharest, Faculty of Mathematics and Computer Science Oct 2023 — Jun 2025
Security and Applied Logic, M.Sc.
University of Bucharest, Faculty of Mathematics and Computer Science Oct 2018 — Jun 2022
Computer Science, B.Sc.
Final thesis: A Formalization of Hybrid Logic in Lean (PDF) (Github),
supervisor: prof. dr. Laurent
,
iu Leus
,
tean (defended Sep 2023)
Courses that left an impact on me:
Mathematical and Computational Logic (year I), Calculability and Complexity (year II), Declarative Programming
(Haskell) (year III)
University of Bucharest, Faculty of Philosophy Oct 2018 — Feb 2022
Philosophy, BA
Final thesis: Formal Logic Arguments in the Debate on Reference: Quine and Putnam (PDF Romanian),
supervisor: prof. dr. Mircea Dumitru (defended Jun 2022)
Courses that left an impact on me:
Introduction to Modern Logic (year II), Philosophy of Mathematics (year III), Philosophy of Science (year III)
”Tudor Vianu”National College of Computer Science Sep 2014 — Jun 2018
Baccalaureate
PAST EMPLOYMENT
”Pia Br˘atianu”Middle School Oct 2022 — Jun 2023
Teacher
Civics teacher to 16 classes of students aged 12-15.
I loved teaching, but I do not currently see it as a career prospect.
– Corollary: I know how to give good presentations.
OTHERS
Competent with L
A
T
E
X, Beamer;
I collect film cameras. To share my pictures, I enthusiastically use the Fediverse;
Involved in a few musical projects (not available online yet).