Projects and events

PROJECTS

Here are projects in which I am and I have been involved:

  • ReSCUE: COMPOSICIÓN de Software Fiable en Entornos Ubiquos. FEDER (FONDO EUROPEO DE DESARROLLO REGIONAL); MINISTERIO ESPAÑOL DE EDUCACIÓN Y CIENCIA.
  • SELF: Formalismos Ágiles en Ingeniería del Software. MINISTERIO ESPAÑOL DE EDUCACIÓN Y CIENCIA.
  • CAReSS: Construcción y Adaptación de Servicios Software Fiables. MINISTERIO ESPAÑOL DE EDUCACIÓN Y CIENCIA.

EVENTS

Here are the events in which I have paticipated in a way or another:

  • Local organizer of FACS'08 and FLACOS'11 workshops
  • Attendee as a PhD student at summer school SFM'09:WS and IFM'10 conference
  • Reviewer of international conferences and workshop papers for TAV-WEB’10, FOCLASA’10, WS-FM’10, ECOWS’10, ICWS’11, CSSE’11, FMICS’11, ECOWS’11, FOCLASA’11, FLACOS’11, FACS’11, TASE’12, COORDINATION’12, FMICS'12, and FACS'12
  • Reviewer of international journal papers for ToPNoC’11, CAI’11, JSS’11 and TSC'12
  • Visiting scholar at INRIA-Rhone Alpes. France. January--Abril 2010
  • Attendee as a PhD student and speaker at summer school VTSA'10
  • Visiting scholar at INRIA-Rhone Alpes. France. October 2010
  • Visiting scholar at the University of California at Santa Barbara. USA. December 2010 - March 2011
  • Visiting scholar at INRIA-Rhone Alpes. France. June 2011
  • Visiting scholar at INRIA-Rhone Alpes. France. November 2011
  • Invited researcher at INRIA-Rhone Alpes. France. June 2012
  • More important participations are coming soon!