cms

	STAFF — PAULA GABRIELA SEVERI   Ph.D. (Eindhoven University of Technology) Daphne Jackson Research Fellow. Sponsors: University of Leicester and EPSRC
	F11 Ken Edwards Building School of Computing and Mathematical Sciences, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 5331 F: +44 (0)116 252 3604 or 44 (0)116 252 3915

Introduction

• Paula Severi was educated at Universidad de la Republica Oriental del Uruguay (Udelar) and Technische Universiteit Eindhoven, The Netherlands.
• She held lecturer posts at Centro de Matematica and Instituto de Computacion (Udelar).
• She held postdoc posts at Universita di Torino, Italy and Universita degli Studi di Udine, Italy.
• She held a Daphne Jackson Fellowship sponsored by EPSRC and the University of Leicester.

Research Interests

• Typed Lambda Calculus
  • Typing disciplines of functional programs
  • Type Inference of Functional Programs
  • Dependent Types: types as specifications of programmes
  • Types to guarantee program correctness and termination.
• Knowledge representation
• Ontology Languages
• Automated Reasoning, Description Logics
• Meta-modelling in Description Logics
• Applications in areas of Healthcare, Geography and Finances.

Selected Publications

• Paula Severi. A Light Modality for Recursion. To appear in Logical Methods in Computer Science.
• Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancaglini. On Sessions and Infinite Data. Logical Methods in Computer Science 2017.
• Mónica Martínez, Edelweis Rohrer and Paula Severi. Complexity of the Description Logic ALCM. KR 2016.
• Regina Motz, Edelweis Rohrer and Paula Severi. The Description Logic SHIQ extended with a flexible meta-modelling hierarchy.
  Journal of Web Semantics: Science, Services and Agents on the World Wide Web, May 2015. Open source . DOI information: 10.1016/j.websem.2015.05.002
• Alexander Kurz, Daniela Petrisan, Paula Severi and Fer-Jan de Vries. Nominal Coalgebraic Data Types with Applications to Lambda Calculus.
  Logical Methods in Computer Science 2013. Volume 9, number 4.
• Paula Severi and Fer-Jan de Vries. Pure Type Systems with Corecursion on Streams : Fom Finite to Infinite Normalization. Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012.
• Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell and Paula Severi. Intersection Types. Part III of the Book Lambda Calculus with Types Editors: H Barengregt, W Dekkers, R Statman Perspectives in Logic. Cambridge University Press, 2013.

• More publications. See also my list of publications in DBLP.

Programme Committees and Editorial Work

• Conference and Workshop Chair FSCD 2018
• Member of the program committees of Formal Structures in Computer Science (FSCD): FSCD 2017 FSCD 2016
• Member of the program committees of Rewriting Techniques and Applications (RTA): RTA: RTA 2014, RTA 2013
• Member of the program committee of Types Lambda Calculus and Applications (TLCA): TLCA 2014 TLCA 2007
• Member of the program committee of the Asian Symposium on Programming Languages and Systems: APLAS 2013
• Guest editor of Special Issue of Logical Methods in Computer Science. Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007"

• Paula Severi
• Publications
• Brief CV
• Daphne Jackson Trust

Author: PAULA GABRIELA SEVERI , T: +44 (0)116 252 5331.
© University of Leicester DATE. Last modified: 27th October 2018, 17:10:44
CMS Web Maintainer. Any opinions expressed on this page are those of the author.