Â鶹ÊÓƵ

I am currently a Teaching Fellow in Computing

I held  a Fellowship sponsored by EPSRC and the Â鶹ÊÓƵ.

I also held postdoc posts at and 

In the past, I also held lecturer posts at Centro de Matematica and   in 

I earned a PhD in Computer Science at 

I have done research  on the foundations of programming languages and the semantic web with applications to software engineering.

Some of the  research topics include:

• Foundations of Programming Languages
  
  • Typing disciplines of functional programs
  • Typing disciplines for protocols and concurrency 
  • Session types 
  • Typed Lambda Calculus
  • Type Inference of Functional Programs
  • Dependent Types: types as specifications of programmes
  • Types to guarantee program correctness and termination.

• Semantic Web and Knowledge representation
• Ontology Languages
• Automated Reasoning, Description Logics
• Meta-modelling in Description Logics
• Applications in areas of Healthcare, Geography and Finances

See my publications in

Selected Publications

Books

•  .Authors: Fabio Alessi, Henk Barendregt, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Paula Severi. Editors: Henk Barendregt, Wil Dekkers and Richard Statman at al. Cambridge University Press and Association for Symbolic Logic, 2012.

Articles in Journals

• Paula Severi, Mariangiola Dezani-Ciancaglini: Observational Equivalence for Multiparty Sessions. 
• Paula Severi: A Light Modality for Recursion. Logical Methods in Computer Science 15(1) , 2019 Selected papers of FOSSACS 2017.
• Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancagilini. On Sessions and Infinite Data. Logical Methods in Computer Science 2017. Selected papers of the conferences FORTE and COORDINATION 2016.
• Paula Severi and Fer-Jan de Vries. The Infinitary Lambda Calculus of the Infinite Eta Bohm Trees. Mahematical Structures in Computer Science, 2017
• Regina Motz, Edelweis Rohrer, Paula Severi. The description logic SHIQ with a flexible meta-modelling hierarchy. Journal of Web Semantics: Science, Services and Agents on the World Wide Web. 35: 214-234, 2015.
• Alexander Kurz, Daniela Petris¸an, Paula Severi and Fer-Jan de Vries. Nominal Coalgebraic Data Types with Applications to Lambda Calculus. Logical Methods in Computer Science 9(4) (2013).

Peer Reviewed Articles in Conferences

• Paula Severi, Edelweis Rohrer, Regina Motz: A Description Logic for Unifying Different Points of View. In
  proceedings of KGSWC (Knowledge Graphs and Semantic Web) 2019: 17-32
• Edelweis Rohrer, Paula Severi, Regina Motz: Meta-Modelling Ontology Design Pattern. In proceedings of KGSWC (Knowledge Graphs and Semantic Web) 2019: 585-588
• Edelweis Rohrer, Paula Severi, Regina Motz: Applying Meta-Modellig to an Accounting Application. In proceedings of ONTOBRAS 2018
• Paula Severi. A Light Modality for Recursion. In proceedings of FOSSACS (Foundations of Software Science and Computation Structures) 2017 (nominated for best ETAPS 2017 paper). LNCS.
• Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancaglini. On Sessions and Infinite Data. In proceedings of DisCoTec (Distributed Computing Techniques) 2016 (best paper of COORDINATION (Coordination Models and Languages) 2016). LNCS.
• Monica Martinez, Edelweis Rohrer, Paula Severi. Complexity of the Description Logic ALCM. In proceedings of Knowledge Representation (KR) 2016
• Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries. Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. In proceedings of CALCO (Conference on Algebra and Coalgebra in Computer Science) 2015
• Regina Motz, Edelweis Rohrer, Paula Severi. Reasoning for ALCQ extended with a flexible meta-modelling hierarchy. In proceedings of JIST (International Semantic Technology) 2014 (awarded second best paper).
• Paula Severi and Fer-Jan de Vries. Completeness of Conversion between Reactive Programs for Ultrametric Models. In proceedings of TLCA (Typed Lambda Calculus and Applications) 2013.
  
  

For more publications, see also the list of 

I have supervised various undergraduate and postgraduate projects.

I also co-supervised  a PhD student in Computer Science with (Instituto de Computacion, Universidad de la Republica Oriental del Uruguay)

•   (2022)    Design and foundations of ontologies with meta-modelling

At the moment (September-December 2023), I am teaching in the following modules:

• CO1103  Mathematics Fundamentals
• CO3095 Software Measurement and Quality Assurance
• CO3201 BSc Computer Science Projects
• CO7201 MSc Computer Science Projects

Previous years, I was involved in the following modules:

• CO3111 Functional Programming
• CO1108 Foundations of Computation
• CO1102 Programming Fundamentals
• CO1101 Computing Fundamentals
• CO3093-CO7093 Big Data and Predictive Analytics
• Logic Programming

I also developed the systems for doing  automatic markings for

• Functional Programming
• Logic Programming

Editorial work

• Editors: Hélène Kirchner, Paula Severi. 
• Editor: Simona Ronchi della Rocca. Guest editor:Paula Severi.  

Conference chair

•  and Workshop Chair FSCD 2018 (collocated with FLOCS 2018, Oxford).         

Member of program committees 

•   AMW 2017 Alberto Mendelzon International Workshop on Foundations of Data Management
• TyDe 2017 (workshop on Type Directed Programming)
• RTA 2015 Rewriting Techniques and Applications
• 2014 and TLCA 2014 Typed Lambda Calculus and Applications.
• APLAS 2013 Asian Symposium on Programming Languages and Systems
• RTA 2013 Rewriting Techniques and Applications
• TLCA 2007 Typed Lambda Calculus and Applications.

Teaching training in Higher Education. I am doing the first year of

Computer Science. I obtained the following qualifications:

• PhD in Computer Science.
• MSc in Computer Science.
• BSc in Computer Science.