Joost-Pieter Katoen

from Wikipedia, the free encyclopedia
Joost-Pieter Katoen in Logic Lane, Oxford

Joost-Pieter Katoen (born October 6, 1964 in Krimpen aan den IJssel ) is a Dutch theoretical computer scientist . He is a distinguished professor of computer science and holds the chair for software modeling and verification at RWTH Aachen University . He is also a member of the Formal Methods & Tools group at the University of Twente .

Life

Katoen received his Masters Degree in Computer Science from the University of Twente in 1987 with distinction. In 1990 he received a Professional Doctorate in Engineering from the Technical University of Eindhoven and in 1996 he received his doctorate in Computer Science from the University of Twente.

Katoen's research interests include formal methods , formal verification , in particular model checking , concurrency , and semantics , especially semantics of probabilistic programming languages . His research is tool and application related.

Together with Christel Baier , Katoen published the book Principles of Model Checking .

From 1997 to 1999 Katoen was a postdoctoral fellow at the Friedrich-Alexander-Universität Erlangen-Nürnberg . In 1999 he became an Associate Professor at the University of Twente, where he continues to hold a part-time position.

In 2004 he was appointed professor at RWTH Aachen University.

In 2013 Katoen became Theodore von Kármán Fellow and Distinguished Professor at RWTH Aachen University. Also in 2013 he was elected a member of the Academia Europaea . In 2017 he received an honorary doctorate from Aalborg University . In 2018 Katoen received the highly endowed ERC Advanced Grant .

Katoen is a founding member of the International Federation for Information Processing . From 2006 to 2010 Katoen was actively involved in the Review College of the British Engineering and Physical Sciences Research Council (EPSRC). From 2015 to 2019 he was chairman of the steering committee of the European Joint Conferences on Theory and Practice of Software (ETAPS).

For his commitment to the work-life balance, especially the young doctoral student with children, he was awarded the FAMOS Prize of RWTH Aachen University in 2017.

Web links

Individual evidence

  1. ↑ Distinguished Professorships at RWTH Aachen. Retrieved February 28, 2018 .
  2. ↑ moves.rwth-aachen.de/people/katoen/. Retrieved February 28, 2018 .
  3. ↑ FMT Group Twente. (No longer available online.) Archived from the original on March 5, 2018 ; accessed on February 28, 2018 . Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot / fmt.cs.utwente.nl
  4. ↑ Joost-Pieter Katoen in the Mathematics Genealogy Project (English)
  5. ^ Joost-Pieter Katoen's curriculum vitae. (PDF) Retrieved February 26, 2018 .
  6. ^ Christel Baier, Joost-Pieter Katoen: Principles of Model Checking . The MIT Press, Cambridge, Mass 2008, ISBN 978-0-262-02649-9 .
  7. ↑ FMT Group Twente. (No longer available online.) Archived from the original on March 5, 2018 ; accessed on February 28, 2018 . Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot / fmt.cs.utwente.nl
  8. ^ Joost-Pieter Katoen at the Academia Europaea. Retrieved February 28, 2018 .
  9. ↑ Press release on the honorary doctorate from Joost-Pieter Katoen. Retrieved February 28, 2018 .
  10. ↑ Press release on the ERC Grant from Joost-Pieter Katoen. Retrieved May 7, 2018 .
  11. ↑ ETAPS Steering Committee. Retrieved February 28, 2018 .
  12. ↑ RWTH press release on the FAMOS Prize 2017. Accessed on February 28, 2018 .
personal data
SURNAME Katoen, Joost-Pieter
BRIEF DESCRIPTION Dutch theoretical computer scientist
DATE OF BIRTH October 6, 1964
PLACE OF BIRTH Krimpen aan the IJssel