La programación de sistemas estudia la teoría de máquinas y su aplicación en el diseño de sistemas digitales y de arquitectura de computadoras, incluyendo sistemas digitales para arquitecturas paralelas, control de procesos y sistemas reconfigurables, así como lenguajes de programación.