teaching

online courses (moocs)

• Linear and Integer Programming (Coursera). Note: We plan to reboot this course online soon. In the meantime here is a youtube channel with all the videos

• Data Science Foundations: Data Structures and Algorithms Specialization (Coursera).

  • Part 1: Algorithms for Searching, Sorting and Indexing
  • Part 2: Trees and Graphs Basics
  • Part 3: Dynamic Programming, Greedy Algorithms and Intractability

course notes

• Principles of Programming Languages. PPL Course Notes.

on-campus courses

• Principles of Programming Languages (CSCI 3155, Spring 2023, Spring 2022, Spring 2021, Fall 2020, Spring 2020, Spring 2019, Fall 2018).
• Advanced Data Structures (CSCI 6254, Fall 2022).
• Linear and Integer Programming Linear and Integer Programming, (CSCI 5654, Spring 2022, Spring 2020, Fall 2016, Fall 2013, Fall 2011, Fall 2009).
• Graduate Algorithms (CSCI5454, Spring 2023, Fall 2018, Spring 2019).
• Probabilistic Programming (CSCI7135, Spring 2021, Fall 2018).
• Cyber-Physical Systems (CSCI5854 Spring 2017, Fall 2014, Fall 2012, Spring 2010).
• Undergraduate Algorithms (CSCI 3104, Fall 2016, Spring 2016, Spring 2015)
• Introduction to PhD in Computer Science (CSCI 6000), Fall 2016.
• Closed Loop Medical Devices Seminar (Spring 2016, Spring 2015).
• Theory of Computation (CSCI 3434 (undergraduates) and CSCI 5444 (graduate), fall 2015).
• Discrete Structures (CSCI 2824, Spring 2011, 2012, 2013, 2014).
• Readings in Formal Methods (Fall 2012).
• Computational Complexity Theory (CSCI 7154, Fall 2010).