PostDoctor Fellowship

• Formal Methods
• Model Checking
• Parameterized Systems
• Software Engineering
• Software Security

Research Projects

• Semantic and Temporal Model Checking Environment
  • Project source code: click here (hosted on BitBucket)
• XAL : XML Automata Language
  • Project Blog: click here
  • XAL Designer source code: click here (an Eclipse plugin to write XAL programs)

• From 2012 : Postdoctoral Researcher. 
  I'm currentyl implementing and refining the methodologies and tools designed during my Ph.D. project.
• 2010 : International Fellow at SRI International, Menlo Park (CA) - USA
  I visited SRI International to work with Prof. Carolyn Talcott and her team on my PhD project.
• 2009 - 2011 : Ph.D. at DII, Universita` Politecnica delle Marche, Ancona, Italy.
  My research focused on Formal Methods applied to Software Engineering, focusing particularly on Software Verification and Software Re-engineering.
  Thesis title : "Formal Methods for Practical Reverse Engineering and Software Verification"
  Supervisor : prof. Luca Spalazzi
• 2008 : Research and Development, BINT srl, Ancona, Italy.
• 2007 : Developer at PF Informatica, Regione Marche, Ancona, Italy.
• 2004 - 2005 : Visiting student at University of Illinois, at Urbana-Champaign, USA.
• 2004 - 2007 : M.Sc. in Computer Science, cum laude, at Universita` degli Studi di Bologna, Italy.
  Thesis title: "Sistemi di Riscrittura e Quasi-Intrepretazioni: alcune questioni di Complessità Computazionale" "Rewriting Systems and Quasi-Interpretations: some issues about Computational Complexity"
  Thesis supervisor: prof. Simone Martini, dott. Ugo dal Lago
• 2001 - 2004 : B.S. in Computer Science, cum laude, at Universita` degli Studi di Bologna, Italy.
  Thesis title: "Un interprete per un linguaggio funzionale per computazioni polinomiali" "Interpreter For a Functional Language for Polynomial Computations"
  Thesis supervisor: prof. Simone Martini, dott. Ugo dal Lago

• OpenMunicipio : Transparency in Italian Comuni
  • Website: www.openmunicipio.it
  • Source code: click here (hosted on GitHub)