Guilherme Bittencourt

Esta página em português

Curriculum Vitae

• Graduate Degree: Electrical Engineer Escola de Engenharia - Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, RS, 1975-1979.

• Graduate Degree: Physics Instituto de Física - Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, RS, 1977-1981.

• Master Degree: Computer Science, Instituto Nacional de Pesquisas Espaciais (LAC/INPE), São José dos Campos, SP, 1982-1984. Title: Solução analítica de equações diferenciais ordinárias de primeira e segunda ordem por computador. Supervisor: Dr. Luiz Alberto Vieira Dias.

• Master Degree: Diplome d'Etudes Approfondis (DEA) en Informatique, Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle - Institut National Polytechnique de Grenoble (LIFIA (Leibniz)/INPG), Grenoble - França, 1985-1986. Title: Intégration d'Outils Graphiques dans un Logiciel de Calcul Formel. Supervisor: Prof. Dr. Jacques Calmet.

• Ph.D.: Doktor der Naturwissenschaften (Dr. Rer. Nat.), Fakultät für Informatik - Universität Karlsruhe, Karlsruhe - Alemanha, 1986-1990. Title: An Architecture for Hybrid Knowledge Representation. Supervisor: Prof. Dr. Jacques Calmet.

• Professional Activity: Professor at Departamento de Automação e Sistemas (DAS), Universidade Federal de Santa Catarina (UFSC), Florianópolis (guide, plan), SC.

• Interest areas: Knowledge Representation, Multi-agent Systems, Automatic Theorem Proving, Logic, Expert Systems, Soft Computing.

Professional Informations

Curriculum Vitae: HTML, Postscript file, PDF file.

Teaching

Research

Other activities

Publication list

Public files

Directory <~gb/files>

Personal Informations

Personal Infos