Computer Science and EngineeringCSE 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.

Requirements

Enrollment is restricted to graduate students, or by permission of the instructor.

Credits

2

Quarter offered

Fall, Winter, Spring

Instructor

O. Arden, L. Kuper

Repeatable for credit

Yes