Gebruiker:TimLange1/Kladblok
|
| Dit is het persoonlijke kladblok van TimLange1. |
| Een kladblok is een subpagina van iemands gebruikerspagina. Het dient als testruimte voor de gebruiker en om nieuwe artikelen of langere toevoegingen aan bestaande pagina's voor te bereiden. Let op: je kladblok opslaan gaat met de knop 'publiceren'. De pagina wordt daarmee nog niet in de openbare encyclopedie geplaatst en blijft een kladpagina. De kladblokpagina is wel zichtbaar (voor iedereen die wat meer van Wikipedia) en mag dus geen onoorbare dingen te bevatten. |
| Het is, ook in een kladblok, uitdrukkelijk niet toegestaan om zonder toestemming auteursrechtelijk beschermd materiaal van derden te publiceren. |
| Enkele handige links: Spiekbriefje | Snelcursus Andere testplaatsen: De algemene zandbak | De probeerpagina van de snelcursus | De sjabloonzandbak |
| Joost-Pieter Katoen | ||
|---|---|---|
| ||
Joost-Pieter Katoen bij Logic Lane, Oxford
| ||
| Persoonlijke gegevens | ||
| Geboortedatum | 6 oktober 1964 | |
| Geboorteplaats | Krimpen aan den IJssel | |
| Nationaliteit |  Nederland
| |
| Wetenschappelijk werk | ||
| Vakgebied | * Informatica
| |
| Alma mater | * Universiteit Twente (Ph.D.)
| |
| Belangrijke prijzen | * Honorary Doctorate, Universiteit van Aalborg, awarded 2017
| |
| officiële website | ||
Joost-Pieter Katoen (geboren 6 oktober, 1964) is een Nederlandse theoretische informaticus werkzaam in Duitsland. Hij is een distinguished professor[1] in de informatica en hoofd van de leerstoel Software Modeling and Verification[2] aan de Rheinisch-Westfälische Technische Hochschule. Bovendien is hij part-time professor bij de vakgroep Formal Methods & Tools aan de Universiteit Twente.[3]
Opleiding[bewerken | brontekst bewerken]
Katoen ontving zijn Master diploma met lof in de informatica van de Universiteit Twente in 1987. In 1990 is hem een (en) Professional Doctorate in Engineering toegekend door de Technische Universiteit Eindhoven, en in 1996 ontving hij zijn Ph.D. in de informatica van de Universiteit Twente.[4]
Onderzoek[bewerken | brontekst bewerken]
Katoen's voornaamste onderzoeksgebieden zijn formele methoden, formele verificatie met in het bijzonder model checking, concurrency theory en semantieken, in het bijzonder semantieken voor (en) probabilistische programmeertalen.[5] Zijn onderzoek is voornamelijk tool en applicatie georiënteerd.
Samen met Christel Baier schreef en publiceerde hij het boek Principles of Model Checking.[6]
Carrière[bewerken | brontekst bewerken]
Van 1997 tot 1999 was Katoen een postdoctoraal onderzoeker aan de Friedrich-Alexander-Universität Erlangen-Nürnberg. In 1999 werd hij een Associate Professor aan de universiteit Twente, waar hij nog altijd een part-time positie heeft.[3] In 2004 was hij benoemd tot Full Professor aan de RWTH Aken.
In 2013 werd Katoen Theodore von Kármán Fellow en Distinguished Professor aan de RWTH Aken. Tevens werd hij in dat jaar ook verkozen tot lid van de Academia Europaea.[7]. In 2017 ontving hij een eredoctoraat van de Universiteit van Aalborg.[8]
Katoen is een stichtend lid van de (en) IFIP Working Group (WG) 1.8 on Concurrency Theory en lid van de WG 2.2 Formal Description of Programming Concepts. Van 2006 tot 2010 was hij betrokken in het Review College of the British (en) Engineering and Physical Sciences Research Council (EPSRC). Sinds 2015 is hij voorzitter in het bestuurscomité van de European Joint Conferences on Theory and Practice of Software (ETAPS).[9]
Voor zijn toewijding aan de balans tussen werk en privé, in het bijzonder voor jonge Ph.D. studenten met kinderen, is hem de FAMOS prijs toegekend door de RWTH Aken in 2017.[10]
Privéleven[bewerken | brontekst bewerken]
Joost-Pieter Katoen was geboren te Krimpen aan den IJssel in 1964, en is woonachtig in Maastricht. Katoen is getrouwd en heeft drie zonen. In zijn vrije tijd rijdt hij graag op de fiets en luistert hij naar muziek.
Zie ook[bewerken | brontekst bewerken]
- (en) Joost-Pieter Katoen's startpagina.
- (en) Vakgroep Software Modeling and Verification.
- (en) Overzicht van publicaties bij DBLP.
Bronnen, noten en/of referenties
|
Categorie:Nederlands informaticus
Categorie:Duits informaticus