Alvaro del Val Profesor Titular de Universidad Departamento de Ingeniería Informática Escuela Politécnica Superior, B-336 Universidad Autónoma de Madrid 28049 Madrid, Spain. alvaro.delval@uam.es Tel: 34-91-4972231. Fax: 34-914972235

Interested in AI? Contact me about research opportunities

¿Estás interesado en la Inteligencia Artificial? Pregunta por oportunidades de investigación

• Brief bio
• Research: Research group and projects ; descriptions of research, March 2000 and earlier
• Professional service
• Available papers by topic , by date , or bibtex .
• Cursos (en español)
  • Metodología y tecnología de la programación II (MTP2)
  • Estructuras de datos y la información II (EDI2)
  • Cursos de años anteriores
• Related sites: Departamento de Ingeniería Informática (Computer Science Department) , Universidad Autónoma de Madrid , Computer Science Dept. at Stanford University, AAAI, American Association for Artificial Intelligence
• Research and teaching resources (bibliographies, electronic journals, organizations and conferences, tematic archives on AI topics).

Education: Ph.D. Stanford University (1993); M. Phil. University of St. Andrews (Scotland, 1987); Licenciado, Universidad Autonóma de Madrid (1986).

Other positions held: Postdoctoral Fellow, Computer Science Department, Stanford University, 1993-94. Member of the MultiAgent Research Group (previously known as "Nobotics"), Computer Science Department, Stanford University, 1991-94. Research or Teaching Assistant, various periods, Stanford University, 1990-93. Research staff for the CyC project on large knowledge bases at MCC (Microcomputers and Computer Technology Corporation) Austin, Texas, 1990. Research staff at Andersen Consulting, Artificial Intelligence Group, Madrid, 1989.

• Member (2000-2005) of the Editorial Board of AI Communications, The European Journal on Artificial Intelligence, closely associated with ECCAI, the European Coordinating Comittee for Artificial Inteligence.
• Member of the Program Committee of SAT-2005, Eighth International Conference on Theory and Applications of Satisfiability Testing, 2005.
• Member of the Program Committee of TTIA'2005 , VI Jornadas de Transferencia Tecnológica de Inteligencia Artificial, held in conjuntion with CAEPIA'2005, Conference of the Spanish Association of Artificial Intelligence (AEPIA).
• Member of the Program Committee of IJCAI'03, 18th International Joint Conference on Artificial Intelligence, 2003.
• Member of the Program Committee of STAIRS'2004 and STAIRS'2002 , STarting Artificial Intelligence Researchers Symposium, held in conjunction with ECAI, the European Conference on Artificial Intellligence.
• Member of the Program Committee of ECAI'98 13th European Conference on Artificial Intelligence, 1998.
• Member of the Program Committee of IBERAMIA'94, IBERAMIA,'98, IBERAMIA'2000, Iberoamerican Conference on Artificial Intelligence ( IBERAMIA ).
• Member of the Program Committee of CAEPIA'2001, CAEPIA'2003, CAEPIA'2005, CAEPIA'2009, Conferencia de la Asociación Española de Inteligencia Artificial (AEPIA).
• Anonymous referee for the journals Journal of the ACM, Artificial Intelligence, Journal of Artificial Intelligence Research, ACM Transactions on Computational Logic, Journal of Logic and Computation, Journal of the Interest Group in Propositional Logic, IEEE Transactions on Data and Knowledge Engineering, and numerous international conferences.
• Member of the Program Committee of the following workshops: IKOMAT'2002 (First International Workshop on Intelligent Knowledge Management Techniques, held in conjunction with KES'2002, Sixth International Conference on Knowledge-Based Intelligent Information and Engineering Systems), TARRAT'99 (Workshop on Temporal Reasoning, held in conjunction with CAEPIA'99), Advances in Propositional Deduction 1996 (held in conjunction with ECAI'96, Twelfth European Conference on Artificial Intelligence.