Curriculum Vitae:

Karsten Schmidt studied computer science at Humboldt-Universität zu Berlin, Germany, and received his PhD degree in 1996. He spent 8 months as visiting researcher at Helsinki University of Technology, Finland (funded by German Academic Exchange Service - DAAD), and 9 months at Dresden University of Technology, Germany (funded by German Research Agency - DFG). In October 1997, he rejoined Humboldt-Universität where he is still affiliated. From October 2000 till October 2001, visiting researcher at Carnegie Mellon University, Pittsburgh, PA.

Main Research Interests:

• verification of distributed and real-time systems
• verification tools and algorithms
• Petri nets