Research Topics

• Concurrent, Timed, Declarative Programming

• Term, Graph and Process Rewriting

• Abstract Rewriting

• Term and Graph Narrowing

• Program Analyses

• Functional and logic programming languages

This page is under construction