Research Groups:

• Computer algebra in artificial intelligence // Álgebra computacional en inteligencia artificial (ACEIA)
  Eugenio Roanes Lozano - eroanes[at]mat.ucm.es
  UCM Research Group 910563
• Formal Analysis and Design of Software Systems, FADoSS // Diseño y análisis formal de sistemas de software
  Narciso Martí Oliet - narciso[at]sip.ucm.es
  UCM Research Group 910398
• Game theory and applications // Teoría de juegos y aplicaciones
  Juan A. Tejada Cazorla
• Métodos bayesianos
  Miguel Ángel Gómez Villegas - ma_gv[at]mat.ucm.es
  UCM Research Group 910395
• Decision Aid Systems // Sistemas de ayuda a la decisión
  Javier Montero de Juan - javier_montero[at]mat.ucm.es
  UCM Research Group 910149

Research Grants:

• PROMESAS: Programa en Métodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
  Narciso Martí Oliet
  Code S-0505/TIC/0407
• DESAFÍOS: Desarrollo de software de alta calidad, distribuido, fiable y seguro
  Narciso Martí Oliet 
  Code CICYT TIN2006-15660-C02-01 (coordinated project)
• Modelos matemáticos de ayuda a la decisión para logística en intervención en desastres y
  emergencias
  Begoña Vitoriano Villanueva