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 Deutschland |
|---|---|
| Telephone: | +49 (89) 289-17328 |
| Telefax: | +49 (89) 289-17307 |
| Office: | MI 01.11.059 |
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.
Publications
Conferences
- Proof Pearl: A Probabilistic Proof for
the Girth-Chromatic Number Theorem.
Lars Noschinski
Proceedings of the ITP 2012. (to appear) The source of the proof is available in the AFP. - A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems.
Lars Noschinski, Fabian Emmes and Jürgen Giesl.
Proceedings of the CADE 2011. (© Springer) BibTeX
An extended version appeared as Technical Report AIB-2011-03, RWTH Aachen, Germany.
Diploma thesis
-
Automated Complexity Analysis of Term Rewrite Systems.
Diploma thesis. Fakultät für Mathematik, Informatik und Naturwissenschaften, RWTH Aachen. March 2010. BibTex