- Departamento de Ciência Da Computação [Rio de Janeiro]
- Department of Computer Science
- Department of Computer Science [Auckland]
- Department of Computer Science [Verona]
- Department of Computer Science and Engineering
- Department of Computer Science and Engineering [Göteborg]
- Department of Computer Science and Engineering [New Delhi]
- Department of Formal Methods
- Department of Informatics [King's College London]
- Department of Informatics [Sussex]
- Department of Mathematics
- Department of Mathematics and Computer Science
- 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
- Dipartimento di Informatica
- Dipartimento di Matematica e Informatica
- Dipartimento di Sistemi e Informatica
- Dipartimento di informatica
- Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science