← Senior Spring | First-Year Grad Spring →

Course Description
Information Security
COS 432
Security issues in computing, communications & electronic commerce. Goals & vulnerabilities; legal & ethical issues; basic cryptology; private & authenticated communication; electronic commerce; software security; viruses & other malicious code; operating system protection; trusted systems design; network security; firewalls; policy, administration & procedures; auditing; physical security; disaster recovery; reliability; content protection; privacy
Programming Languages
COS 510
Logic & formal reasoning about software, treating programs & programming languages as mathematical objects about which precise claims can be made. Basic concepts & techniques such as operational semantics & axiomatic semantics for specifying programming languages; structure, definition and properties of type systems; invariants & assertions for specifying programs. Use of automated tools such as interactive proof assistants, model checkers, and/or satisfiability-modulo-theories solvers
Advanced Operating Systems
COS 518
Survey of operating systems covering: early systems, virtual memory, protection, synchronization, process management, scheduling, input/output, file systems, virtual machines, performance analysis, software engineering, user interfaces, distributed systems, networks, current operating systems, case studies. Survey of research papers from classic literature through contemporary research

← Senior Spring | First-Year Grad Spring →