Teaching

• CIS 548: Operating Systems Design and Implementation – Spring 2020, Spring 2019, Spring 2018, Spring 2017. (Latest course and instructor evaluations: 3.5/4 and 3.6/4)
• CIT 595 Online Computer Systems Programming – Summer 2020, Spring 2020, Fall 2019. (Latest course and instructor evaluations: 3.3/4 and 3.1/4)
• CIS 380 Operating Systems – Fall 2020, Fall 2019, Fall 2018, Fall 2017, Fall 2016, Fall 2013, Fall 2012, Fall 2011 (Latest course and instructor evaluations: 3.3/4 and 3.5/4)
• CIS 505 Software Systems – Spring 2016, Spring 2015, Spring 2011, Spring 2009, Spring 2008. (Latest course and instructor evaluations: 2.9/4 and 3.0/4)
• CIS 553 / TCOM 512 Networked Systems – Spring 2013, Spring 2012, Fall 2010, Fall 2009, Fall 2008, Fall 2007 (Latest course and instructor evaluations: 3.1/4 and 3.2/4)
• Special Topic: Managing Software-defined Infrastructures – Summer 2017 (National University of Singapore).
• Special Topic: Software-defined Data Centers – July 2016 (National University of Singapore)
• CIS 800 Special Topic: Software-defined Data Centers – Fall 2015
• CIS 800/003 Rigorous Internet Protocol Engineering – Fall 2011
• CS 598D: Formal Methods in Networking – Spring 2010 (Princeton)
• CIS 700/005 Special Topics: Networking meets Databases – Spring 2007