Francisco Gutiérrez López Profesor Titular de Universidad Doctor por la Universidad de Málaga Dpto. de Lenguajes y Ciencias de la Computación Universidad de Málaga

• Cómo contactar conmigo.
• Currículum.
• Docencia.
• Acceso directo a los apuntes
• Investigación.
• Publicaciones.
• Otros enlaces interesantes.

Como contactar conmigo

	pacog@lcc.uma.es
	+34 (5) 213 3314
	+34 (5) 213 1397
	Dpto. de Lenguajes y Ciencias de la computación. Despacho 3.2.46 Universidad de Málaga. Campus de Teatinos. 29071-Málaga. España

Currículum

• Licenciado en Ciencias Exactas. Facultad de Ciencias. Universidad de Málaga (1974-1979).
• Profesor Agregado de Bachillerato (Matemáticas) (1980-1988). 
• Profesor asociado a tiempo parcial en el Departamento de Lenguajes y Ciencias de la Computación de la Universidad de Málaga. (1988-1989).
• Profesor asociado a tiempo parcial en el Departamento de Lenguajes y Ciencias de la Computación de la Universidad de Málaga. (1991-1996).
• Profesor asociado a tiempo completo en el Departamento de Lenguajes y Ciencias de la Computación de la Universidad de Málaga. (1996-1999).
• Profesor Titular de Escuela Universitaria en el Departamento de Lenguajes y Ciencias de la Computación de la Universidad de Málaga. (1999-).
• Doctor por la Universidad de Málaga.(Dic-2003) (Departamento de Lenguajes y Ciencias de la Computación .)
• Profesor Titular de Universidad (14-Octubre-2008)

Docencia

• Curso (2011/2012)
  • Programación Orientada a Objetos en Grado de Ingeniería Informática e Ingeniería de la Salud.
  • Estructura de Datos en Grado de Ingeniería Informática.
• Curso (2010/2011)
  • Programación Orientada a Objetos en Grados de Ingeniería Informática.
  • Informática en Máster Universitario en Profesorado de Educación Secundaria Obligatoria y Bachillerato, Formación Profesional y Enseñanzas de Idiomas.
• Curso (2009/2010)
  • Historia de los Algoritmos: la programación y sus lenguajes.
  • Laboratorio de Tecnología de Objetos en Ingeniería en Informática.
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
• Curso (2008/2009)
  • Historia de los Algoritmos: la programación y sus lenguajes.
  • Laboratorio de Tecnología de Objetos en Ingeniería en Informática.
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
• Curso (2007/2008)
  • Historia de los Algoritmos: la programación y sus lenguajes.
  • Laboratorio de Tecnología de Objetos en Ingeniería en Informática.
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
• Curso (2006/2007)
  • Laboratorio de Tecnología de Objetos en Ingeniería en Informática.
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
• Curso (2005/2006)
  • Laboratorio de Tecnología de Objetos en Ingeniería en Informática.
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
• Curso (2004/2005)
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
• Curso (2003/2004)
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
• Curso (2002/2003)
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
• Curso (2001/2002)
  • Laboratorio de Tecnología de Objetos en Ingeniería Técnica en Informática.
  • Programación Declarativa en Ingeniería Técnica en Informática.
  • Informática en Facultad de Ciencias (Matemáticas).
• Curso (2000/2001)
  • Programación Orientada a Objetos en Ingeniería Técnica en Informática (Optativa).
  • Programación Declarativa I en Ingeniería Técnica en Informática.
  • Laboratorio de Programación IV en Ingeniería Técnica en Informática.
  • Informática en Facultad de Ciencias (Matemáticas).
• Curso (1999/2000)
  • Programación Orientada a Objetos en Ingeniería Técnica en Informática (Optativa).
  • Programación Declarativa I en Ingeniería Técnica en Informática.
  • Laboratorio de Programación IV en Ingeniería Técnica en Informática.
• Curso (1998/99)
  • Programación Orientada a Objetos en Ingeniería Técnica en Informática (Optativa).
  • Programación Declarativa I en Ingeniería Técnica en Informática.
  • Laboratorio de Programación IV en Ingeniería Técnica en Informática.
