Fabian Bauer-Marquart

FABIAN BAUER-MARQUART

Engineering Lead | Software & Cloud Architect | Quantum Computing Enthusiast

About Me


I am an engineering lead with a master's degree in computer and information science, certified as a software and cloud architect. I am also a certified SCRUM product owner. My work revolves around solving complex problems at the intersection of quantum computing, machine learning, and formal methods, with a focus on industrial applications.

Software & Tools


Quantum Scope - Qubit State Visualization Tool

Explore and visualize quantum states with an interactive qubit visualization tool. Perfect for learning quantum mechanics concepts.

Go to Quantum Scope GitHub repository

Quantum Sensor Optimization for Self-Driving Cars

This tool optimizes the sensor configuration for a self-driving car by minimizing cost while maximizing coverage.

Report (PDF) GitHub repository

Certifications


Publications


symQV: Automated Symbolic Verification of Quantum Programs, FM 2023

A symbolic execution framework for writing and verifying quantum computations in the quantum circuit model.

Read Publication GitHub repository

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks, SPIN 2022

Automatically debug unsafe neural networks without harming classification accuracy.

Read Publication

Detecting Cross-Language Plagiarism using Open Knowledge Graphs, EEKE @JCDL 2021

Detecting plagiarism across languages using open knowledge graphs.

Read Publication

Get in Touch


Leave a message and I'll get back to you shortly.