Joost-Pieter Katoen (born October 6, 1964) is a Dutch
theoretical computer scientist
computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
It is difficult to circumscribe the th ...
based in Germany. He is distinguished professor
in Computer Science and head of the Software Modeling and Verification Group
at
RWTH Aachen University.
Furthermore, he is part-time associated to the Formal Methods & Tools group at the
University of Twente
The University of Twente (Dutch: ''Universiteit Twente''; , abbr. ) is a public technical university located in Enschede, Netherlands.
The university has been placed in the top 170 universities in the world by multiple central ranking tables. I ...
.
Education
Katoen received his master's degree with distinction in Computer Science from the University of Twente in 1987. In 1990, he was awarded a
Professional Doctorate in Engineering
The Professional Doctorate in Engineering (PDEng) is a Dutch degree awarded to graduates of a Technological Designer (engineering) program that develop their students' capabilities to work within a professional context. These programs focus on app ...
from the
Eindhoven University of Technology
The Eindhoven University of Technology ( nl, Technische Universiteit Eindhoven), abbr. TU/e, is a public technical university in the Netherlands, located in the city of Eindhoven. In 2020–21, around 14,000 students were enrolled in its BSc an ...
, and in 1996, he received his Ph.D. in computer science from the University of Twente.
Research
Katoen's main research interests are
formal methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...
,
computer aided verification
In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods ...
, in particular
model checking,
concurrency theory
In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concur ...
, and
semantics
Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy, linguistics and comp ...
, in particular semantics of
probabilistic programming language
Probabilistic programming (PP) is a programming paradigm in which probabilistic models are specified and inference for these models is performed automatically.
It represents an attempt to unify probabilistic modeling and traditional general pur ...
s.
[ His research is largely tool and application oriented.
Together with ]Christel Baier
Christel Baier (born 26 September 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Fou ...
he wrote and published the book ''Principles of Model Checking
''Principles of Model Checking'' is a textbook on model checking, an area of computer science that automates the problem of determining if a machine meets specification requirements. It was written by Christel Baier and Joost-Pieter Katoen, and ...
''.
Career
From 1997 to 1999, Katoen was a postdoctoral researcher at the University of Erlangen-Nuremberg
A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, ...
.
In 1999, he became an associate professor at the University of Twente, where he still holds a part-time position.Academia Europaea
The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences.
The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...
.Aalborg University
Aalborg University (AAU) is a Danish public university with campuses in Aalborg, Esbjerg, and Copenhagen founded in 1974. The university awards bachelor's degrees, master's degrees, and PhD degrees in a wide variety of subjects within humanitie ...
.ERC Advanced Grant
The European Research Council (ERC) is a public body for funding of scientific and technological research conducted within the European Union (EU). Established by the European Commission in 2007, the ERC is composed of an independent Scientific ...
.
Personal life
Joost-Pieter Katoen was born in Krimpen aan den IJssel in 1964. Katoen is married and has three sons. He lives in Maastricht
Maastricht ( , , ; li, Mestreech ; french: Maestricht ; es, Mastrique ) is a city and a municipality in the southeastern Netherlands. It is the capital and largest city of the province of Limburg. Maastricht is located on both sides of the ...
. In his private time, he enjoys cycling and listening to music.
See also
Joost-Pieter Katoen's homepage
Software Modeling and Verification Group
List of publications on computer science bibliography site DBLP
References
{{DEFAULTSORT:Katoen, Joost-Pieter
Living people
Dutch computer scientists
German computer scientists
Formal methods people
1964 births
Academic staff of RWTH Aachen University