Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
Browse member's work

Member summary

InformationPh.D., Philosophy, Stanford University, 2009.

Interests:
  • Formal mathematics
  • Automated reasoning
  • Mathematical logic
    • Proof theory
    • Finite model theory
    • Modal logic
  • Philosophy of mathematics
Projects
Publications
CENTRIA member

Jesse Alama
Associated member

Jesse Alama

School: UNL
Country: Portugal
email: j.alama@fct.unl.pt

Personal web page


Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT