Covers the fundamentals of control and field level devices in industrial automation, including PLCs, programming, different types of controllers, and advanced control strategies.
Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.