Go home now Header Background Image
Submission Procedure
share: |
Follow us

Karsten Schmidt

Referee for: C.2.4, D.2.2, D.2.4, F.1.1, F.3.1
Institution: Humboldt-Universitaet zu Berlin
Address: Department of Computer Science
Humboldt-Universität zu Berlin
Unter den Linden 6
10099 Berlin
Home Page: http://www.informatik.hu-berlin.de/~kschmidt

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