Pablo López

Assistant Professor (with tenure)

Department of Computer Science
University of Málaga
Campus de Teatinos. 29071 Málaga. SPAIN.

Office: 3.2.50
Phone: (+34) 952 13 33 05
Fax: (+34) 952 13 1397


I am interested in the theory, design, implementation, and application of advanced declarative programming languages. In particular, my Ph.D. thesis -supervised by Dr. Ernesto Pimentel- is focused on the theoretical foundations, design, analysis, and implementation of linear logic programming languages featuring concurrent and object oriented capabilities. I have implemented UMA Forum; an expressive fragment of Dale Miller's Forum Specification Language. My research interests include but are not limited to:

So here I am, working hard towards a Ph.D. in Computer Science. However, All I Really Need to Know I Learned in Kindergarten...

I am a member of the GISUM research group.

 Spanish version (mostly teaching stuff)

Last modified February 19, 2007 by Pablo López (