Advanced Topics in Programming Languages 2026/27

Advanced Topics in Programming Languages is a fourth year optional unit at the University of Bristol. The unit provides a grounding in the field of Programming Languages (PL), along with an insight into what it is like to be a PL researcher.

This year the first half of the unit will be based on Robert Harper’s book Practical Foundations for Programming Languages (Cambridge University Press, 2nd edition, 2016). An electronic copy of the book may be obtained through the University of Bristol library.

The second half of the unit will explore Hoare Logic, Separation Logic, Symbolic Execution and Rust.

For more information on PL research at Bristol please visit the Programming Languages group website.

Schedule

What	When	Where
Lecture	Mondays 9-10am	QUEENS BLDG 1.69
Lecture	Tuesdays 11-noon	ADA LOVELACE BLDG SM3
Problem Class	Fridays 11-noon	QUEENS BLDG 1.69

Staff

Lecturers

Cristina David	Sam Frohlich

TAs

Alex Wood	Tom Divers