Paolo Torrini, PhD

Research Assistant

My academic interests are:

• Logic, types, theorem proving, verification
• Semantics of programming languages
• System modelling
• PlanCompS project

Recent publications

• P. Torrini and T. Schrijvers Reasoning about modular datatypes with Mendler induction
  Presented at FICS 2015
  Companion Coq code MDTC ( zipped version )
  
• N. Schulthorpe, P. Torrini and P. Mosses A Modular Structural Operational Semantics for Delimited Continuations
  Presented at WOC 2015
  
• M. Churchill, P. Mosses, N. Schulthorpe and P. Torrini, Reusable Components of Semantics Specifications (extended version)
  In Transactions on Aspect-Oriented Software Development XII, pages 132 – 179, LNCS 8989, Springer, 2015
  
• C. Bach Poulsen, P. Mosses and P. Torrini Imperative Polymorphism by Store-Based Types as Abstract Interpretations
  Presented at PEPM 2015
  
• M. Churchill, P. Mosses and P. Torrini, Reusable Components of Semantics Specifications
  Presented at Modularity 2014, Research Results
  

Other links

• PCV Seminar
• Seminar on types and theorem proving
• Old webpage in Leicester