About the Group
Areas of Interest
- Formal Methods
- Computational Logic
- Cryptography
- Functional Programming
Academic Liasons
- IST (PT) Logic and Computation Group
- École Polytechnique (FR) LICS
- INRIA (FR) Sophia Antipolis
- Roskilde (DK) Department of Computer Science
- University of Bristol (UK)
Department of Engineering Mathematics
- FME Formal Methods Europe
- South Bank University (UK)
Department of Computer Science
- Syracuse University (USA)
?
Industrial Liasons
- Sidereus (PT)
- NovaBase (PT)
- SIBS (PT)
- Nomos Sistema (IT)
- IFAD (DK)
- WordClass (USA)