Search

The mission of the Messens lab is to decipher how cells communicate via H2 O2 and metabolite signals and how cells transduce these messages into downstream biological effects. We are studying the mechanisms behind reactive oxygen species scavenging, signaling, and regulation.

As artificial intelligence (AI) tools employ more advanced reasoning mechanisms and computation, it becomes increasingly difficult to understand why certain decisions are made.

Answer set programming (ASP) is a formalism in which combinatorial (optimization) problems can be modeled easily, due to a well- developed first-order modeling language. For this language, efficient solvers have been developed.

 I am interested in research on unifying frameworks in the domain of knowledge representation and reasoning. Of particular interest are: approximation fixpoint theory and justification theory (and especially: investigating the relation between these two).

Research towards efficient algorithms for combinatorial search, in domains such as answer set programming, Boolean satisfiability, Quantified Boolean Formulas, Constraint Programming, Pseudo-Boolean solving and Mixed Integer Programming is greatly valued in my lab.

There are now 200 million protein sequences in UniProt, but for the majority of these nothing is known about their overall behaviour in terms of conformation and dynamics.

Reactive programming is getting ever more popular. Many frameworks and programming languages exist. However, most of them are:

Prof. Coen De Roover heads a focus group within the Software Languages Lab (SOFT) on Code Analysis and Manipulation (CAMP).

With the growing amount to data produced by humans as well as embedded sensors, there is a need for tools to analyse the resulting large datasets. Nowadays the exploration and analysis of large datasets is mainly supported by advanced visualisation techniques.

Over the last 15 years, a number of frameworks and toolkits for the design of hybrid paper- digital user interfaces and applications based on Anoto's Digital Pen and Paper as well as other technologies have been proposed.