• Research
  • Areas
  • Publications
  • Papers in DBLP
  • Projects
  • Tools
• Activities
• Program Committees
• Organization of Events
• Teaching
  • Ingeniería de Protocolos
  • Laboratorio de Software de Comunicaciones
  • Software de Comunicaciones
  • Métodos para la Construcción de Software Fiable

• Relevant activities
  • Chair of FMICS WG
  • Member of ERCIM EXECOM

Research Areas

• Formal Methods and Protocol Engineering
• Mobile Internet

This website is under construction