• Curso (1997/98)
  • Programación Orientada a Objetos en Ingeniería Técnica en Informática (Optativa).
  • Programación Declarativa I en Ingeniería Técnica en Informática.
  • Laboratorio de Programación IV en Ingeniería Técnica en Informática.
• Curso (1996/97)
  • Programación Orientada a Objetos en Ingeniería Técnica en Informática (Optativa).
  • Programación Declarativa I en Ingeniería Técnica en Informática.
  • Laboratorio de Programación IV en Ingeniería Técnica en Informática.
• Curso (1995/96)
  • Programación Orientada a Objetos en Ingeniería Técnica en Informática (Optativa).
  • Programación Declarativa I en Ingeniería Técnica en Informática.
  • Laboratorio de Programación IV en Ingeniería Técnica en Informática.

Investigación

• Integración de operaciones de entrada y salida en lenguajes funcionales perezosos puros mediante mónadas y usos de éstas en general.
• Implementación de lenguajes funcionales.
• Teoría de Tipos.
• Programación Orientada a Objetos. Lenguajes Orientados a Objetos (Smalltalk, C++, Java, C#)

Publicaciones

• "El problema P-S de McCarthy y otros acertijos". Blas C. Ruiz, José Enrique Gallardo y Francisco Gutiérrez López. En la revista SUMA nº 21. Febrero 1996.
• "Clasificación de Objetos Funcionales en Entornos Concurrentes". Blas C. Ruiz, José Enrique Gallardo Pablo Guerrero, y Francisco Gutiérrez López. En Actas de Join Conference on Declarative Programming. APPIA-GULP-PRODE'96. San Sebastian (España), Julio 1996.
• "El solitario de Abreu desde la teoría de grupos". Blas C. Ruiz, Pablo Guerrero, y Francisco Gutiérrez López. publicaso en la revista Epsilon 35 editada por la Sociedad Andaluza de Profersores de Matemáticas "THALES"
• "Clasificación y Comunicación de Objetos en Concurrent Haskell". José Enrique Gallardo Francisco Gutiérrez López y Blas C. Ruiz. En Actas de las II Jornadas de Informática. Almuñecar (España), Julio 1996.
• "Inheritance and Selective Method Dispatching in Concurrent Haskell". José Enrique Gallardo Francisco Gutiérrez López y Blas C. Ruiz. En PLILP'97. LNCS 1292. Southampton (UK). Septiembre 1997.
• "Un solitario atribuido a David Singmaster". Blas C. Ruiz, Pablo Guerrero, y Francisco Gutiérrez López. VIII JAEM. Salamanca, 1997.
• "Functional Programming Languages: Tools for the analysis of Mathematical Conjectures".  José Enrique Gallardo Francisco Gutiérrez López y Blas C. Ruiz. International Conference on the Teaching of Mathematics. Samos (Grecia), 1998.
• "Triangular Solitaires and Elementary Algebra". Blas C. Ruiz, Pablo Guerrero, y Francisco Gutiérrez López. Capítulo de Mathematical Languages: Logic, Semiotic, Social and Computational Perpestives. Quesada, F.J. Ed. Sevilla, 1998.
• "Smalltalk". Ernesto Pimentel y Francisco Gutiérrez López. Capítulo de The Handbook of Object Oriented Technology. Saba Zamir ed. CRC Press LLC. Diciembre 1998.
• "Sequent Calculi for Pure Type Systems".  Francisco Gutiérrez López y Blas C. Ruiz. Technical Report IT 06/92. Universidad de Málaga 2002.
• "Order Functional Pure Type Systems".  Francisco Gutiérrez López y Blas C. Ruiz. 11th International Workshop on Functional and (constraint) Logic Programming (WLPF'02). Grado (Italy) 2002. ENTCS n. 76.
• "A Cut-free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene".  Francisco Gutiérrez López y Blas C. Ruiz. International Workshop on Logic Based Program Development and Transformation (LOPSTR'02). Madrid (Spain)  2002. LNCS n. 2664.
• "Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems".  Francisco Gutiérrez López y Blas C. Ruiz. Thirtieth International Colloquium on Automata, Languages and Programming (ICALP'03). Eindhoven.(Holanda) 2003. LNCS n. 2719.
• "Cut Elimination in a Class of  Sequent Calculi for Pure Type Systems".  Francisco Gutiérrez López y Blas C. Ruiz. 10th International Workshop on Logic, Language, Information and Computation (WOLLIC'03). Ouro Preto (Brasil)  2003. ENTCS n. 84.
• "Cut Elimination in a Class of  Sequent Calculi for Pure Type Systems".  Francisco Gutiérrez López y Blas C. Ruiz 10th International Workshop on Logic, Language, Information and Computation (WOLLIC'03). Ouro Preto (Brasil)  2003. ENTCS n. 84.
• "A Programming model for embedded peer-to-peer systems". Antonio Broggi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel. FOCLASA 6 International Workshop on the Foundations of Coordination Languages and Software Architectures. Lisboa, Portugal (Sep. 2007) ENCTS n. 194
• "La corrección automática en asignaturas de programación"Francisco Durán, Francisco Gutiérrez, Ernesto Pimentel. II Jornadas de Innovación Educativa y Enseñanza Virtual. Malaga, (Nov. 2007)
• "Modelado de sistemas P2P con control de excepciones" Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Rasvan Popescu. Recife, Brasil (Feb 2008)
• "A Formalization of the SMEPP Model in Maude"Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel. Mimes. Dublin Irlanda (Julio 2008).
• "Web Services and Interoperability for the Maude Termination Tool"Francisco Durán, Salvador Lucas, Jose Meseguer, Francisco Gutiérrez. PROLE (VIII Jornadas sobre Lenguajes y Programación). Gijón, (Oct. 2008) ENCTS n 248.
• "On the Formal Analysis of P2P Algorithms with aSMoL and Maude"Francisco Durán, Francisco Gutiérrez, Pablo López and Ernesto Pimentel. CibSE 2011. Rio de Janeiro, (Abril 2011).

También hemos escrito tres libros sobre programación funcional. Puedes consultar el índice general del mismo (en preparación):

• "Programación Funcional con Haskell". Blas C. Ruiz, José Enrique Gallardo Francisco Gutiérrez y Pablo Guerrero. Servicio de Publicaciones e Itercambio Científico. Universidad de Málaga, 1995.
• "Razonando con Haskell. Una Introducción a la Programación Funcional". Blas C. Ruiz, José Enrique Gallardo Francisco Gutiérrez y Pablo Guerrero. 2000
• "Razonando con Haskell. Un curso sobre programación funcional". Blas C. Ruiz, José Enrique Gallardo Francisco Gutiérrez y Pablo Guerrero. (Thomson 2004).

Y otro sobre programación orientada a objetos:

• “Programación Orientada a Objetos con Java”. Francisco Durán, Francisco Gutiérrez y Ernesto Pimentel. (Thomson 2007)

Otros enlaces interesantes

• Preguntas comunes (FAQ) sobre programación funcional.
• News sobre programación funcional (comp.lang.functional).
• El archivo de programación funcional SEL-HPC.
• Informe sobre el lenguaje Haskell, versión 1.3.

• Programación funcional en Glasgow.
• Programación funcional en Nottingham.
• Programación funcional en Chalmers.
• Programación funcional en Yale.
• Programación funcional en Bristol.
• Programación funcional en Nijmegen.
• Programación funcional en Kent.
• Programación funcional en York.
• Programación funcional en St. Andrews.
• Imperial College.

• El compilador de Haskell de Glasgow.
• Hugs.
• Gofer.
• Concurrent Clean.
• El lenguaje Oz en el DFKI.
• El lenguaje Gofer con Entorno Gráfico para Win31 y Win95.
• Un intérprete gráfico de LambdaCalculo basado en la "máquina G" realizado en Java por Miguel A. Jiménez Santana como Proyecto Fin de Carrera.

Ultima Revisión Agosto/2011