Research

Following the ACM Computing Classification System my research area fits in the following categories:

F. Theory of Computation
- F.3 Logics and Meanings of Programs
  - F.3.1 Specifying and Verifying and Reasoning about Programs
  - F.3.2 Semantics of Programming Languages

I also pursue a side interest in ecological modelling, and in particular in applications and tools for Geographical Information Systems. (Publications and tools).

selected papers
tools

[back to homepage]