Teaching
Information on and websites for a selection of courses I have taught or held a guest lecture for are available below. Classes have been taught at uni.lu, unless otherwise indidcated.
- Algorithmic Algebra and Number Theory taught by Laura Ciobanu at the University of Fribourg. I've held a guest lecture on Cryptography.
- Formal Languages course taught by Sjouke Mauw, assisted by me in 2008 and 2009.
- Verification of Security Protocols in 2007 and 2008.
- Introduction to Security. I've held guest lectures on Email & Web security, Digital Forensics in 2007 and 2008.
- Mathematical Theory of Probability taught at Rutgers University in 2005.
- Theory of Numbers taught at Rutgers University in 2004 and in 2003.