Manuel Lerchner

Informatics at the Technical University of Munich. Static analysis, theorem proving, and molecular dynamics.

Theses

End-to-End Soundness of a Context-Sensitive Goblint-Style Analyzer in Isabelle/HOL

Preprint2026PDF Artifact
Proliferating Cell Collectives: A Comparison of Hard and Soft Collision Models

Manuel Lerchner, Samuel James Newcome

Journal article2026Computer Physics Communications Figures and videos Code
Algorithm Selection in Short-Range Molecular Dynamics Simulations

Samuel James Newcome, Fabio Alexander Gratl, Manuel Lerchner, Abdulkadir Pazar, Manish Kumar Mishra, Hans-Joachim Bungartz

Conference paper2025ICCS 2025
Auto-Tuning with Early Stopping in AutoPas

Paper2025PDF
ZX-Calculus

Seminar paper2023PDF