«When you don't know where you're going, every road will take you there.»
Yiddish Proverb (Northern Exposure)

on this page

research interests

My current research interests regard the use of formal methods for the description and analysis of concurrent and distributed systems. In particular, I'm interested in process algebras with and without mobility (, CSP, , ) and other models of concurrency (Petri nets). Most of my research is about behavioral types, namely contracts and session types, and static forms of analysis for enforcing various safety properties (absence of communication errors, orphan messages, etc.) and liveness properties (progress, lock freedom, etc.). I'm particularly fond of semantically grounded refinement and subtyping relations, such as must and fair testing. I have contributed to the implementation of some concurrent and distributed languages, in particular (an implementation of the distributed ) and (an extension of the π-calculus with datatypes and Web service integration).

In the past I have worked on the application of technologies to the representation, distribution, and presentation of formalized mathematics on the Web. In particular, on rendering scientific/technical documents with embedded fragments. This led to the development of , a multi-purpose rendering engine for which has been used in the and projects, as well as by the John Wiley & sons publisher for the online publishing some scientific textbooks.

When I used to have some spare time (which is no longer the case), I also studied the design and implementation of functional programming languages. This interest has culminated in the (never finished, but working) programming language.









about this page

{less} Made With Cascading Stylesheets Valid CSS! Valid XHTML 1.1! CHECK LINKS Flag Counter last updated Mon, 31 Mar 2014