Lars Noschinski

I studied computer science with mathematics as a minor subject at the RWTH Aachen since 2004. From July 2010 to 2015, I worked as a research assistant at Chair for Logic and Verification.

Address: Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching

Currently I am working on formalizing some aspects of graph theory in the Isabelle theorem prover. This involves verifying certifying algorithms in the LEDA graph library and Random Graphs.


Journal Articles

Conference Papers

Workshop Papers


Diploma thesis