COS 510: Programming Languages

This advanced course is for graduate students and advanced undergraduates
with a keen interest in programming language semantics and applications such as
security. The only requirement for the course is a considerable degree of mathematical
maturity including, for instance, familiarity with proof techniques such as
induction.