Paula Gabriela Severi - Brief CV
Brief CV
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.
-
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.
|