MOVES: Software Modeling and Verification (Info 2)

MOVES: Software Modeling and Verification
(Informatik 2)

The Chair of Computer Science 2 is part of the Department of Computer Science within the Faculty of Mathematics, Computer Sciences and Natural Sciences of RWTH Aachen University.
Chair holder is Prof. Dr. Ir. Joost-Pieter Katoen.

The research activities focus on:

Modelling of Concurrent Systems

Semantics

Model-checking of stochastic and probabilistic systems

N.B.	The web-pages of Informatik 2 are going to be reorganised. The old pages, as they are still accessible now, contain a lot of outdated and thus inaccurate information. In case that you want to be sure, contact the webmaster or the appropriate persons in the Staff list (which is up-to-date). Please bear with us. The web-pages of the LuFG I2 are not concerned.

Prof. Dr. Jürgen Giesl is chair holder for the Teaching and Research Area Informatik II.

Webmaster

Disclaimer

Last modified: 2005-12-13 11:52 UTC