Wim Vanhoof

Wim Vanhoof is a Professor at the Faculty of Computer Science, University of Namur, leading the Research Group on the Foundations of Computer Science. He holds a Doctor of Science degree from KU Leuven (2001), specializing in clustering and instance-based learning in first-order logic. His research focuses on logic programming, constraint solving, software testing methodologies, concurrency in programming, and educational technology. Key projects include Sandbox4CS (2024–2025), a research infrastructure for computer science, and collaborative efforts like Silverkit (2019–2022), aimed at improving senior citizens' interaction with digital tools.

His research interests span formal methods, program analysis, automated testing, and educational innovations in computer science. Notable contributions include frameworks for relational symbolic execution of SQL, semantic clone detection in CLP, and tools like Moulinog for generating Prolog assignments. Vanhoof has authored over 90 publications and supervised 83 students, reflecting his extensive academic leadership.

He received the IBM Belgium Prijs informatica (1996) and remains active in academic activities, including organizing workshops and conferences like FOCUS Research Seminar (2019) and participating in events such as Computer Science Logic 2022. His work bridges theoretical foundations with practical applications, emphasizing software quality, concurrency management, and educational pedagogy.