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.
Quarter offered
Fall, Winter, Spring
Instructor
Owen Arden, Lindsey Kuper