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

Manuel Núñez

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
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