Vítor Santos Costa's Home Page

Hi! I am a lecturer in Computer Science at COPPE/Sistemas, Universidade Federal do Rio de Janeiro.


Ensino (em português)


Research (under construction)

My main research area is Logic Programming. Have a look at Jonathan Bowen's WWW page on Logic Programming at Oxford for general info on this area.

My work started with the Yap Prolog system, which I still use and I am currently maintaining. The current version is 4.1, it is freely available, we do try to fix bugs, so do have a look at the home page or at the copy here.

Most of my research in logic programming has concentrated on parallelism, and was performed at LIACC, while lecturing at the Department of Computing, Faculty Of Sciences of the Universidade do Porto. Here is an overview of some recent work:


Personal Interests

In the little time that I have left, these are some of the pages I access often:


Vítor Santos Costa ( vitor@cos.ufrj.br)

Universidade Federal do Rio de Janeiro
COPPE/Sistemas
Centro de Tecnologia, Bloco H-319
Cx. Postal 68511
Rio de Janeiro, Brasil
CEP: 21945-970

[+55 21 2562-8648 (voice), +55 21 2562-8676 (fax)]