Teaching assistance

Current

–

Previous

• Cryptography - Autumn 2013 and 2014
• Functional programming - Autumn 2013 and 2014
• Logic in computer science - Autumn 2012 and 2013
• Introduction to functional programming - Autumn 2008, 2009, 2010, 2011, 2012 and 2013
• Artificial intelligence - Spring 2011, 2012 and 2013
• Mathematical modeling and problem solving - Spring 2011, 2012 and 2013
• Programming language technology - Spring 2009
• Computer system engineering - Spring 2008
• Linear algebra (supplemental instructor at the computer engineering program at Chalmers) - Autumn 2008
• Calculus (supplemental instructor at the computer engineering program at Chalmers) - Spring 2007 and 2008

Bachelor thesis supervision

• Formalization of Algorithms and Mathematical Proofs - Jesper Andersson, Åsa Lideström, Daniel Oom, Anders Sjöberg and Niclas Ståhl implemented and formally verified an implementation of the Took-Cook algorithm for efficient polynomial multiplication using Coq and SSReflect.