Ronald De Haan
Assistant Professor at UvA
Amsterdam, North Holland, Netherlands
Summary
👤
SeniorRonald De Haan is an Assistant Professor at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam, with a decade of experience researching artificial intelligence, knowledge representation, and computational social choice. He bridges theoretical computer science and (parameterized) complexity theory with applied questions in AI, supervising and teaching in the MSc Logic and MSc Artificial Intelligence programs. His work sits at the intersection of rigorous complexity analysis and practical reasoning frameworks, making him adept at converting abstract results into insights relevant for intelligent systems. Based in Amsterdam, he combines active academic research with sustained teaching responsibilities, mentoring the next generation of logicians and AI researchers. An understated strength is his focus on the structural properties of reasoning problems, which informs both novel theoretical contributions and robust curriculum design.
10 years of coding experience
Github Skills (8)
clingo5
highlighting3
answer-set-programming2
clasp2
syntax-highlighting2
grammars2
cli-application2
python2
Programming languages (1)
Github contributions (5)
rdehaan/rdehaan.github.io
Jul 2023 - Feb 2025
Contributions:408 pushes, 1 branch in 1 year 7 months
rdehaan/KRR-course-2020
Apr 2020 - May 2021
Contributions:2 PRs, 135 pushes, 1 branch in 1 year
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.