MOVES: Software Modeling and Verification (Info 2)

MOVES: Software Modeling and Verification
(Informatik 2)

Tingting Han

E-mail:	Tingting.Han(at)cs.rwth-aachen.de
	hantt(at)cs.utwente.nl
Phone:	+49-241/80-21202
Fax:	+49-241/80-22217

Postal Address:	Tingting Han
	Lehrstuhl für Informatik II
	RWTH Aachen
	D-52056 Aachen
	Germany

Visiting Address:	Room 4207,
	Ahornstr. 55,
	D-52074 Aachen

Research

My research interests include:

Quantitative properties of embedded software

Formal verification of probabilistic and stochastic systems

Concurreny, Mobility

(Summer Term 2006)

Webmaster

Disclaimer

Last modified: 2006-04-27 17:09 UTC