Teaching






Dissertation





Curriculum Vitae





Bibliography





HYBRID





Recent Papers





Recent Talks



Picture




Alberto Momigliano



I've received my Ph.D. in the Pure and Applied Logic Program from Carnegie Mellon University with a dissertation entitled "Elimination of Negation in a Logical Framework" in 2000. My adviser was Frank Pfenning. I moved to Leicester and then to Edinburgh, where I worked on the MRG and Mobius project.

I'm now an assistant professor at DI, University of Milan, Italy.

Contact information are available here. Here's a list of recent papers and talks. If you're really a fan, please consult my full bibliography (here dblp) and my CV.

Forthcoming Events:

Some Past Events

  • LFMTP13, International Workshop on Logical Frameworks and Meta-Languages: theory and practice. In association with ICFP2013, Boston MA September 24, 2013. I was co-chair

  • ITP12, Interactive Thereom Proving, Princeton. I was a PC member.

  • LFMTP12, International Workshop on Logical Frameworks and Meta-Languages: theory and practice. Copenhagen.

  • A graduate course at DI: Linear Logic: Theory and Applications, given by Marco Gaboardi, Alberto Momigliano, and Carsten Schürmann. April 28–May 11, 2011. (Outline)

  • A graduate course at DI: Proof Search and Computation, by Dale Miller (link). On March 16, there was an informal workshop, here is the program.

     

Research Interests

  • Logical Frameworks and (Co)Induction

  • PCC, resources etc.

  • Formal Verification and Automated Reasoning

  • Proof-Theory of Logic Programming

Recent Drafts and Publications

Some Talks

For older talks, look here.