Teaching
Materials for courses you taught. Replace this text with your description.
Courses taught at Drexel University: }
- CS 647 Distributed Systems, Spring 2023
- CS440 Theory of Computation, Spring 2023
- CS441 Compiler Implementation, Spring 2022
- SE320 Software Verification and Validation, Fall 2022
- SE 576 Software Reliability and Testing, Winter 2022
- CS 647 Distributed Systems, Spring 2021
- SE320 Software Verification and Validation, Fall 2021
- SE320 Software Verification and Validation, Fall 2020
- SE 576 Software Reliability and Testing, Winter 2020
- SE320 Software Verification and Validation, Fall 2019
- SE 576 Software Reliability and Testing, Winter 2019
- CS 647 Distributed Systems, Spring 2019
- SE576 Software Reliability and Testing, Winter 2018
- SE320 Software Verification and Validation, Fall 2018
- SE576 Software Reliability and Testing, Winter 2017
- SE320 Software Verification and Validation, Fall 2017
- SE320 Software Verification and Validation, Fall 2016
- CS T680 Program Verification, Winter 2016
- CS350 Software Design, Fall 2015
Prior to Drexel, I was a graduate teaching assistant at UW for CSEP551 Operating Systems and CSE333 Systems Programming (which I helped design). As an undergraduate, I was a teaching assistant at Brown for scientific computing, introductory CS, operating systems, and software design.