Raul H.C. Lopes
Endereço, Fone, Email
Raul Henriques Cardoso Lopes
Departamento de Informática
Universidade Federal do Espírito Santo
Av Fernando Ferrari, S/N
Fone: +27 3335 2132
Fax: +27 3335 2679
email: raulh@inf.ufes.br
Formação
BSc, Msc (1991), Universidade Federal de Minas Gerais, Brasil
PhD (1998), University of Leeds, England
Áreas de interesse
Algoritmos, Lógica computacional.
- Estudos de algoritmos distribuídos para
sistemas síncronos e assíncronos, evolvendo prorpiedades
de correção e complexidade.
- Paralelização de prova de teoremas em lógica de
alta ordem.
- Implementação de soluções paralelas para
problemas de pesquisa em string e de escalonamento de processos.
Notícias