Balazs Toth

I’m a PhD student in Theoretical Computer Science and Theorem Proving at LMU Munich under the supervision of Jasmin Blanchette. I’m interested in interactive theorem proving, particularly verifications in Isabelle including logic calculi. I’m also interested in programming languages, functional programming, type systems and mobile development.

You can send me email at <my first name>.<my last name>@ifi.lmu.de. I speak German and English. Please feel free to address me by my first name and, in German, to use “du” instead of “Sie”. My pronouns are he/him.

My office is room L 101, Oettingenstraße 67.

Publications

A Modular Formalization of Superposition in Isabelle/HOL (Paper)
Real-Time Double-Ended Queue Verified (Paper) (Afp Entry)

Theses

Master: Arrays in Isabelle
Bachelor: Object Detection in Resource-Constrained Mobile Environments
Bachelor Sociology: Programmierparadigmen als Werkzeuge der Mustererkennung in sozialen Strukturen und Dynamiken