resume

Research Intern

Martin Luther University of Halle-Wittenberg

Hosted by the Faculty of Medicine.

• Worked on novel graph-level anomaly detection via latent space searching and generative adversarial networks (gladGAN) on molecular datasets, utilizing Python and PyTorch, and scikit-learn.

Research Assistant

Technical University of Munich

Hosted by the Gagneur Lab in affiliation with Helmholtz Munich.

• Worked on rare variant association testing using deep learning and data-driven burden scores (DeepRVAT), utilizing Python, R, PyTorch and Snakemake
• First-hand exposure to HPC cluster management, Linux, and Git version control

Teaching Assistant

Lancaster University Leipzig

Laboratory assistant and demonstrator for the Digital Systems module.

• Delivered engaging and informative instructional sessions to facilitate student understanding on low-level programming with MIPS assembly.

Research Intern

Charles University

Hosted by the Faculty of Mathematics and Physics.

• Designed production of Alethe verifiable proofs for the GOLEM Constrained Horn Clauses solver, utilizing C++.
• Contributed to the paper: Unsatisfiability Proofs for Horn Solving (2025) *won ETAPS best paper award*.
• First-hand exposure to Linux, the software development life cycle, continuous integration, object-oriented programming, and software verification.

Organizer

Global Advancement Fund

Co-Initiated and championed the approval process of Lancaster University’s Global Advancement Fund (≈€20k) to facilitate international collaboration between campuses worldwide

• Took 7 members of the Leipzig campus to the UK for a 4-day trip to work on an industrial waste sorting arm.

Founder

Computer Science Society

Founded the computer science society at my institution.

• Dedicated to fostering a culture of innovation, diversity and problem-solving with a focus on robotics.
• Secured university funding for the purchase of robotics supplies (e.g. 3D printer, Arduinos, etc.).

Lead Organizer

Qiskit Fall Fest

Organized and hosted a Quantum Computing (QC) event powered by IBM.

• Gave an introductory talk on QC and held workshops with Qiskit material.
• Assembled a series of seminars with special guests like Enrique Solano (Co-CEO of Kipu Quantum).

Bachelor of Science

Lancaster University

Computer Science

• University ranked #132 worldwide for Computer Science (QS by subject) in 2025.
• First Class Honours (UK: 91.2% ~ GPA: 4.00/4.00).
• Ranked 1st out of 212 students.

Chancellor’s Medal

Lancaster University

The university’s most prestigious award, presented annually to graduating students who demonstrate exceptional merit in their field.

Valedictorian

Lancaster University

Ranked 1st out of 212 students achieving the cohort’s highest average grade across all three years of the BSc Computer Science program.

EASST Best Paper Award

International Joint Conferences On Theory and Practice of Software (ETAPS)

For the best ETAPS 2025 paper related to the systematic and rigorous engineering of software and systems.