Photo of Fabian Muehlboeck Fabian Muehlboeck (Fabian Mühlböck) PhD, Cornell University, 2019 Lecturer (Assistant Professor) Australian National University
School of Computing CSIT Building, N217
  • 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.

Starting in 2025, my research in Gradual Typing will be supported by an ARC DECRA grant!

Before joining the ANU, I was 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).

Projects

Research Projects

See all publications or browse the projects below.

Gradual Typing

Making sound, efficient, and well-behaved gradual typing practical for a new generation of industrial programming languages. Read more!

Type-System and Language Design

Improving the design of popular language features, particlarly for object-oriented languages. Read more!

Semantics of Partial Programs

Formally looking at programming language design with respect to tools like IDEs, making them more usable and easier to implement. Read more!

Run-Time Monitoring

Gaining more confidence about black-box programs from untrusted vendors. Read more!

Students

Students

Interested in doing research with me? Look at the projects above or at the school's Project Website. I am also recruiting PhD students!

Current Students

  • Haoyu Wu (PhD Student)
  • Alex Mirrlees-Black (Honours Thesis)
  • Alvin Tang (Honours Thesis)
  • Junhao Liu (Master's Thesis)
  • Pat Reid (Research Project)

Awards

Teaching

Teaching at ANU

Other Activities

School of Computing

  • Education Convener (Tech Uplift), 2025-current
    Basically, I am the local Excel wizard.
  • Foundations Cluster Seminar Organizer, 2023-current

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.