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