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
