His early research interests included Artificial Intelligence and Expert Systems, in particular for computer aided fault diagnosis and troubleshooting, which he applied to mainframes assembly at IBM. At ECRC, his research focussed on programming paradigms and their combinations (logic, constraints, objects, agents). Current research interests include distributed component coordination, structured document manipulation, heterogeneous knowledge retrieval and browsing, workflow. On a more theoretical side, he is also interested in the use of Logic for Computer Science, in particular the paradigm of computation based on proof-construction in Linear Logic.