Felipe Gorostiaga
Computer Science student

About me

I'm a postdoctoral researcher at the Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute), Spain. I work under the supervision of César Sánchez. I obtained a Master in Software and Systems at the Universidad Politécnica de Madrid (UPM), Spain. I previously obtained a degree in Computer Science at the Universidad Nacional de Rosario, Argentina.

Curriculum Vitæ

Here you can download the most updated version of my cv.

Research Interests

I'm interested in Formal Methods and Software Engineering in general, and in particular:

  • Formal Program Verification
  • Runtime Verification
  • Stream Runtime Verification



My picture

Contact Information

Felipe Gorostiaga
IMDEA Software Institute
Campus de Montegancedo S/N
28223 Pozuelo de Alarcón, Madrid

first 'dot' last 'at' imdea 'dot' org

Design shamelessly stolen from Julián Samborski-Forlese's homepage.