Alberto de la Encina Vara

2006.

Soy un profesor Departamento de Sistemas Informáticos y Computación de la Universidad Complutense de Madrid

Investigación
Soy miembro del Grupo de Programación Funcional  asi como del proyecto Eden. Estoy interesadillo en los Lenguajes Funcionales, y en particular en los Lenguajes Funcionales Paralelos.

Mis supervisores de la tesis fuerón Luis Llana y Fernando Rubio.

Páginas web que se encontraban en 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

Links

Algunos links interesantes en el Análisis de Programas son:

• 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

Links generales sobre Programación Funcional:

• 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

Links interesantes:

•  Google
•  Yahoo
•  Altavista
•  FtpSearch
•  Infoseek
•  Plano de Madrid
•  Manuales básicos. 'Aprenda ... como si esuviera en primero' (muy buenos :D)

Compraventa de un vehículo.

En la página http://kimba.mat.ucm.es/~albertoe/contrato/compraventa.html podeís encontrar unas pequeñas indicaciones acerca de la compra venta de vehículos entre particulares, basadas en mi experiencia.

Photos

• Campamento, 2006 y 2007  (algunas fotos)
• IFL 2002  (algunas fotos)
• La visita de Kevin, 2001  (algunas fotos)
• La visita de Phil, 2000  (algunas fotos)

Dirección:
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