I am a fourth-year PhD student and I am interested in type systems and how to reduce the burden that they place on their users. Before coming to Cornell, I have been a Fulbright exchange student at Northeastern University, from which I received an M.S. degree in Computer Science. I received my BSc degree in Software & Information Engineering from the Vienna University of Technology (Austria).
Currently, I am working with Ross Tate on gradual typing for object-oriented languages. We are trying to fix the issues that arise when combining gradual typing with other object-oriented language features, such as generics with type-argument inference or extension methods. We are also looking to improve the efficiency of sound implementations of gradual typing.
I'm investigating how to integrate type system features of object-oriented languages with each other such that in the end we can have gradual typing for object-oriented languages that always does what a programmer would expect. Among other things, this means that programs that type-check and run without errors while fully statically annotated should also run without errors after all static type annotations are replace with dynamic ones.
Paul Stansifer and Mitchell Wand developed a type system for reasoning about variable bindings. For my MS Thesis, I implemented a compiler of a higher-level macro language using the type system, providing some type inference and error explanations.
|Spring 2014||TA||CS 2800||Discrete Structures||Cornell|
|Fall 2013||TA||CS 4120||Introduction to Compilers||Cornell|
|Fall 2012||Head TA||CS 5010||Program Design Paradigms||Northeastern|
|Spring 2012||TA||CS 5010||Program Design Paradigms||Northeastern|
|Winter 2010||Tutor (~TA)||E 185.162||Object-Oriented Programming||Vienna UT|
|Summer 2010||Tutor (~TA)||E 185.179||Logic Programming||Vienna UT|
|Winter 2009||Tutor (~TA)||E 185.162||Object-Oriented Programming||Vienna UT|
|Winter 2009||Tutor (~TA)||E 185.179||Logic Programming||Vienna UT|
|Colloquium Co-Czar||Fall 2013 - current|
|Desk Czar||Summer 2014 - current|
|Czar Czar||Summer 2015 - current|
|PhD Visit Day Czar||2014|
I am also one of the people running the Theory of Programming Languages Seminar.
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). And I bake cakes.