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-2)
Project Model Checking the Dynamics of Object-Based Systems
NWO-project Model Checking Infinite-State Markov Chains (MC=MC)
NWO-project Verifying Quantitative Properties of Embedded Software (QUPES)

Scientific publications, my Citeseer citations, and my DBLP entry

Probabilistic verification using the Erlangen-Twente Markov Chain Checker

Current Teaching Duties

Probabilistic Models for Concurrency
Seminar on Petri Nets
Seminar on Validation of Stochastic Systems
Seminar on Modelling, Analysis, and Optimization of Object-Based Systems
Modeling and Analysis of Concurrent Systems II (213532) on Teletop
Algorithms, Data Structures and Complexity (214020) on 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)

Recent Program Committee Membership

13th GI/ITG Conf. on Measurement, Modeling, and Evaluation of Computer and Communication Systems (MMB 2006)
Quantitative Evaluation of Systems (QEST 2005)
3rd Int. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS 2005)
First International Conference on Quantitative Evaluation of Systems (QEST 2004) (PC co-chair)
1st Int. Symp. on Leveraging Applications of Formal Method (ISoLA 2004)
Concurrency Theory (CONCUR 2004)

Recent Invited Speakership

Formal Methods for Components and Objects (2005)
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)