Maxie Bichmann

Computer Science · Physics

About

CS student @ Technical University of Munich fascinated by everything theoretical - be it formal verification, optimization or automata.
I love working in my abstract and theoretical world.
With a minor in Physics, I'm set on pursuing further studies in Quantum Computing. Fittingly, I just finished writing my Bachelor's Thesis at TUM's Chair for Design Automation, focusing on Equivalence Checking of quantum error-correction codes and contributing to the Munich Quantum Toolkit. This thesis gave me the opportunity to start my work as a student assistant at the CDA, developing and maintaining their research software for quantum error correction. Currently, I am adapting my thesis to a journal paper.

As a small girl, I only remember myself wanting to become a scientist, and that wish only grew stronger in the following years. Now, I am planning to stay in academia for a bit, and a PhD is a fixed point on my ToDo list.
While I'm moving toward a more theoretical focus in my studies and future research, I remain passionate about the topic of teaching and sharing knowledge.

I have worked as a student assistant at TUM's Chair of Applied Educational Technologies for more than a year, where I developed competency networks for adaptive learning. I also co-authored a paper on the student's perspective on competency-based education.
I'm additionally committed to making scary-looking topics like Quantum Computing accessible to a broader audience, being a member of the IT Department in the student club PushQuantum.

When I'm not in front of a computer, I love drawing (take a look ^^), reading, swimming, cooking and learning new (natural and programming) languages.

Research Interests

Writing

Conference Paper · LAK26Investigating Student Interaction with Competency-Based CS Education

Projects

eQECC - Automated Equivalence Checking for Quantum Error-Correction Codes

Python

Created as part of my Bachelor's Thesis and extended into the replication package for a subsequent paper. It implements and evaluates algorithms for checking permutation and local-Clifford equivalence of stabilizer codes, including the CSS subclass.

Molecular Dynamics Simulator

C++

Implementation of a simulator for different problems of molecular dynamics, including the Rayleigh-Taylor instability or the cooling process of Argon. I especially appreciated the affinity to physics, while having distinct aspects of software design/architecture, numerical methods and optimization opportunities. Created as part of my university practical course.

Quantum Bloch Sphere Visualizer

TypeScript

A small, interactive visualization of single-qubit states and transformations on the Bloch sphere. Created as part of my work in the student club PushQuantum.

TUMCSBot

Python

Contributions to the infrastructure of the communication platform Zulip, which is used in most of the computer science courses at TUM.