José Miguel Rivero Almeida
Member of the Programming
Group of the Department of
Software,
Technical University of
Catalonia, in Barcelona.
(Secció
de Programació, Departament de Ciències de la
Computaciò (Computer Science),
Universitat Politècnica de Catalunya).
Teaching at the Faculty of Computer
Science
of Barcelona
(Facultat d'Informàtica de Barcelona).
Technical University of Catalonia, Dept. CS
Building Omega, Room 110
Jordi Girona 1-3, E-08034 Barcelona, Spain.
e-mail: rivero
"at(antispam!)" cs ".dot" upc ".dot" edu
Phone: +34 93 413 79 51
Fax: +34 93 413 77 86
Teaching:
My main areas
of
interest
are related to
logic in computer science andimplementation of
logics:
- Automated Deduction:
- Data structures and algorithms for
automated
deduction
- Heuristics for automated theorem proving
- Rewriting
- Symbolic Constraint Solving
- Ordering constraints
- Equality cnstraints, E-unification
Main publications
(the newer ones are on-line).
Here is my PhD.
Thesis (June
1st 2000).
Construction
of Computational Logics II (CCL-II) is a EU Esprit Working Group.
Click here to
get
the test software of the paper on solved forms for path ordering
constraints.