[Masterlibre-list] UPM: data for Manuel Carro

[Manuel Carro]

There are common parts (marked with [*]) shared with the data provided
by Joaquín Seoane; I do not know if you have to repeat it or not.
Remarks start with '---->'.

i)

 Participating institution No 2

 Full legal name of the institution in the national language

[*] Universidad Politécnica de Madrid


 Acronym of the institution, if applicable

[*] UPM

 Erasmus ID code, for Higher Education Institutions only, if available

[*] E MADRID05

 Full name of the Institution in English, if possible

[*] Technical University of Madrid

 Department/Unit

 Departamento de Lenguajes y Sistemas
 Facultad de Informática

 Type of institution code

[*] EDU.4

 Country code

[*] ES

 Town / City

[*] Madrid

 Region code

[*] ES3

 Contact person    [----> I do not think I can be the contact person
                    for legal matters; I am anyway adding my personal data]
 Function:       Male (X) 
 Family Name:   Carro  First Name: Manuel

 Phone (including country and area code)
 +34-91 3367455

 Fax
 +34-91 3366595

 E-mail
 address@hidden

 Website

 http://www.upm.es

 Is the institution able to recover VAT?

 No


ii) CV

-  Breve CV:

Manuel Carro got his PhD in Computer Science from the Technical
University of Madrid, where he is currently assistant professor.  He
as focused his researchwork on logic and constraint programming,
specifically in the areas of design and implementation abstract
machines for sequential and parallel systems, optimizaing compilation,
debugging, visualization, and concurrency in logic programming.  He is
one of the key architects of the Ciao Prolog systems, which stands out
as being one of the most flexible and extensible presently available,
while retaining very competitive performance and has been downloaded
by thousands of programmers worldwide.  Ciao Prolog is an Open Source
product.  He as highly interested in Open Source Software, its use for
building and deploying real systems, and its deep implications in the
research model of Computer Science and Mathematics.  He is currently
the key researcher of an EU-sponsored project studying semi-formal
approaches to the selection of OSS components.  He has also
participated in more than 12 international and 5 national research
projects so far, published a good number of papers in international
journals, conferences, and workshops, and served as PC member and
organizer in a good number of international conferences.
    
        MCL

________________________________________________________________
[...] put Windows back into its place as an overpriced Nintendo.