Browse our site
Browse member's work
Ph. D. Dissertations
M. Sc. Dissertations
You are here:
is Professor at the Department of Mathematics of the New University of Lisbon.
He studied Mathematics, Philosophy, and Computer Science at the University of Göttingen, the ETH Zürich, and the University of Munich where he was graduated in 1993. He received his Ph.D. form the University of Berne in 1997 and worked afterwards at the Universities of Tübingen and Munich and the New University of Lisbon. From 2003-2008 he was Professor at the Department of Mathematics at the University of Coimbra. In 2007 he finished his Habilitation in Computer Science at the Faculty of Information and Cognition Sciences of the University of Tübingen and in 2009 the Agregação (Portuguese Habilitation) in Mathematics at the Faculty of Science and Technology of the University of Coimbra.
His main research interest is mathematical logic, with applications in computer sciences. He is also interested in philosophical and historical questions of logic. He has a long standing experience in organizing scientific meetings.
Ph. D. dissertations (inc. superv.)
M. Sc. dissertations (inc. superv.)
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