| 词条 | Joost-Pieter Katoen |
| 释义 |
| name = Joost-Pieter Katoen | native_name = | native_name_lang = | image = Joost-Pieter-Katoen.jpg | image_size = | alt = | caption = Joost-Pieter Katoen in Logic Lane, Oxford | birth_place = | other_names = | residence = | citizenship = Dutch | nationality = | fields = {{Plainlist|
| workplaces = {{Plainlist|
| patrons = | alma_mater = {{Plainlist|
| awards = {{Plainlist|
| signature = | signature_alt = | website = {{URL|http://www-i2.informatik.rwth-aachen.de/~katoen/}} | footnotes = | spouse = | children = }} Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor[1] in Computer Science and head of the Software Modeling and Verification Group[1] at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.[3] EducationKatoen 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 from the Eindhoven University of Technology, and in 1996, he received his Ph.D. in Computer Science from the University of Twente. ResearchKatoen's main research interests are formal methods, computer aided verification, in particular model checking, concurrency theory, and semantics, in particular semantics of probabilistic programming languages.[5] His research is largely tool and application oriented. Together with Christel Baier he wrote and published the book Principles of Model Checking.[2] CareerFrom 1997 to 1999, Katoen was a postdoctoral researcher at the University of Erlangen-Nuremberg. In 1999, he became an Associate Professor at the University of Twente, where he still holds a part-time position.[3] In 2004, he was appointed a Full Professor at RWTH Aachen University. In 2013, Katoen became Theodore von Kármán Fellow and Distinguished Professor at RWTH Aachen University. Also in 2013, he was elected member of the Academia Europaea.[8] In 2017, he received an Honorary Doctorate from Aalborg University.[9] In 2018, Katoen was awarded the highly remunerated ERC Advanced Grant.[10][11] Katoen is a founding member of the IFIP Working Group (WG) 1.8 on Concurrency Theory and a member of the WG 2.2 Formal Description of Programming Concepts. From 2006 to 2010, he was engaged in the Review College of the British Engineering and Physical Sciences Research Council (EPSRC). Since 2015, he is chair of the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS).[12] For his commitment to work-life balance, especially for young Ph.D. students with children, he was awarded the FAMOS Prize by RWTH Aachen University in 2017.[13] Personal lifeJoost-Pieter Katoen was born in Krimpen aan den IJssel in 1964. Katoen is married and has three sons. He lives in Maastricht. In his private time, he enjoys cycling and listening to music. See also
References1. ^{{cite web |url=https://moves.rwth-aachen.de/people/katoen/ |title=moves.rwth-aachen.de/people/katoen/ |format= |work= |accessdate=2018-02-28}} [3][4][5][6][7][8][9][10][11]2. ^{{cite book |author1=Baier, Christel |author2=Katoen, Joost-Pieter |title=Principles of Model Checking |publisher=The MIT Press |location=Cambridge, Mass |year=2008 |pages= |isbn=978-0-262-02649-9 |oclc= |doi= |accessdate=}} 3. ^1 {{cite web| url=http://www.rwth-aachen.de/cms/root/Die-RWTH/Exzellenzinitiative/Zukunftskonzept/Massnahme-1-1-Staerkung-der-Naturwissensc/~dcbf/Distinguished-Professorships/?lidx=1 |title=Distinguished Professorships at RWTH Aachen University |format= |work= |accessdate=2018-02-28}} 4. ^1 {{cite web| url=https://www.etaps.org/index.php/about/steering-committee |title=Steering Committee of ETAPS |format= |work= |accessdate=2018-02-28}} 5. ^1 {{cite web| url=http://www.rwth-aachen.de/cms/root/Die-RWTH/Aktuell/Pressemitteilungen/Mai-2017/~nufd/FAMOS-fuer-Familie/?lidx=1 |title=RWTH press release on FAMOS award 2017 | format= | work= |accessdate=2018-02-28}} 6. ^1 2 {{cite web| url=http://fmt.cs.utwente.nl/people/staff/ |title=FMT Group Twente | format= |work= |accessdate=2018-02-28}} 7. ^1 {{cite web| url=http://www.ae-info.org/ae/Member/Katoen_Joost-Pieter |title=Joost-Pieter Katoen at Academia Europaea |format= |work= |accessdate=2018-02-28}} 8. ^1 {{cite web |url=https://www.utwente.nl/en/news/!/2017/4/525966/honorary-doctorate-aalborg-university-for-joost-pieter-katoen |title=Press Release on Honorary Doctorate for Joost-Pieter Katoen |format= |work= |accessdate=2018-02-28}} 9. ^1 {{cite web |url=http://www-i2.informatik.rwth-aachen.de/~katoen/cv.pdf |title=Curriculum Vitae |format= |work= |accessdate=2018-04-03}} 10. ^1 {{cite web| url=http://www.rwth-aachen.de/cms/root/Die-RWTH/Aktuell/Pressemitteilungen/April-2018/~qgds/Immer-auf-der-Suche-nach-Fehlern/lidx/1/ |title=RWTH Aachen Press Statement |format= |work= |accessdate=2018-05-06}} 11. ^1 {{cite web| url=https://www.utwente.nl/en/news/!/2018/4/281795/making-uncertain-software-predictable |title=University of Twente Press Statement |format= |work= |accessdate=2018-05-06}} }}{{Authority control}}{{DEFAULTSORT:Katoen, Joost-Pieter}} 5 : Living people|Dutch computer scientists|German computer scientists|Formal methods people|1964 births |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。