Joost-Pieter Katoen is affiliated with RWTH Aachen University in Germany. Their main field of study is Computer Science, with 342 publications across related domains. Their subfields include Artificial Intelligence, Computational Theory and Mathematics, Software, Computer Networks and Communications, and Hardware and Architecture.
Their research primarily covers topics such as Formal Methods in Verification, Software Reliability and Analysis Research, Bayesian Modeling and Causal Inference, Logic, Programming, and Type Systems, Software Testing and Debugging Techniques, Logic, Reasoning, and Knowledge, and Advanced Software Engineering Methodologies.
Frequent co-authors collaborating with Joost-Pieter Katoen include Sebastian Junges, Tim Quatmann, Kevin Batz, Benjamin Lucien Kaminski, and Tobias Winkler.
Publication venues where they have frequently contributed are:
Noteworthy recent papers authored by or in collaboration with them include:
Joost-Pieter Katoen has contributed to book publications from major publishers. Their books include Foundations of Probabilistic Programming, published by Cambridge University Press in 2020, and Formal Methods, published by Springer Science+Business Media in 2023.
Recognition for their contributions includes being named an ACM Fellow in 2020 for work in model checking of software and probabilistic systems. They were also elected a Member of Academia Europaea in 2013 and designated an ACM Senior Member in 2009.
Christel Baier;Joost-Pieter Katoen
Christel Baier;Joost-Pieter Katoen
C. Baier;B. Haverkort;H. Hermanns;J.-P. Katoen
Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker
Joost-Pieter Katoen;Ivan S. Zapreev;Ernst Moritz Hahn;Holger Hermanns
Christel Baier;Boudewijn R. Haverkort;Joost-Pieter Katoen;Holger Hermanns
Christian Dehnert;Sebastian Junges;Joost-Pieter Katoen;Matthias Volk
Christel Baier;Joost-Pieter Katoen;Joost-Pieter Katoen;Holger Hermanns
Holger Hermanns;Ulrich Herzog;Joost-Pieter Katoen
C. Baier;J.-P. Katoen;H. Hermanns
J.-P. Katoen;M. Khattri;I.S. Zapreevt
Marco Bozzano;Alessandro Cimatti;Joost-Pieter Katoen;Viet Yen Nguyen
Christel Baier;Boudewijn R. Haverkort;Holger Hermanns;Joost-Pieter Katoen
Christel Baier;Joost-Pieter Katoen;Holger Hermanns;Verena Wolf
H. Bohnenkamp;P.R. D'Argenio;H. Hermanns;J.-P. Katoen
Alessandro Abate;Joost-Pieter Katoen;John Lygeros;Maria Prandini
Suzana Andova;Holger Hermanns;Holger Hermanns;Joost-Pieter Katoen
Christel Baier;Holger Hermanns;Joost-Pieter Katoen;Boudewijn R. Haverkort
Joost-Pieter Katoen
Ernst Moritz Hahn;Arnd Hartmanns;Holger Hermanns;Joost-Pieter Katoen
David N. Jansen;Holger Hermanns;Joost-Pieter Katoen
Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker
If you think any of the details on this page are incorrect, let us know.
Exploring computer science in the USA opens doors to a variety of complementary online degrees and career routes. For those seeking rapid entry into the tech workforce, consider short degrees that pay well. These programs offer focused skills that are in demand and can help you land a lucrative job sooner.
With artificial intelligence transforming industries, pursuing an artificial intelligence degree online provides a competitive edge and specialized knowledge for future-focused roles. AI expertise is highly valued, and online study offers flexibility for those balancing work or family commitments.
If you’re exploring your options, it’s also wise to review the best college majors for technology and business. These majors can broaden your employment prospects and provide a solid foundation for advanced study.
For students interested in further credentials, there are several easy masters degrees online that can supplement your computer science background. These convenient programs help boost your qualifications without an overwhelming time commitment.
Gwangju Institute of Science and Technology
University of Southampton
Central Queensland University
University of Kansas
Cardiff University
Goethe University Frankfurt
Pacific Biosciences (United States)
Spanish National Research Council
University of Oslo
King's College London
University of New Mexico
Case Western Reserve University
Zhejiang University
Alfred I. duPont Hospital for Children
Utah State University
California Institute of Technology
