I am member of the Babel Group. My main research area has concerned aspects related to theory of programming and specification languages (design, semantics, implementation, applications, and teaching) and formal methods. Nevertheless, my experience as CTO at Coowry increased my interest in formal aspects of software design and software architecture.

My author identifiers:

You can find my publications in the following networks: