Computer Science and Engineering
CSE 280O Languages, Systems, and Data Seminar
Covers current research in language-based approaches to security, distributed systems, databases, and formal verification. Students read and present papers from academic journals and conferences. (Formerly Seminar in Applied Programming Languages.)