Teaching

Autumn 2023/24

• Functional Programming 1

Autumn 2022/23

• Functional Programming 1

Spring 2022

• Cryptology

Autumn 2021/22

• Interactive Theorem Proving (PhD course)
• Functional Programming 1

Autumn 2020/21

• Functional Programming 1

Spring 2020

• Cryptology

Autumn 2019/20

• Program Design and Data Structures (Part 1) (with Johannes Borgström)
• Functional Programming 1

Spring 2019

• Program Design and Data Structures (Part 2) (with Johannes Borgström)
• Cryptology

Autumn 2018/19

• Program Design and Data Structures (Part 1) (with Johannes Borgström)
• Language Abstractions for Concurrent and Parallel Programming (with Dave Clarke)
• Functional Programming 1

Spring 2017

• Program Design and Data Structures (Part 2) (with Alexandra Jimborean)
• Cryptology
• Interactive Theorem Proving (PhD course)

Autumn 2016/17

• Program Design and Data Structures (Part 1) (with Alexandra Jimborean)
• Language Abstractions for Concurrent and Parallel Programming
• Functional Programming 1

Spring 2016

• Program Design and Data Structures (Part 2) (with Dave Clarke)
• Cryptology

Autumn 2015/16

• Program Design and Data Structures (Part 1) (with Dave Clarke)
• Language Abstractions for Concurrent and Parallel Programming
• Functional Programming 1

Spring 2015

• Program Design and Data Structures (Part 2) (with Dave Clarke)
• Cryptology

Autumn 2014/15

• Program Design and Data Structures (Part 1) (with Dave Clarke)
• Language Abstractions for Concurrent and Parallel Programming
• Functional Programming 1

Spring 2014

• Program Design and Data Structures (Part 2) (with Dave Clarke)
• Cryptology

Autumn 2013/14

• Program Design and Data Structures (Part 1) (with Dave Clarke)
• Functional Programming 1

Spring 2013

• Cryptology

Autumn 2012/13

• Functional Programming 1

Spring 2012

• Cryptology
• Secure Computer Systems I (with Aletta Nylén)

Easter Term 2011

• Interactive Formal Verification (MPhil ACS, University of Cambridge)

Easter Term 2010

• Artificial Intelligence I (Dr. Sean Holden, University of Cambridge)

Lent Term 2010

• Specification and Verification I (Prof. Mike Gordon, University of Cambridge)
• Specification and Verification II (Prof. Mike Gordon, University of Cambridge)
• Concepts in Programming Languages (Dr. Marcelo Fiore, University of Cambridge)

Michaelmas Term 2009/10

• Logic and Proof (Prof. Larry Paulson, University of Cambridge)

Lent Term 2009

• Specification and Verification I (Prof. Mike Gordon, University of Cambridge)
• Specification and Verification II (Prof. Mike Gordon, University of Cambridge)

Winter 2006/07

• Automated Theorem Proving in Isabelle/HOL (Prof. Clemens Ballarin, University of Innsbruck)

Summer 2006

• Praktikum Spezifikation und Verifikation (Prof. Tobias Nipkow, TU München)

Summer 2005

• Praktikum Spezifikation und Verifikation (Prof. Tobias Nipkow, TU München)
• Proseminar Mathematische und logische Perlen der Informatik (Prof. Tobias Nipkow, TU München)

Winter 2004/05

• Proseminar Mathematische und logische Perlen der Informatik (Prof. Tobias Nipkow, TU München)

Summer 2004

• Praktikum Spezifikation und Verifikation (Prof. Tobias Nipkow, TU München)

Winter 2003/04

• Praktikum Spezifikation und Verifikation (Prof. Tobias Nipkow, TU München)

Summer 2003

• Praktikum Spezifikation und Verifikation (Prof. Tobias Nipkow, TU München)

Spring 2002

• Computer Information Systems (University of Wyoming)
• C with Numerical Methods (University of Wyoming)

Autumn 2001

• Computer Science 1 (University of Wyoming)
• Computer Organization (University of Wyoming)
• Discrete Structures (University of Wyoming)