| Disziplin | Anwendung in der Informatik |
| Algebra | Effizienz von Algorithmen, Komplexitätstheorie |
| Numerik | Optimierung, Approximation |
| Zahlentheorie | Kryptographie |
| Graphentheorie | Komplexitätstheorie, Netzwerktheorie |
| Typentheorie | type checking Algorithmen, Semantik Natürlicher Sprachen |
| Kategorientheorie | Funktionale Programmierung, Domaintheorie, Graphgrammatiken |
| Spieltheorie | Entscheidbarkeit |