Foundations of cryptography
foundations of functional and logic programming
Information about older courses can be found on our former server.