Computer Science and Engineering
CSE280O 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
O. Arden, L. Kuper