Login / Signup

Joost-Pieter Katoen

Scopus Author IDResearcherIDORCID

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Neural Network
Decision Making

Top Venues

Formal methods in system design
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...

University of Twente

University of Twente (MSC)

Affiliation History
University of Twente

Netherlands

Full professor (part-time) :: Computer Science

RWTH Aachen University

Germany

Full Professor :: Computer Science

Institute of Science and Technology Austria Apr 01 2017 - Aug 31 2017

Austria

Visiting Professor

University of Oxford

United Kingdom

Visiting Professor :: Computer Science

University of Twente

Netherlands

Associate Professor :: Computer Science

Friedrich-Alexander-Universität Erlangen-Nürnberg

Germany

Postdoc :: Computer Science

University of Twente

Netherlands

Research Associate :: Computer Science

Philips Research

Netherlands

Researcher :: Information and Software Technology

Education History
University of Twente

Netherlands

MSC :: Computer Science

Publications