- Department of Computer Science
- Department of Computer Science [Auckland]
- Department of Mathematics
- Department of Medical Informatics
- Design, study and implementation of languages for proofs and programs
- Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
- Dip. di Informatica