• architektura výpočetních systémů
• teorie informace
• softwarové inženýrství
• kybernetika
• sémantika programovacích jazyků
• výpočetní metodologie
• formální jazyky
• teorie programů
• automaty
• teorie dat
• formální gramatiky
• matematická lingvistika
• teorie algoritmů
• webové inženýrství
• bioinformatika