XAL Designer source code: click here (an Eclipse plugin to write XAL programs)
Capsule Bio
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
