Welcome on the Homepage of Thomas Kropf

Being mainly in industry now (in one of the most exciting areas of automotive electronics, see e.g. here and here...), time is precious and efficiency is key. Thus, my web pages are not fancy (anymore :-). However, you should find all necessary information, perhaps even faster than before...

More about myself
Our Formal Methods Research Group
Teaching
Open Positions / Suggestions for Student Projects
- We are in constant search of bright students to support our research activities (diploma thesis, student research projects, Hiwi, ...). Topics are going by fast (and are highly sensitive to competition), hence, we usually do not advertise exact descriptions here. Just call or drop in for an informal chat!

My key coordinates:

Thomas Kropf

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Technische Informatik

Sand 14, Room C221

72076 Tübingen

GERMANY

Tel. +49 70 71 29 - 74706

Fax +49 70 71 29 - 50 62

Email: thomas.kropf@nospaminformatik.uni-tuebingen.de (remove "nospam")

Have fun!

Thomas Kropf

Last edited: 26.01.2003