Address: Department of Computing, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium.

Phone: +32- (0)16-32 78 54

Email: Broes De Cat

Research

• Knowledge representation and its applications
• Algorithm design
• Techniques to solve search problems: SAT-SMT, CP, ASP

• MinisatID: the solver of the model-expansion system IDP, which extends a SAT-solver with support for inductive defintions and aggregate expressions.
• IDP-GUI: a user-friendly graphical interface for the model-expansion system.

Teaching

• Methodiek van de Informatica (introductory course on programming in Java)
• Logic as a foundation for AI
• Knowledge Representation

Interesting links

• Eclipse: powerful all-round IDE
• GNU autotools: tools to support building and distributing software, which are pretty portable
• TCLAP: software for argument parsing in c++ programs
• google perftools: measurement/debugging tools for c++ programs, providing graph representations and more useful information than e.g. gprof or massif
• gccfilter: getting more readable messages from gcc (although Clang looks even more promising)