Lars Noschinski

I studied computer science with mathematics as a minor subject at the RWTH Aachen since 2004. Since July 2010, I am working as a research assistant at Chair for Logic and Verification.

Address: Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Telephone: +49 (89) 289-17329
Telefax: +49 (89) 289-17307
Office: MI 00.09.064

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