Photo of Fabian Muehlboeck Fabian Muehlboeck (Fabian Mühlböck) PhD, Cornell University, 2019 (Future) Lecturer Australian National University
School of Computing
  • E-Mail
  • Mastodon
  • GitHub
  • Curriculum Vitae
  • ORCID iD icon

About Me

I am interested in improving the design and implementation of industrial general-purpose programming languages. I am interested in static type-checking and how to reduce the burden that it places on its users, both language designers and programmers. Most of my work focuses on gradual typing in object-oriented programming languages, but I am also interested in interactions of parsing and type checking from a language-design perspective, and in black-box runtime verification techniques that exploit unused hardware resources.

Before joining ANU, I am a postdoc in Tom Henzinger's group at ISTA. Prior to that, I obtained a PhD in Computer Science from Cornell University (advised by Ross Tate), an M.S. in Computer Science from Northeastern University (advised by Mitchell Wand), and a BSc in Software and Information Engineering from TU Wien (advised by Franz Puntigam).

Research

Gradual Typing Research Summary

Gradual Typing lets programmers decide when to use static type-checking in a program instead of the traditional all-or-nothing choice they had when choosing a language that either featured static type-checking or doesn't. However, it remains challenging to design type system features common in today's major object-oriented languages in such a way that they interact well with gradual typing, and it also remains challenging to implement gradual typing efficiently.

Publications

Getting F-Bounded Polymorphism into Shape
PLDI 2014 With Ben Greenman and Ross Tate

Theses

Efficient Runtimes for Gradual Typing
Cornell University, 2019 PhD Thesis, advised by Ross Tate
Checking Binding Hygiene Statically
Northeastern University, 2013 MS Thesis, advised by Mitchell Wand

Awards

Teaching

I'm currently not teaching anything, but here is a list of classes I have helped teach before:
  • Cornell
  • Northeastern
    • CS 5010 - Program Design Paradigms
      • Fall 2012 (Head TA)
      • Spring 2012 (TA)
  • TU Wien
    • E 185.162 - Object-Oriented Programming
      • Winter 2010 (Tutor ~TA)
      • Winter 2009 (Tutor ~TA)
    • E 185.179 - Logic Programming
      • Summer 2010 (Tutor ~TA)
      • Winter 2009 (Tutor ~TA)

Other Activities

Research Community

Outreach

Hobbies

I spend most of my non-CS time playing board- and computer games that ideally are either about trust between players or building a large economy (or both). I bake cakes, and I like skiing and hiking.