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