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.

Publications

• Distinguished Paper Award (OOPSLA 2017)
• Facebook Fellowship Finalist (2015, 2017)
• Teaching Award, Cornell University (2014)
• Teaching Award, Northeastern University (2013)
• Yiannis Tsiounis Scholarship (2012)
• Fulbright Exchange Grant (2011)

Here is a list of classes I have helped teach:

• Cornell
  • CS 2800 - Discrete Structures
    • Spring 2014 (TA)
  • CS 4120 - Introduction to Compilers
    • Fall 2013 (TA)
• 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)

Czarships

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

• Reviewed Artifacts for ECOOP 2018 and OOPSLA 2019
• Organized Cornell PL Retreats 2015 and 2017
• Student Volunteer at PLDI 2017 and PLDI 2018

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.