* moved to KU Leuven *
Contact:
t: (+44) (0)1792 60 6515
e: p.torrini@swansea.ac.uk
Paolo Torrini
Computer Science
Swansea University
Swansea
SA2 8PP
UK
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