Joost-Pieter Katoen's home page

Pure cotton That's me

Profile

I hold an associate professorship in the Formal Methods & Tools group at the University of Twente and am an EPSRC visiting fellow of the University of Birmingham (2000-2003) in the United Kingdom

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

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

Involvement in Recent and Upcoming Conferences, Seminars and Workshops

First International Conference on Quantitative Evaluation of Systems (QEST 2004) (PC co-chair)
Workshop on Stochastic Hybrid Systems: Theory and Applications (invited speaker)
First International Symposium on Leveraging Applications of Formal Method (ISoLA) (PC member)
First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004) (invited speaker)
Concurrency Theory (CONCUR 2004) (pc member)
Summerschool on Formal Methods and Real-Time (invited speaker)
Bellairs Workshop on Probabilities and Artificial Intelligence (invited speaker)
Workshop on the Celebration of 10 Years TACAS (invited speaker)
GI/Dagstuhl Seminar on Model-based Testing of Reactive Systems (co-organiser)
FORMATS'03 (pc member)
Performance TOOLS'03 (pc member)
Process Algebra: Future Directions and Open Problems (invited)
Belgian Seminar on Computer-Aided Verification (invited speaker)
ISVQP'03 (invited speaker)
TACAS'03 (pc member)
GI/Dagstuhl Seminar on Validation of Stochastic Systems (co-organiser)

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?

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)