# CSE280O: Seminar in Applied Programming Languages

This course covers current research in language-based approaches to security, distributed systems, databases, and formal verification. Students will read and present papers from academic journals and conferences. Enrollment is restricted to graduate students and by permission of the instructor. Enrollment restricted to graduate students. Repeatable for credit.

2 Credits

YearFallWinterSpringSummer
2019-20