Tiark  Rompf

Home | Research | Notes | Publications | Talks | Group | Teaching | Service

Teaching

• CS 352 compilers (2020, 2018, 2017, 2015)
• CS 502 grad compilers (2019, 2015)
• CS 565 software foundations (2016, 2015)
• CS 590 metaprogramming (2014)
• CS 590 deep learning for symbolic reasoning (2018)