Fabian Immler

Since July 2018, I am a Post-Doctoral Fellow in the Logical Systems Lab @ Carnegie Mellon University

My research interests are along the following lines