PostDoctor Fellowship

Francesco Spegni
Post-Doctoral Researcher


Research Areas

  • 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)

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
 
External Projects

Email:
f.spegni@dii.univpm.it

Office Phone:
+39 071 2204809

Room:
Q165_130

Publications

Blog