Joost-Pieter Katoen's home page

Pure cotton That's me

Profile

I am a full professor at the RWTH Aachen University (Germany) in the Programming Languages and Software Validation group and hold an associate professorship in the Formal Methods & Tools group at the University of Twente.

Prior to this assignment I was employed at the Technical University of Eindhoven, Philips Research Laboratories, the University of Twente, and the University of Erlangen-Nuremberg (Frankonia, Germany).

For more information you may consider my Curriculum Vitae

Personal interests are, amongst others, my family, cycling and music.

Current Research Projects

STW-project Verification of Hard and Softly Timed Systems (HaaST)
NWO/DFG-project Validation of Stochastic Systems (VOSS)
NWO-project Specification-based Performability Checking (SPACE)
Project Model Checking the Dynamics of Object-Based Systems
NWO-project Model Checking Infinite-State Markov Chains (MC=MC)

Scientific publications, my Citeseer citations, and my DBLP entry

Probabilistic verification using the Erlangen-Twente Markov Chain Checker

Current Teaching Duties

Modeling and Analysis of Concurrent Systems II (213532) on Teletop

System Validation (214012) outdated

Algorithms, Data Structures and Complexity (214020) outdated; new version via TeleTop

Organization of Events

Algebraic Process Calculi: The First Twenty Five Years and Beyond (2005)

GI/Dagstuhl Seminar on Model-based Testing of Reactive Systems (2004)

GI/Dagstuhl Seminar on Validation of Stochastic Systems (2002)

EEF-summerschool on Formal Methods and Performance Analysis (2000)

5th AMAST Workshop on Real-Time and Probabilistic Systems (1999)

Committee Membership

First International Conference on Quantitative Evaluation of Systems (QEST 2004) (PC co-chair)

First International Symposium on Leveraging Applications of Formal Method (ISoLA) (PC member)

Concurrency Theory (CONCUR 2004) (pc member)

FORMATS'03 (pc member)

Performance TOOLS'03 (pc member)

TACAS'03 (pc member)

Recent Invited Speakership

Workshop on Stochastic Hybrid Systems: Theory and Applications (2004)

Workshop on Practical Applications of Stochastic Modelling (2004)

Summerschool on Formal Methods and Real-Time (2004)

Bellairs Workshop on Probabilities and Artificial Intelligence (2004)

Workshop on the Celebration of 10 Years TACAS (2004)

Process Algebra: Future Directions and Open Problems (2003)

Belgian Seminar on Computer-Aided Verification (2003)

Workshop on Infinite-State Systems and Quantitative Properties (2003)

Slides of my recent talk on Performance Evaluation and Model Checking: A Perfect Match

Miscellaneous

Did you ever visit The Katoen Pub?
Or listen to the music of Van Katoen?
Are you wearing biological cottonwear?

My Coordinates

Joost-Pieter Katoen Department of Computer Science University of Twente P.O. Box 217 7500 AE Enschede The Netherlands		E-mail : Phone : Secretary : Fax : Office:	e-mail : katoen at cs.utwente.nl +31 53 4895675 +31 53 4893767 +31 53 4893247 5035 (INF)