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 4137814
Fax:  +34 93 413 77 86


Teaching:

Informàtica (EEBE)

Compiladors



 My main areas of interest are related to
logic in computer science andimplementation of logics:

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.