University of Leicester

informatics

photo of  PAULA GABRIELA SEVERI

STAFF — PAULA GABRIELA SEVERI   Ph.D. (Eindhoven University of Technology)

Daphne Jackson Research Fellow. Sponsors: University of Leicester and EPSRC
F11 Informatics Building
Department of Informatics,
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

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.
  • Lambda Calculus with Types
  • More publications. See also my list of publications in DBLP.

Programme Committees and Editorial Work

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