Núñez Manuel

Referee for:	D.2.5, D.3.1, F.3.1, F.4.3
Institution:	Universidad Complutense de Madrid
Address:	Dep. Sistemas Informáticos y Computación Universidad Complutense de Madrid C/ Prof. José García Santesmases, s/n. 28040 Madrid Spain
Home Page:	http://kimba.mat.ucm.es/~manolo/

Curriculum Vitae:

Manuel Núñez received a Ph.D. in Mathematics/Computer Science in 1996 and an MS degree in Economics in 2002, in both cases from Universidad Complutense de Madrid, Spain. Since 1997, he is an associate professor in the Computer Systems and Computation Department at the same university. He has published more than 90 papers in refereed journals and international venues. He regularly serves in the Program Committee of conferences such as Forte and TestCom, being the co-chair of Forte 2004 and FATES 2006, among others.

Main Research Interests:

formal methods for the description and analysis of concurrent and distributed systems
formal notions of testing (model-based testing)
application of economic theory to computer science