Rodriguez Ismael

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 Spain

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