COT 5507: Analytic Methods in Computer Science: A Foundation for Computer Science (Spring 2012) COT 5715/CIS 4930: Random Number Generation (Spring 2012) COT 4420: Theory of Computation (Spring 2012) COP 4531: Complexity and Analysis of Algorithms and Data Structures (Fall 2011) ISC 5932/CIS 4930-5930/MAP 5932: Monte Carlo Methods (Summer B 2011) COT 5507: Analytic Methods in Computer Science: A Foundation for Computer Science (Spring 2011) CIS 5371: Cryptography (Fall 2010) COP 4531: Complexity and Analysis of Algorithms and Data Structures (Fall 2010) WE246: Random Number Generation (WEP 2010) COT 5507: Analytic Methods in Computer Science: A Foundation for Computer Science (Spring 2010) COP 4531: Complexity and Analysis of Algorithms and Data Structures (Fall 2009) COT 4420: Theory of Computation (Fall 2008) 401-3469-00 & 401-3470-00: Advanced Monte Carlo Methods I & II (Winter- and Sommersemesters 2005-6 at ETH-Zürich)