Suggested links

Public bibliographies (informations about me)

• DBLP (Computer science bibliography)
• Google Scholar
• Semantic Scholar
• ORCiD
• Researcher ID (Thomson Reuter - Web of Science)
• Academia.edu
• Faceted DBLP
• MathSciNet
• Microsoft Academic Search
• PubZone (Scientific publication discussion forum)
• The Collection of Computer Science Bibliographies
• MetaPress
• ACM Portal
• Researchr

Alternative Personal Homepages

• VBN Profile (Official Profile - VBN system)

People I worked with (in alphabetical order)

• Giovanni Bacci (Aalborg University)
• Vincent Danos (CNRS Dept. d'Informatique of ENS, and LFCS University of Edinburgh)
• Nathanaël Fijalkow (CNRS LaBRI Bordeaux, and Alan Turing Institute London)
• Robert Furber (Aalborg University)
• Davide Grohmann (University of Udine)
• Ohad Kammar (University of Edinburgh)
• Dexter Kozen (Cornell University)
• Manfred Jaeger (Aalborg University)
• Kim G. Larsen (Aalborg University)
• Radu Mardare (Aalborg University)
• Marino Miculan (University of Udine)
• Prakash Panangaden (McGill University)
• Mathias R. Pedersen (Aalborg University)
• Gordon Plotkin (LFCS University of Edinburgh)
• Romeo Rizzi (University of Verona)
• Dana S. Scott (Carnegie Mellon University, Berkeley)
• Qiyi Tang (Oxford University)
• Mirco Tribastone (IMT Lucca)
• Max Tschaikowski (Aalborg University)
• Franck van Breugel (York University)
• Andrea Vandin (Sant'Anna School of Advanced Studies)

Interviews

• oggiscienza

Pictures (taken at conferences/workshops/meetings)

• at ICTAC 2015 (25-31 October 2015 - Pontificia Universidad Javeriana, Cali, Colombia)
• at ETAPS 2015 (11-18 April 2015 - Queen Mary University, London UK) picture n.64
• at Bellairs Workshop (14-21 March 2014 - McGill Bellairs Institute, Holetown - Barbados)
• at Schloss Dagstuhl (19-24 January 2014 - Dagstuhl, Germany)
• at ETAPS 2012 (24 March - 1 April 2012 - Tallinn, Estonia) picture n.421
• at MeCBIC 2010 (23 August 2010 - Jena, Germany)
• at CALCO 2009 (6-10 September 2009 - Udine, Italy)

Other interesting links

• How to change the word: The Fun Theory
• The eco-friendly search engine: Ecosia
• If the Moon were only 1 pixel: PixelSpace
• TheCatsters: Category Theory Videos

valid XHTML | CSS