People

Jorge Adriano Branco Aires

Address

Departamento de Matemática
Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Apartado 3008
3001-454 Coimbra

Email

Home Page

http://www.mat.uc.pt/docentes/jadrian.html

Member

Cognitive and Media Systems

Research interests

Automated theorem proving
Algebraic Programming
Logics
Specification and Verification
Artificial Inteligence

MSc Theses