Go home now Header Background Image
Submission Procedure
share: |
Follow us

Ismael Rodriguez

Referee for: D.1.1, D.1.3, D.2.4, D.2.5, D.3.1, F.3.1, F.3.2, F.4.3
Institution: Universidad Complutense Madrid
Address: Universidad Complutense de Madrid
28040 Madrid

Curriculum Vitae:

Ismael Rodríguez received his Ph.D. in Computer Science from Universidad Complutense de Madrid, Spain, in 2004, receiving the Best Thesis Award in the Computer Science School. Since 2007, he is an associate professor in the Computer Systems and Computation Department at the same university. He has published more than 60 papers including journal publications (e.g., J.UCS, STVR, SCP, TCS, IEEE TSMC, JLAP, IEEE Tran. on Comp., Comp. Net., etc) and refereed conference papers (e.g., FORTE, TestCom, ATVA, AMAST, etc). He has been PC member of several conferences (e.g. SAC, SITIS, TheFormEMC, AMOST, AC) and he frequently reviews papers for other conferences and journals. His research interests include (but are not restricted to) formal methods, testing techniques, economics in computer science, and e-commerce.

Main Research Interests:

  • formal testing methodologies
  • application of economic concepts in computer science
  • process algebra
  • formal methods