Study of three classical formal models of computation--finite state machines, context-free grammars, and Turing machines--and the corresponding families of formal languages. Power and limitations of ...

This course prepares students to understand fundamental issues in operating systems. Students will be introduced to multi-threading, synchronization, scheduling ...