Jónathan Heras Vicente
Lecturer at the
Department of Mathematics and Computer Science
,
University of La Rioja
.
Member of
the Grupo de Informática de la Universidad de La Rioja
Despacho 3210. CCT. Department of Mathematics and Computer Science. University of La Rioja.
Logroño. Spain. 26004.
phone: (+34) 941299450
mail: joheras at gmail.com
Publications
Papers
Conferences
Posters
Other Documents
CV (pdf)
Thesis
Projects
DIGIBAC
ML4PG
CoALP
ACL2(ml)
Old Projects
Formalisations
Coq
ACL2
Programs
Teaching
Teaching:
Academic Year 2016/17:
Lecturer for 5104 - Desarrollo de Aplicaciones para Internet (Development of web applications). University of La Rioja.
Lecturer for 828 - Programación Orientada a Objetos (Object Oriented Programming). University of La Rioja.
Lecturer for 479 - Inteligencia Artificial (Artificial Intelligence). University of La Rioja.
Lab tutor for 820 - Tecnología de la programación (Programming II). University of La Rioja.
Lecturer for Herramientas TIC para docentes. Diploma de Extensión Universitaria en Formación Pedagógica y Didáctica, University of La Rioja.
Lecturer for Taller de Informática I. Universidad de la Experiencia, University of La Rioja.
Academic Year 2015/16:
Lecturer for 5104 - Desarrollo de Aplicaciones para Internet (Development of web applications). University of La Rioja.
Lecturer for 820 - Tecnología de la programación (Programming II). University of La Rioja.
Lecturer for Herramientas TIC para docentes. Diploma de Extensión Universitaria en Formación Pedagógica y Didáctica, University of La Rioja.
Lecturer for Taller de Informática I. Universidad de la Experiencia, University of La Rioja.
Academic Year 2013/14:
Lecturer for AC21007 - Algorithms and AI module. University of Dundee.
Lecturer for EG21007 - Introdution to Programming module. University of Dundee.
Academic Year 2012/13:
Lab tutor for AC21009 - Computer Systems 2a. University of Dundee.
Academic Year 2011/12:
Lab tutor for Programming I. University of La Rioja.