Curriculum Vitae
Susana Muñoz Hernández
Surname: Muñoz Hernández
First name: Susana
Date of birth: 12/23th/1972
Place of birth: Madrid
E-mail address: susana@fi.upm.es
Mobile phone: 646-46-52-67
Work phone: (91) 336-74-55
- PhD Thesis Defence at the Languages, Systems and Software
Engineering Department (D.L.S.I.I.S.), Computer Science School (F.I.),
Technical University of Madrid (U.P.M.) (Cum Laudem, July 2003).
- PhD Courses at the Artifitial Intelligence Department
(D.I.A.), Computer Science School (F.I.), Technical University of Madrid
(U.P.M.) (1997-1998 & 1998-1999).
- Constraint Logic Programming Summer School of New Mexico
State University, U.S.A. (1999).
- Degree in Computer Science by the Computer Science
School of the U.P.M. (1990-1996). Honour degree for the Masther thesis
(1997). (Percentil 12%).
- Bachellor degree by the Felipe II High School of Madrid
(1986-1990).
- UNION FENOSA INGENIERÍA: Design, development
and implementation (in Visual FOX PRO) of RCMTool for the RCM analysis
of hydroelectric, nuclear and thermal power stations (1998-2000).
- ESPRIT COMPULOG: Initial implementation of a WWW interface
for a static database (1998-1999).
- MAPFRE Bank: One year and a half in the S.I.E.R.RA. proyect
for the evaluation of bank risks (in Visual FOX-PRO on ORACLE
database ) (1997-1998). Courses of C, C++, Object Oriented programming,
COBOL, SQL, PL-SQL, etc.
- U.P.M. grant: Colaboration in a WWW proyecto for the
L.S.I.I.S. department of the F.I. (1996).
- D.L.S.I.I.S grant: Colaboration in DBASE III PLUS for
the management and administration of the D.L.S.I.I.S. library of the F.I.
(1995).
Assistant professor of the F.I. of the U.P.M. teaching the following
subjects:
- Development of some works in the area of Logic Programming
for the subject of Computer Sciense Systems of the 5th course of
the Plan 96 of the Computer Science degree (2001-2003).
- Programming Methodology of the 1st course of the Plan
96 of the Computer Science degree. Using Hope and Modula-2 (1998-1999);
and Haskell and Ada (1999-2003).
- Functional Programming with Haskell in the course Functional,
Logic and Constraint Programming in the Athens Program of European
cooperation (1999).
- Functional Programming with CAML in the subject Programming
II of the 3th course of the Plan 83 of the Computer Science degree
(1997-1998).
- SOFIA CICYT Proyect TIC2000-1632: proyect ``SOFIA:
Software Fiable de Alta Calidad'' about hight qualitity software (2000-2002).
- "Herramientas metodológicas e instrumentales para
la enseñanza de la Programación" CICYT Proyect:
about methodologic tools for the programming teaching (1999-2000).
- ELLA CICYT Proyect TIC96-1012-C02-01: proyect ``ELLA:
Extensiones de los Lenguajes Lógicos para Aplicaciones Avanzadas
y en red'' about extensions of Logic Languages for advanzed applications
and network applications (1996-1999).
- L.S.I.I.S. department: collaboration with the department
of "Lenguajes y Sistemas Informáticos e Ingeniería del Software"
(D.L.S.I.I.S.) (1993-1996).
- Participation in the ESSES (PhD. Student Meeting) at
the "International Static Analysis Symposium" en Madrid (2002)
.
- AGP'2003 (Joint Conference on Declarative Programming
APPIA-GULP-PRODE).
- SAS'2003 (International Static Analysis Symposium).
- LOPSTR'2003 (International Workshop on Logic Based Program
Development and Transformation).
- ICLP'2003 (International Conference in Logic Programming).
- WFLP'2003 (Workshop on Functional and Logic Programming).
- JENUI'2003 (Jornadas para la Enseñanza Universitaria
de la Informática).
- AGP'2002 (Joint Conference on Declarative Programming
APPIA-GULP-PRODE).
- JENUI'2002 (Jornadas para la Enseñanza Universitaria
de la Informática).
- ICLP'2002 (International Conference in Logic Programming).
- JENUI'2001 (Jornadas para la Enseñanza Universitaria
de la Informática).
- "Constructive Intensional Negation: A Practical Implementation"
. Susana Muñoz Hernández, Julio Mariño Caravallo
and Juan José Moreno Navarro. Workshop on Functional and Logic Programming,
WFLP'03. Ed. Germán Vidal, pp. 172-183. Valencia, España,
2003.
- "An Intelligent Agent to Implement Logic Negation" .
Susana Muñoz Hernández and Juan José Moreno Navarro.
4th Iberoamerican Workshop on Multi-Agent Systems, IBERAGENTS'02. Eds.
J. L. Pérez and J. Pavon. Malaga, España, 2002.
- "Fuzzy Prolog: A Simple General Implementation Using CLP(R)".
Claudio Vaucheret, Sergio Guadarrama and Susana Muñoz Hernández.
Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002.
Springer. Eds. M. Baaz and A. Voronkov. LNAI 2514, pp. 450-463. Tbilisi,
Georgia, 14-19 of October of 2002.
- "Combining Crisp and Fuzzy Logic in a Prolog Compiler".
Susana Muñoz Hernández, Sergio Guadarrama and Claudio Vaucheret.
Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002. Eds.
J.J. Moreno y J. Mariño, pp. 23-38. Madrid, España, 16-20
of September of 2002.
- "Constructive Negation for Prolog: A Real Implementation".
Susana Muñoz Hernández and Juan José Moreno. Joint
Conference on Declarative Programming: APPIA-GULP-PRODE 2002. Eds. J.J.
Moreno and J. Mariño, pp. 39-52. Madrid, España,
16-20 of September of 2002.
- "Fuzzy Prolog: A Simple General Implementation Using CLP(R)".
Claudio Vaucheret, Sergio Guadarrama and Susana Muñoz Hernández.
International Conference in Logic Programming, ICLP 2002. Springer. Ed.
P.J. Stuckey. LNCS 2401, pp. 469. Copenague, Danmark, del 29 of July
to the 1st of August of 2002.
- ``Efficient Negation Using Abstract Interpretation''.
Susana Muñoz Hernández, Juan José Moreno Navarro and
Manuel Hermenegildo Salinas. Logic for Programming, Artificial Intelligence
and Reasoning, LPAR 2001. Eds.R.Nieuwenhuis and A. Voronkov. LNAI 2250,
pp. 485-494. La Habana, Cuba. 3-7 of december of 2001.
- "Fuzzy Prolog: A Simple Implementation Using CLP(R)".
Claudio Vaucheret, Sergio Guadarrama and Susana Muñoz Hernández.
Constraint and Uncertainty Workshop CUW in CP'2002. Paphos, Cyprus, 26 of
November to the 1st of December of 2001.
- ``Efficient Negation Using Abstract Interpretation''. Susana
Muñoz Hernández, Juan José Moreno Navarro and Manuel
Hermenegildo Salinas. Joint Conference on Declarative Programming APPIA-GULP-PRODE'00.
La Habana, Cuba. 4-7 of December of 2000.
- ``Abstract Solution Design by Specification Refinement''.
Jose Manuel Burgos, Javier Galve, Julio García, Juan José
Moreno, Susana Muñoz Hernández and Dolores Villén.
The 5th Annual Conference on Innovation and Technology in Computer Science
Education. ITICSE'2000. Helsinki, Findland. 11-13 of July of 2000. Poster.
- ``How to Incorporate Negation in a Prolog Compiler''. Juan
José Moreno Navarro and Susana Muñoz Hernández. The
2nd International Workshop, PADL'2000. Practical Aspects of Declarative
Languages. LNCS 1753, pp. 124-140. Boston, USA. 17-18 of January of 2000.
- ``On the Practical Use of Negation in a Prolog Compiler''.
Juan José Moreno Navarro and Susana Muñoz Hernández.
Proceedings of Joint Conference on Declarative Programming APPIA-GULP-PRODE'98,
pp. 457-469. A Coruña, España. 20-23 of July of 1998.
- Languages: English (High Level) by the Oficial Languages
School of Madrid for all courses.
- Seminaries:
- "Research resources Management".
- "Bank Risks".
- " Management habilities and leadership over work groups".
- Programming languages: Pascal, Modula-2, C, C++,
ADA, ML, HOPE, Haskell, Prolog, SQL, FOXPRO, Visual FOXPRO, Forms y Reports(de
ORACLE), Javascript.
- Operative Systems: Unix, DOS/Windows, Linux.
- Tools: Office, Wordperfect, DBase, SQL/DS, ORACLE, Developer
2000 y Visual FOXPRO.