Photo of Fabian Muehlboeck Fabian Muehlboeck (Fabian Mühlböck) PhD Candidate in Computer Science Cornell University
456 Gates Hall 407 Hoy Road Ithaca, NY 14850
  • E-Mail
  • Twitter
  • ORCID iD icon

About Me

I am interested in static type-checking and how to reduce the burden that it places on its users, both language designers and programmers. My PhD work focuses on Gradual Typing in object-oriented programming languages. I was advised by Ross Tate.

Before coming to Cornell, I have been a Fulbright Exchange Student at Northeastern University, where I obtained an M.S. in Computer Science. I got a BSc in Software and Information Engineering from TU Wien (Austria).


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.


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



Here is a list of classes I have helped teach:
  • 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


The Cornell CS department has a great system of volunteers called the Czarship system. I've volunteered for several of those:
  • Czar Czar (2015 - 2019)
  • Desk Czar (2014 - 2018)
  • Colloquium Co-Czar (2013 - 2017)
  • PhD Visit Day Co-Czar (2014)
  • Student Brown Bag Czar (2015 - 2017)

Expand Your Horizons

Expand Your Horizons is a Cornell-wide PhD-student run one-day science and math conference for 7th-9th grade girls. I've helped organize various workshops over the years and implemented a simple programming environment (for now, please use Firefox) that we use in one of them (modelled after Picobot).

Research Community


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.