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.
11 years of coding experience
Github Skills (5)
knowledge-representation8
clingo4
answer-set-programming2
syntax-highlighting2
python2
Programming languages (3)
Github contributions (5)
rdehaan/KRR-course-2021
May 2021 - Jun 2021
Materials for 2021 edition of the course 'Knowledge Representation and Reasoning'
Contributions:78 commits, 47 pushes in 1 month
knowledge-representation
rdehaan/logic-game
Oct 2024 - Oct 2025
Contributions:258 pushes, 1 branch in 11 months
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.