This is my picture

(February 2007)

 

 

    Tel:  +34 91-3947628
    Fax:  +34 91-3947529
    e-mail: mn@sip.ucm.es

 

 

Manuel Núñez

Associate Professor
(Profesor Titular de Universidad)

Dep. Sistemas Informáticos y Computación
Facultad de Informática
Universidad Complutense de Madrid
C/ Prof. José García Santesmases, s/n.
28040 Madrid, Spain


Visiting Professor

(academic session 2009/2010)

 

School of Information Systems, Computing and Mathematics

Brunel University, UK

 picture1

This is also my picture (September 2004)

 

picture2

and this is also my picture (years ago!!)


Research

I'm the leader of the Testing and Performance Evaluation research group at the Universidad Complutense de Madrid. My research is circumscribed to use formal methods in different application areas. I'm working in the area of formal methods for testing complex systems. I'm also working in the use of formal methods in user modelling, with an emphasis on collective intelligence. In particular, I'm interested in the inclusion/addition/adaption of formal methods and economic concepts and systems.

I was the scientific coordinator of the Marie Curie RTN TAROT (Training And Research On Testing). The network coordinator was Ana Cavalli. As one of the network activities, I organized the 2nd Tarot Summer School in Toledo, Spain, June 2006 and the 5th Tarot Summer School in Las Navas del Marqués, Spain, July 2009.

I got the best paper award in the FORTE 2001 Conference with this paper where the language PAMR is introduced. I also got the best academic paper award in the IEES 2005 Symposium with this paper where we apply a novel testing methodology to an automotive system.

I have co-edited the following proceedings in the LNCS series:

 

The DBLP list containing most of my publications can be found here. If you are interested in any of my papers and you cannot access them, contact me.


Conferences, Workshops and Summer Schools:

I am a member of the Board of Directors of the Tarot Summer School on Software Testing (the other two members are Ana Cavalli and Rob Hierons). The next three editions of the Summer School will take place at:

I am a member of the A-MOST Steering Committee. The next A-MOST workshop will be collocated with ICST 2010. The previous meetings were:

I'm a member of the Editorial Boards of the Transactions on Computational Collective Intelligence and of the Journal of Universal Computer Science, and a member of the Review Board of the International Journal of Information Technology and Web Engineering.

During 2010 I'm involved in the following events:

Previously, I was involved in these events (by year: 2009, 2008, 2007, 2006, 2005, 2004 and before).


Current Ph.D. Students

 

Former Ph.D. Students:

 

 

Go to the top

Teaching

I will be teaching the following courses during the Fall semester of the 2009-2010 academic year (information in Spanish):

 



Go to the top

Last modified: December 21, 2009