Resume

INDUSTRY

Pi² Labs, Software verification engineer (Remote) Jun 2024 | Jul 2025

Was part of the math proof team, generating correctness proofs for Ethereum Virtual Machine and Solidity execution traces, based on their formal models defined in K Framework.

RESEARCH & TEACHING

University of Bucharest, Faculty of Mathematics and Computer Science Oct 2024 | today

I am a teaching assistant for the following courses:

Program Verification (2025-2026);
Fundamentals of Programming Languages (2024-2025, 2025-2026);
Functional Programming (2024-2025, 2025-2026).

Formalising a Many-Sorted Hybrid Polyadic Modal Logic in Lean (GitHub) Jul 2025 | Feb 2026

Topic of my M.Sc. thesis. Lean 4 formalization of a many-sorted modal logic, with a focus on intrinsic typing and modularity. Preprint available soon.

EDUCATION

University of Bucharest, Faculty of Mathematics and Computer Science 2023 | 2025
Received an M.Sc. in Security and Applied Logic

University of Bucharest, Faculty of Mathematics and Computer Science 2018 | 2022
Received a B.Sc. in Computer Science

University of Bucharest, Faculty of Philosophy 2018 | 2022
Received a B.A. in Philosophy

OTHERS

I taught Civics during the 2022-2023 schoolyear at Middle School 17 in Bucharest, Romania. Teaching kids about society is fun!