Georg Neis

Email: neis@mpi-sws.org
Phone: (+49) 681 9325 689
Office: R-302, Wartburg, Martin-Luther-Str. 12, 66111 Saarbrücken

I'm a student at the Type Systems and Functional Programming group here at MPI-SWS.
To be continued...

Research

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, and Andreas Rossberg.
Submitted for publication, April 2010.
This is a revised and expanded version of our ICFP 2009 paper.
Draft of Journal Version: (abstract, paper)

The Impact of Higher-Order State and Control Effects on Local Relational Reasoning
Derek Dreyer, Georg Neis, and Lars Birkedal.
In 2010 ACM SIGPLAN International Conference on Functional Programming (ICFP 2010).
Conference Version: (abstract, paper, appendix)

A Relational Modal Logic for Higher-Order Stateful ADTs
Derek Dreyer, Georg Neis, Andreas Rossberg, and Lars Birkedal.
In 2010 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010).
Conference Version: (abstract, paper, appendix)

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, and Andreas Rossberg.
In 2009 ACM SIGPLAN International Conference on Functional Programming (ICFP 2009).
Conference Version: (abstract, paper)
Long Version: (my master's thesis)