Dr. Pablo Nogueira

Pablo Nogueira - ESNE

Coordinador en el Grado en Diseño y Desarrollo de Videojuegos.

Asignaturas impartidas en ESNE:

  • Diseño y Desarrollo de Videojuegos Web Grado en Diseño y Desarrollo de Videojuegos
  • Redes y Entornos Multijugador Grado en Diseño y Desarrollo de Videojuegos

Titulación:

Licenciado en Informática / Universidad Politécnica de Madrid / 2001

Doctor en Ciencia Informática / University of Nottingham / 2006

Experiencia Docente:

ESNE / 2016… / Grado en Diseño y Desarrollo de Videojuegos

ETSI Informáticos, Universidad Politécnica de Madrid / 2010 – 2015 / Lenguajes, programación y sistemas

School of Education, University of Nottingham / 2005-2007 / Lenguajes, programación y sistemas

School of Computer Science, University of Nottingham / 2001-2006 / Lenguajes, programación, matemáticas

Publicaciones:

Participación en 11 proyectos de investigación entre nacionales e internacionales.

  • No solvable lambda-value term left behind.

Álvaro García Pérez and Pablo Nogueira.

Logical Methods in Computer Science 12(2) 2016 pp.1-43, LMCS e.V.

  • On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines.

Álvaro García Pérez and Pablo Nogueira.

Science of Computer Programming 95 Part 2 (2014) pp.176-199, Elsevier B.V.

  • First-order unification using variable-free relational algebra.

Emilio J. Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira.

Logic Journal of the IGPL 19(6) 2011 pp.790-820, Oxford University Press.

  • Proof-directed debugging and repair.

Louise A. Dennis, Pablo Nogueira, Raul Monroy.

7th Symposium on Trends in Functional Programming 2006.

Biografía


Pablo Nogueira se ha unido como profesor y coordinador al claustro de profesores de ESNE al comienzo de 2016. Como puede leerse en el currículum abreviado de esta misma página, Pablo obtuvo su doctorado en el Reino Unido y ha ocupado puestos de profesor e investigador en universidades y centros del Reino Unido y España.

Pablo tiene amplia experiencia docente e investigadora en el área de languajes, lógica, y fundamentos formales de la programación.