Curriculum Vitæ

You can download a PDF version of my CV here.

Education

University of Amsterdam (UvA) — MSc Logic (expected Sept 2025 – Jul 2027) Amsterdam, NL

  • Logic & Computation track.
  • Focus on Quantum Computing and Artificial Intelligence.
  • Selected coursework: Near-Term Quantum Computing, Quantum Cryptography, ZX-Calculus, Deep Learning, Reinforcement Learning, Mechanistic Interpretability.
  • One-month research project in mechanistic interpretability of Transformer-based language models (variable assignment in code, causal interventions on the residual stream).

Vienna University of Technology (TU Wien) — BSc Technical Physics (with distinction) Vienna, AT (Oct 2017 – Mar 2021)

  • Bachelor’s thesis on building a VHDL-based test environment for a soft microcontroller on FPGA.

University of Vienna — BA Linguistics (with distinction) Vienna, AT (Oct 2022 – Jul 2025)

  • Erasmus+ Exchange Semester at Leipzig University (Spring 2024).
  • Bachelor’s theses in formal semantics and psycholinguistics (category-theoretic modelling; priming study on associative and semantic word relations).

Vienna University of Economics and Business (WU) — Bachelor of Law, Business Law (not completed) Vienna, AT (Feb 2017 – Oct 2018)

  • Completed 50 ECTS credits in economics, law, and statistics.

Technical Skills

Programming: Python, TypeScript/JavaScript, Java, Haskell, C/C++, VHDL

Frameworks & libraries: Qiskit, NumPy, PyTorch, TransformerLens, Angular, Leaflet, Cypress, Proj4J

Systems & tools: Linux (command line, remote/GUI-less servers), Git, Docker, Windows, HTML/CSS, LaTeX, TikZ (mathematical and linguistic typesetting), WordPress

Topics: Quantum computing and quantum information, machine learning and mechanistic interpretability, theoretical computer science and logic

Projects & Research Experience

Mechanistic interpretability of variable assignment in a Transformer-based model One-month research project, MSc Logic, UvA, 2026

  • Investigated how a Transformer-based language model represents variable assignment in Python code using causal interventions on the residual stream.

Variational quantum algorithm for vibrational spectrum of SO₂ Course project, Near-Term Quantum Computing, UvA, 2025

  • Implemented a VQA in Qiskit to probe the vibrational spectrum of the SO₂ molecule on a simulator, using a classical–quantum optimisation loop.

VHDL test environment for a soft microcontroller on FPGA Bachelor’s thesis, BSc Technical Physics, TU Wien, 2021

  • Built a VHDL-based test environment on an FPGA for a soft microcontroller; configured the microcontroller and created C test scenarios.

Category-theoretic modelling and priming in linguistics Bachelor’s theses, BA Linguistics, University of Vienna, 2025

  • Modelled linguistic phenomena using functors and monads; designed a priming study on associative and semantic word relations.

More narrative descriptions of these projects are available on my Research & Projects page.

Internships

Austrian Institute of Technology (AIT) — Vienna, AT Aug 2024 – Sept 2024

  • Developed an Angular frontend and automated end-to-end tests with Cypress.
  • Implemented a Java backend with a REST-compliant API and a relational-database interface to provide the frontend with consistent data records.

Austrian Institute of Technology (AIT) — Vienna, AT Jul 2023 – Aug 2023

  • Programmed applications for an environmental data acquisition project, covering both data collection and processing components.
  • Extended the frontend with an interactive map (TypeScript, Leaflet) and enhanced the backend with validation of measured values (Java, Proj4J) to visualise and verify sensor data.

Siemens Austria — Vienna, AT Jul 2020 – Oct 2020

  • Implemented a VHDL-based test environment on an FPGA around a soft microcontroller.
  • Configured the soft microcontroller and wrote C test scenarios to validate its behaviour.
  • Programmed an interface between the microcontroller and a Siemens component to test system-level integration.

Austrian Institute of Technology (AIT) — Vienna, AT Jul 2019 – Aug 2019

  • Built a test setup to demonstrate air-quality measurements of the UWEDAT sensor network solution.
  • Developed Python scripts for visualising sensor measurements and controlling the sensor hardware during demonstrations.

Institute of Applied Physics, TU Wien — Vienna, AT Summer 2018

  • Motorised the X–Y manipulators of a vacuum chamber using stepper motors to enable precise, remote positioning.
  • Designed mounts in CAD and integrated the motors with the existing control system.

Teaching Experience

Wirtschaftsförderungsinstitut Niederösterreich — St Pölten, AT Sept 2022 – June 2025

  • Taught adult learners at the Werkmeisterschule as an instructor in natural sciences and office software.
  • Designed and delivered courses on Excel, PowerPoint, Word, and basic scientific concepts to working professionals.

Wiener Volkshochschulen — Vienna, AT Oct 2023 – Jan 2024

  • Taught a mathematics course for young pupils as part of the municipal Lernhilfe learning-aid programme, reinforcing core school mathematics.

LernQuadrat — Vienna, AT May 2022 – Aug 2022

  • Tutored pupils in mathematics in individual and small-group settings, including intensive courses.
  • Covered the full range of lower- and upper-secondary school mathematics in preparation for exams.

Honours & Scholarships

  • Merit Scholarship 2024/25, University of Vienna (rank 8), 13 Jan 2026
  • Merit Scholarship for recent graduates, State of Lower Austria, 21 Oct 2025
  • Esslli Conference Scholarship 2025, DGfS-CL/GSCL, 27 May 2025
  • Merit Scholarship 2023/24, University of Vienna (rank 13), 9 Jan 2025
  • Merit Scholarship 2022/23, University of Vienna (rank 3), 10 Jan 2024
  • Erasmus+ Study Mobility, University of Vienna, 7 Nov 2023

Summer Schools

Esslli 2025 — Bochum, DE (28 Jul – 8 Aug 2025)

  • Summer school in logic, linguistics, and computer science.
  • Selected coursework: Language model programming (Kyle Richardson); Neurosymbolic learning (Efthymia Tsamoura, Emile van Krieken); Temporal logics (Valentin Goranko).

Eastern Generative Grammar 2024 — Braşov, RO (22 Jul – 2 Aug 2024)

  • Summer school in generative linguistics.
  • Selected coursework: Aspect and temporal definiteness (Berit Gehrke); Intonation and meaning (Deniz Özyildiz); The semantics of anaphora (Todd Snider).

Languages & Certificates

Languages

  • German (native)
  • English (C2)
  • Dutch (C1 receptive, B1 productive)
  • French (B2 receptive, B1 productive)
  • Swedish (B2 receptive, A2 productive)
  • Greek (A2)

Certificates

  • Cambridge Advanced English (Grade A)
  • Entrepreneur’s Skills Certificate.
  • IBM Quantum – Variational Algorithm Design