Teaching

• CIS 548: Operating Systems Design and Implementation – Spring 2021, 2020, 2019, 2018, 2017. (Latest course and instructor evaluations: 3.6/4 and 3.7/4 with enrollment of 155)
• CIT 595 Online Computer Systems Programming – Fall 2020, 2019; Summer 2021, 2020; Spring 2020, 2021. (Latest course and instructor evaluations: 2.8/4 and 3.2/4 with enrollment of 117)
• CIS 380 Operating Systems – Fall 2020, 2019, 2018, 2017, 2016, 2013, 2012, 2011 (Latest course and instructor evaluations: 3.2/4 and 3.5/4 with enrollment of 147)
• CIS 505 Software Systems – Spring 2016, 2015, 2011, 2009, 2008. (Latest course and instructor evaluations: 2.9/4 and 3.0/4 with enrollment of 149)
• 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 with enrollment of 96)
• 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