| UChicago, CMSC 14300: Systems Programming (undergraduate) |
2023 |
| UChicago, MCS-21001: Software Construction (undergraduate) |
2022 |
| UChicago, MPCS-52030: Operating Systems (graduate) |
2020 |
| UChicago, CAPP-30122: Computer Science with Applications II (graduate) |
2020 |
| UChicago, MPCS-55001: Algorithms (graduate) |
2019 |
| EPFL, CS-173: Digital Systems Design (undergraduate) |
2018 |
| EPFL, CS-207: Systems Oriented Programming (undergraduate) |
2015, 2017 |
| EPFL, CS-250: Algorithms (undergraduate) |
2015, 2016, 2017 |
| EPFL, CS-450: Advanced Algorithms (graduate) |
2013, 2014, 2016 |
| EPFL, CS-150: Discrete Structures (undergraduate) |
2013 |