University of Leicester

informatics

Paula Gabriela Severi - Brief CV

Brief CV

Education

    PhD, Technische Universiteit Eindhoven, The Netherlands, 1996.
    Master in Computer Science, Facultad de Ingeniería, Universidad de la República Oriental del Uruguay, 1991.
    Software Engineer. Facultad de Ingeniería, Universidad de la República Oriental del Uruguay, 1988.

Career history

  • 2015. Daphne Research Fellow. Department of Computer Science. University of Leicester. Sponsored by EPSRC and the University of Leicester.
  • 2008-2014. Part Time Teaching Assistance. University of Leicester, UK.
  • 2007. Postdoctoral researcher. Università di Udine. Dipartimento di Matematica ed Informatica. Italy.
  • 2005-2006. Appointed by Henk Barendregt (University of Nijmegen, The Netherlands) for working on the book Typed Lambda Calculus, editors Henk Barendregt, Wil Dekkers and Richard Statman.
  • 2002-2003. Postdoctoral researcher. Università di Torino. Dipartimento di Informatica. Italy.
  • 1996-2003. Profesor adjunto, grado 3 (Lecturer). Facultad de Ciencias, Centro de Matemática, Universidad de la República Oriental del Uruguay.
  • 1992-1996. Assistent in opleiding as a Ph.D. student. Faculteit Wiskunde en Informatica. Technische Universiteit Eindhoven, The Netherlands.
  • 1988-1992. Profesor asistente, grado 2 (Lecturer). Facultad de Ingeniería, Instituto de Computación. Universidad de la República Oriental del Uruguay.
  • 1987. Profesor ayudante, grado 1 (Teaching assistant). Facultad de Ingeniería, Instituto de Computación. Universidad de la República Oriental del Uruguay.

Author: Paula Severi (ps56 at mcs.le.ac.uk), T: +44 (0) 116 225 5331.
© University of Leicester May 18, 2006 . Last modified: 17th November 2015, 12:18:31.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.