Martin Lang
Contact
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). PublicationsTeaching
Other Activities
Disclaimer
• Last modification: 2013/12/18 • HTML |