Personal Info about Nils Jansen

E-Mail:

put nils.jansen@ before cs.rwth-aachen.de

Phone:

+49-241/80-21243

Fax:

+49-241/80-22243

Postal Address:

Nils Jansen

Lehrstuhl für Informatik 2

Hybrid Systems Group

RWTH Aachen

52056 Aachen

Germany

Visiting Address:

Room 2U08

Ahornstraße 55

52074 Aachen


Research Interests

  • Probabilistic Systems
  • Stochastic Model Checking and Generation of Counterexamples
  • Bounded Model Checking for Probabilistic Systems
  • Probabilistic Hybrid Systems
  • Different Topics of Theoretical Computer Science, especially Automata Theory