on this page
research intereststop
My current research interests regard the use of formal methods for the description, implementation, and analysis of concurrent and distributed systems. In particular, I'm interested in process algebras with and without mobility (CCS, CSP, ᴨ-calculus, Join-Calculus) 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 JCB (an implementation of the distributed Join-Calculus) and PiDuce (an extension of the π-calculus with XML datatypes and Web service integration).
In the past I have worked on the application of XML technologies to the representation, distribution, and presentation of formalized mathematics on the Web. In particular, on rendering scientific/technical documents with embedded MathML fragments. This led to the development of GtkMathView, a multi-purpose rendering engine for MathML which has been used in the HELM and Matita 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) Carbon programming language.
positionstop
Current
- assistant professor (ricercatore) at , Università di Torino (december 2009 – present)
Past
- mâitre de conférence invité at Laboratoire Preuves, Programmes et Systèmes (september/october 2012)
- mâitre de conférence invité at Laboratoire Preuves, Programmes et Systèmes (2010)
- mâitre de conférence invité at Laboratoire Preuves, Programmes et Systèmes (2009)
- mâitre de conférence invité at Laboratoire Preuves, Programmes et Systèmes (may 2008)
- invited researcher at INRIA Rocquencourt (september 2007)
- assistant professor at Istituto di Scienze e Tecnologie dell'Informazione, Università di Urbino (november 2005 – december 2009)
- research associate at Ontario Research Centre for Computer Algebra, Computer Science Department, University of Western Ontario (july 2001 – july 2002)
- PhD student at Dipartimento di Informatica, Università di Bologna (1999 – 2003)
projectstop
Current
- λ group at Università di Torino (member)
- ICT COST Action IC1201 BETTY (WG vice-chair)
- PRIN 2010-2011 CINA (member)
- EU Accelerating Grant SALT (member)
Past
- PRIN 2007 PaCo (member)
- GNOME Foundation (member)
- [W3C] Math Interest Group (IG member, may 2004 – february 2006)
- [W3C] Math Working Group (WG member, december 2001 – november 2003)
- IST-2001-33562 MoWGLI (member)
- HELM (member)
eventstop
- Formal Approaches to Parallel and Distributed Systems (4PAD'14) (PC member)
- Young Researchers Workshop on Concurrency Theory (YR-CONCUR'13) (PC member)
- 40th International Colloquium on Automata, Languages and Programming (ICALP'13) (speaker)
- 6th Interaction and Concurrency Experience (ICE'13) (attendee)
- 15th International Conference on Coordination Models and Languages (COORDINATION'13) (speaker)
- 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13) (attendee)
- Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13) (speaker)
- 1st International Workshop on Behavioural Types (BEAT'13) (speaker)
- 22nd EACSL Annual Conference on Computer Science Logic (CSL'13) (OC member)
- 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'12) (speaker)
- Workshop su Contratti e Tipi Comportamentali (COTICO'12) (invited speaker)
- Rencontre des groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique, Algèbre et Calcul) du GDR Informatique mathématique (LAC'11) (speaker)
- 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS'11) (OC member)
- 8th International Workshop on Web Services and Formal Methods (WS-FM'11) (PC member)
- 4th Workshop on Interaction and Concurrency Experience (ICE'11) (speaker)
- 13th International Conference on Coordination Models and Languages (COORDINATION'11) (speaker)
- 1st Workshop on Behavioural Types (BTW'11) (invited speaker)
- Service Oriented Architectures and Programming (SOAP'11) (PC member)
- 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10) (invited speaker)
- Workshop on Security Oriented Formal Techniques (WSOFT'10) (invited speaker)
- 25th Annual IEEE Symposium on Logic in Computer Science (LICS'10) (attendee)
- 5th Workshop on Intersection Types and Related Systems (ITRS'10) (speaker)
- Service Oriented Architectures and Programming (SOAP'10) (PC member)
- 20th International Conference on Concurrency Theory (CONCUR'09) (speaker)
- 2nd Workshop on Interaction and Concurrency Experience (ICE'09) (speaker)
- 11th International Workshop on Verification of Infinite-State Systems (INFINITY'09) (speaker)
- 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09) (co-director, lecturer)
- 19th International Conference on Concurrency Theory (CONCUR'08) (speaker)
- 18th International Conference on Concurrency Theory (CONCUR'07) (speaker)
- 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07) (speaker)
- 3rd International Workshop on Web Services and Formal Methods (WS-FM'06) (speaker)
- International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06) (speaker)
- Distributed Computing Techniques (DISCOTEC'06) (OC member)
- International Workshop on Web Services and Formal Methods (WS-FM'05) (attendee)
- 7th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'05) (speaker)
- 14th Conference on Compiler Construction (CC'05) (speaker)
- Types Project Workshop (TYPES'04) (attendee)
- 3rd International Conference on Generative Programming and Component Engineering (GPCE'04) (speaker)
- 3rd International Conference on Mathematical Knowledge Management (MKM'04) (speaker)
- 5th Annual GNOME User and Developer European Conference (GUADEC'04) (speaker)
- International Conference on TeX, XML, and Digital Typography (TUG'04) (speaker)
- Mathematics on the Semantic Web Workshop (MSW'03) (speaker)
- 24th Annual Meeting and Conference of the TeX Users Group (TUG'03) (speaker)
- 2nd International Conference on Mathematical Knowledge Management (MKM'03) (OC chair, speaker)
- Italian Conference on Theoretical Computer Science (ICTCS'03) (OC member)
- 2nd Workshop on Web Enabling Technologies for Scientists (WEBENABLING'02) (invited lecturer)
- MathML International Conference (MathML'02) (speaker)
- East Coast Computer Algebra Day (ECCAD'02) (attendee)
- W3C Technical Plenary Meeting (W3C'02) (attendee)
- Extreme Markup Languages Conference (EXTREME'01) (speaker)
- International Symposium on Symbolic and Algebraic Computation (ISSAC'01) (attendee)
- 8th International Conference `Crimea 2001': Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01) (speaker)
- LINEAR International Summer School (Linear Logic and Applications) (LINEAR'00) (attendee)
- Annual IEEE Symposium on Logic in Computer Science (LICS'99) (attendee)
- Third CONFER-2 Workshop (CONFER2'99) (attendee)
co-authorstop
- Andrea Asperti
- Philippe Audebaud
- Matteo Baldoni
- Cristina Baroglio
- Federico Bergenti
- Marco Bernardo
- Antonio Boccalatte
- Viviana Bono
- Nadia Busi
- Samuele Carpineti
- Paolo Casarini
- Giuseppe Castagna
- Ferruccio Damiani
- Mariangiola Dezani-Ciancaglini
- Elena Giachino
- Ferruccio Guidi
- Nils Gesbert
- Svetlana Jakšić
- Cosimo Laneve
- Elisa Marengo
- Maurizio Martelli
- Viviana Mascardi
- Chiara Messa
- Hanane Naciri
- Viviana Patti
- Alessandro Ricci
- Gianfranco Rossi
- Claudio Sacerdoti Coen
- Andrea Santi
- Ina Schaefer
- Irene Schena
- Riccardo Solmi
- Andrea Tosatto
- Yuzhen Xie
- Stephen M. Watt
- Stefano Zacchiroli
about this page top
|
last updated Sat May 18 15:37:03 CEST 2013 on uria |