Beschreibung
Autorenporträt
Ronald de Haan is a postdoctoral researcher at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.His research interests include the application of methods from theoretical computer sciencein particular methods from (parameterized) complexity theoryto problems in computational logic, artificial intelligence (AI), and knowledge representation & reasoning (KRR).He wrote his PhD thesistitled Parameterized Complexity in the Polynomial Hierarchyat the Algorithms and Complexity Group at the Faculty of Informatics of the Technische Universität Wien. He received his PhD in 2016. His PhD thesis was awarded the E.W. Beth Dissertation Prize 2017, was shortlisted for the Heinz Zemanek Prize 2018, and was nominated for the GI-Dissertationspreis 2016 of the German Informatics Society.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
