Fabian Muehlboeck is a Lecturer at the Australian National University.
His research interests are in programming language design, spanning both theoretical aspects of language definitions type systems such as decidability, as well as efficient implementations.
The main focus of his current research is gradual typing for object-oriented industry languages.
Before coming to Australia, Fabian was a postdoc at the Institute of Science and Technology Austria, working with Tom Henzinger.
He holds a PhD from Cornell University (advised by Ross Tate), an M.S. from Northeastern University (advised by Mitch Wand), and a BSc from TU Wien (advised by Franz Puntigam).