andreas.rossberg

Andreas Rossberg
formerly- post-doctoral researcher ::
Max Planck Institute for Software Systems ::
Type Systems and Functional Programming Group

--------

now- working at Google :: since 2010.02

Research Interests

type systems :: module systems :: functional languages :: object-oriented languages :: compilers :: runtime systems :: concurrency :: program semantics :: mechanized meta-theory :: broken beats

Contact

Max Planck Institute for Software Systems ::
Stuhlsatzenhausweg 85 :: 66123 Saarbrücken :: Germany

--------

office- Room 307 :: Martin-Luther-Str. 12 :: Saarbrücken

--------

fon- +49.681.9325.687 :: fax- +49.681.9303.699

--------

web- www.mpi-sws.org/~rossberg :: mail- rossberg@mpi-sws.org

New Papers

Non-Parametric Parametricity (Draft)
Georg Neis, Derek Dreyer, Andreas Rossberg :: submitted to JFP, 2010

--------

F-ing Modules
Andreas Rossberg, Claudio Russo, Derek Dreyer :: TLDI 2010
with Coq proof scripts

--------

A Relational Modal Logic for Higher-Order Stateful ADTs
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal :: POPL 2010

--------

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg :: ICFP 2009
my presentation at ICFP can be viewed online

--------

more...

Note

Welcome to my homepage. Please note that it is here only for professional purposes. I will not bother you with poems, my favorite recipes, or a blog about my bathroom experiences. Thank you for your attention.