Research interests

Theoretical computer science. Applications of logic in computer science (e.g. artificial intelligence, software engineering, nonmonotonic reasoning, theories of argumentation).

Members

Former Members

Bibliography