!!!Joost-Pieter Katoen \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='katoen_joost_pieter_small.jpg' alt='Joost-Pieter Katoen' height='200'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ \\ __Present and Previous Positions__ *2013,06 Visiting Professor at University of Oxford, Visiting Fellow Trinity College *2009,01 Part-time (20%) Professor at University of Twente (NL) *2004,12 Professor at RWTH Aachen University (D, successor of Prof. Klaus Indermark) *1999,04 Associate professor at University of Twente (NL), since 2004, 12 on part-time basis (20%) *1997,01 Postdoctoral researcher at University of Erlangen-Nürnberg (D) *1992,04 Research scientist at University of Twente (NL) *1990,01 Research scientist at Philips Research Laboratories (Eindhoven, NL) *1988,02 Researcher at Technical University of Eindhoven (NL) \\ __Fields of Scholarship__ [{AcadMemberFOScholarshipPlugin}] \\ __Honours and Awards__ *2024 Member, German National Academy of Sciences (Leopoldina) *2022 Member of the North Rhine-Westphalian Academy of Science, Humanities and the Arts *2021 Member of the Royal Holland Society of Science and Humanities (KHMW) *2020 ACM Fellow *2018 Awarded ERC Advanced Grant *2017 Honorary doctorate from Aalborg University * 2013 Distinguished Professor at RWTH Aachen University * 2013 Chair of Steering Committee ETAPS Conference * 2013 Visiting Fellow Trinity College, University of Oxford * 2010 Elected Member IFIP WG 2.2 on Formal Description of Programming Concepts * 2010 Teaching Award from the Computer Science Department, RWTH Aachen University * 2009 ACM Senior Member * 2005 Elected Member IFIP WG 1.8 on Concurrency Theory * 2004 Offer for a full Professorship on Software Engineering, University of Freiburg (D) * 2000-2003, EPSRC Visiting Professorship at the University of Birmingham (UK) * 1988 Philips Early Career Development Award \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Katoen_Joost-Pieter/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Katoen_Joost-Pieter/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Katoen_Joost-Pieter/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] [Other information|User/Katoen_Joost-Pieter/OtherInformation] %% %% [{ALLOW view All}] [{ALLOW edit jkatoen}] [{ALLOW upload jkatoen}] [{ALLOW comment All}]