Jesse Alama - Member


Browse our site About People Members Effective Associated Other Visitors Research Areas Projects Publications Events Seminars News Browse member's work Summary Projects Ongoing Completed Publications Book chapters Journal articles In proceedings Ph. D. Dissertations M. Sc. Dissertations	You are here: Home People Members Associated Jesse Alama 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 Ongoing projects: 1 Completed projects: 1 Publications Written books: 0 Book editions: 0 Book chapters: 1 Journal articles: 2 Inproceedings: 13 Ph. D. dissertations (inc. superv.): 1 M. Sc. dissertations (inc. superv.): 1 Technical reports: 0	CENTRIA member Jesse Alama Associated member School: UNL Country: Portugal email: j.alama@fct.unl.pt Personal web page
Departamento de Informática, FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Member summary