Open to opportunities

Lucas Böltz

@lucasboeltz

Message

I verify graph algorithms through formal logic, automated reasoning, and rigorous mathematical analysis.

Germany

Message

What I'm looking for

I'm looking for work involving formal verification, graph algorithms, automated reasoning, and rigorous evaluation of mathematical or technical correctness.

I developed formal models and verified graph algorithms as a Doctoral Researcher at the University of Koblenz, combining graph theory, mathematical logic, and automated reasoning.

My PhD dissertation, Verification of Graph Algorithms in the Context of Wireless Networks, examined algorithmic correctness through first-order logic, SMT solving, and formal proof obligations.

I've used Z3, H-PiLoT, and Mathematica to analyze assumptions, construct counterexamples, and evaluate mathematical and algorithmic claims. My published work includes formal verification of a graph planarization algorithm and automated analysis of geometric graph classes.

I also teach mathematics and computer science topics including logic, algorithms and data structures, combinatorics, and computer networks, and have supervised Bachelor’s, Master’s, and seminar theses.

Experience

Work history, roles, and key accomplishments

Doctoral Researcher

University of Koblenz

Jan 2019 - Jan 2026 (7 years)

Developed mathematical and logical models for graph algorithms and discrete structures. Formally analyzed algorithmic correctness using first-order logic, SMT solving, and automated reasoning.

Graph Theory Formal Verification SMT Solving Mathematica Mathematical Logic Algorithms

Education

Degrees, certifications, and relevant coursework

University of Koblenz

Doctor of Philosophy, Computer Science

Grade: magna cum laude

PhD in Computer Science with a dissertation on verification of graph algorithms in the context of wireless networks. Research focused on mathematical logic, graph algorithms, formal verification, and automated reasoning.

Ulm University

Master of Science, Mathematics and Management

M.Sc. in Mathematics and Management with a thesis on the Erdős–Pósa property on Abelian groups. Included an exchange semester at Università della Svizzera italiana (USI), Lugano.