Alfio
Martini
PhD in Computer Science from Technical University of Berlin
Research Interests
My current research interests include applications of
category theory and logic to computer science, especially:
- Logical Systems and their Relations
- Applications of Formal Methods
in Computer Science
- Category Theory and
Logic
- Category Theory and Computer Science
- Interactive Theorem Proving
Alfio Martini
Pontificia Universidade Catolica do Rio Grande do Sul (PUCRS)
Faculdade
de Informática
Av.
Ipiranga, 6681, Predio 32,
Porto
Alegre - RS CEP: 90619-900
Tel: +55 (051) 3320-3558 (8707)
Fax:
+55 (051) 3320-3758
e-mail: alfio.martini
at pucrs.br