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