Steven Roelofsen's PhD thesis, public defense, 2017