2006.

I am a teacher at the Computer Science Department of Universidad Complutense of Madrid  I finished my PhD in 2008. . 

I belong to the Functional Programming Group  and to the Eden project. I am very interested in Functional Languages, and in particular in Parallel Functional Languages.

My PhD supervisors were Luis Llana y Fernando Rubio.

Publications

Si quieres puedes ver la página en español: 

Old web pages that was stored in dalila.sip.ucm.es

• 1st International Workshop on Integration of Testing Methodologies (ITM 2004)
• 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce (TheFormEMC 2004)
• 19 th ACM Symposium on Applied Computing (SAC 2004)
• 20 th ACM Symposium on Applied Computing (SAC 2005)
• 21 st ACM Symposium on Applied Computing (SAC 2006)
• 14th International Workshop on the Implementation of Functional Languages (IFL 2002)
• XII Jornadas de Concurrencia y Sistemas Distribuidos (JJCC 2004)
• Functional Programming Group at U.C.M.
• Eden group in Madrid

• DIKU TOPPS Group
• University Aarhus DAIMI:
  • Fleming Nielson
  • Hanne Riis Nielson
• Microsoft Research
  • Simon Peyton Jones
• Chalmers University
  • John Hughes
  • Lars Pareto
• Glasgow University
  • Simon Marlow
• Heriot-Watt University
  • Hans-Wolfgang Loidl ( this is his old page)
• University of Cambridge Computer Laboratory:
  • Alan Mycroft
  • Keith Wansbrough
• Ecole Normale Superieure:
  • Patrick Cousot
• Ecole Polytechnique :
  • Radhia Cousot
• Imperial College:
  • Chris Hankin
• IRISA/INRIA:
  • Daniel Le Metayer
• School of Informatics at City University:
  • Sebastian Hunt
• Oregon Graduate Institute :
  • Mark P. Jones
  • John Launchbury
• Bell Labs :
  • Philip Wadler

• Functional Programming at Madrid (U.C.M.)
• Functional Programming at Glasgow
• Functional Programming at St. Andrews
• Functional Programming at Heriot-Watt University
• Functional Programming at Yale
• Functional Programming at York
• Chalmers University
• Marburg University
• Scottish Functional Parallel Interest Group
• APSET: A Parallel Software Engineering Tool
• Claus Reinke's Bookmarks
• The Haskell Home Page
• Glasgow Haskell Compiler
• Hugs Home Page
• GranSim Home Page
• Glasgow Parallel Haskell
• Clean Home Page
• Erlang Home Page

Network links:

•  Google
•  Yahoo
•  Altavista
•  FtpSearch
•  Infoseek
•  Madrid

• IFL 2002  (some photos)
• Kevin's visit in 2001  (some photos)
• Phil's visit in 2000  (some photos)

Address:
Alberto de la Encina Vara 
Departamento de Sistemas Informáticos y Programación
Facultad de Informática
(Facultad de Ciencias Matemáticas) 
Universidad Complutense de Madrid
Avda. Complutense s/n
28040 Madrid
Spain

Tf: +34 91 3944311