🐯 First-Year Grad Fall
← 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 |