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 Computer Science 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

  • Knowledge representation
    • Ontology Languages
    • Automated Reasoning, Description Logics
    • Meta-modelling in Description Logics
    • Applications in areas of Healthcare, Archaeology and Finances.
  • 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.

WATCH VIDEO (only 5 minutes) where I explain our approach to Meta-modelling

Selected Publications

  • 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
  • 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.
  • 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: 8th February 2017, 11:25:22.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.