ClickCease
Francisco Gutiérrez López
 /  Docentes / Francisco Gutiérrez López
Francisco Gutiérrez López

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

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. RuizJosé 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. RuizJosé 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. RuizPablo 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. RuizPablo 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. RuizPablo 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ópezErnesto 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ópezErnesto Pimentel, Rasvan Popescu. Recife, Brasil (Feb 2008)
  • “A Formalization of the SMEPP Model in Maude”Francisco Durán, Francisco Gutiérrez, Pablo LópezErnesto 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):

Y otro sobre programación orientada a objetos:

Related Posts

Deja un comentario

Your email address will not be published. Required fields are marked.*

× ¿Cómo puedo ayudarte?