Computer engineering 
Algorithmic information theory 
Computability theory 
Cryptography 
Formal semantics 
Theory of computation 
Analysis of algorithms and problem complexity 
Logics and meanings of programs 
Mathematical logic and formal languages 
Control structures and microprogramming 
Arithmetic and logic structures 
Memory structures 
Input/output and data communications 
Logic design 
Integrated circuits 
VLSI design 
Performance and reliability 
Computer systems organization: 
Computer architecture 
Computer networks 
Distributed computing 
Performance of systems 
Computer system implementation 
Symbolic and algebraic manipulation 
Artificial intelligence 
Computer graphics