Abstract: We study the question of whether used memory can be an asset to space-bounded computation. We will survey this active line of work, from its major successes in complexity theory to the current state of the catalytic computing model, with a focus on techniques and future directions.
Bio: Ian Mertz is a postdoctoral researcher in the Center for Foundations of Contemporary Computer Science (CZSI) group at Charles University working with Michal Koucký.