Martin Lang

Martin Lang

Contact

Postal Address RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Office Room 4114, Ahornstr. 55, 52074 Aachen
Phone +49 (241) 80 21721
Fax +49 (241) 80 22215
Email lang(at)automata.rwth-aachen.de
Office Hour By appointment

I am a member of Wolfgang Thomas' research group for "Logic and Theory of Discrete Systems" at the RWTH Aachen.

My research interests are automata with resource counters, regular cost functions, verification of infinite state systems with resource-cost, and quantitative logics for the specification of systems with resources.

I work with Christof Löding in the project Automata-theoretic verification with resource bounds, which is supported by the German Research Foundation (DFG).

Publications

Teaching

Winter Term 2013/2014
Proseminar Automatentheorie
Summer Term 2013
Seminar on Automata Theory
Lecture Applied Automata Theory
Winter Term 2012/2013
Seminar on Automata Theory (Master)
Lecture Recursion Theory
Summer Term 2012
Seminar on Automata Theory
Lecture Applied Automata Theory


Other Activities