Computer Science and Engineering
CSE 280O Seminar in Applied Programming Languages
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.