Francisco Gutiérrez López

Profesor Titular de Universidad de Málaga. Doctor por la UMA.
Departamento de Lenguajes y Ciencias de la Computación (Universidad de Málaga)

Contacto directo

e-mail: pacog@lcc.uma.es
Tlf.: +34 95 213 3314
+34 95 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ículo

• 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)

Investigación

Interesado, entre otros, en los siguientes temas:

• 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

Puedes obtener una copia Postscript de los siguientes artículos (en preparación):

• “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 tiene publicado varios 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)