Sotabase

Career

· Sales Support Manager, Cronos Public Services NV2015–
· Research Professor, KU Leuven2014–
· Head of Programming Languages Group, Ghent University2010–2014
· Project Manager/Bid Manager, Cronos2006–
· Postdoctoral Researcher, KU Leuven2006–2010
· PhD Student, KU Leuven2005–
· IT Consultant/Project Leader, TenForce2002–2006
· Master of Engineering (Computer Science), KU Leuven2001–
· Research Assistant, KU Leuven2001–2005
· IT Manager, Tibotec1998–2002
· Post-university program in Project Management, EHSAL Management School1996–
· IT Engineer, Emmaus1993–
· Master of Science in Engineering Technology (Electrical, Electronics and Communications Engineering), KU Leuven Faculty of Engineering Technology - Geel Campus1989–1993
· Graduaat Informatica, Karel de Grote-Hogeschool1987–1989
· Developer/Analist, ComIT NV

Publications (420)

Under Consideration for Publication in Theory and Practice of Logic Programming Swi-prolog
306
cited
Type checking with open type functions
ACM SIGPLAN International Conference on Functional Programming · 2008
149
cited
OutsideIn(X) Modular type inference with local assumptions
Journal of functional programming · 2011
116
cited
Complete and decidable type inference for GADTs
ACM SIGPLAN International Conference on Functional Programming · 2009
109
cited
The K.U.Leuven CHR system: Implementation and application
2004
104
cited
Functional and Logic Programming
Lecture Notes in Computer Science · 2012
96
cited
Effect handlers in scope
ACM SIGPLAN Symposium/Workshop on Haskell · 2014
83
cited
The computational power and complexity of constraint handling rules
TOPL · 2009
80
cited
As time goes by: Constraint Handling Rules
Theory and Practice of Logic Programming · 2009
72
cited
Constraint Handling Rules and Tabled Execution
International Conference on Logic Programming · 2004
64
cited
Under Consideration for Publication in Theory and Practice of Logic Programming Optimal Union-find in Constraint Handling Rules
63
cited
User-definable rule priorities for CHR
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming · 2007
56
cited
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR
Workshop Logische Programmierung · 2006
55
cited
Search combinators
Constraints · 2011
47
cited
K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java
2005
44
cited
Abstract interpretation for constraint handling rules
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming · 2005
43
cited
EffectiveAdvice: disciplined advice with explicit effects
Aspect-Oriented Software Development · 2010
43
cited
Towards Typed Prolog
International Conference on Logic Programming · 2008
42
cited
Modular monadic meta-theory
ACM SIGPLAN International Conference on Functional Programming · 2013
39
cited
Analyses, Optimizations and Extensions of Constraint Handling Rules (Analyses, optimalisaties en uitbreidingen van constraint handling rules)
2005
38
cited
Sotabase