Lennart Beringer
Department of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08540
eberingeATcs.princeton.edu
Phone: ++1 - (609) - 258 0451


Associate Director of the National Science Foundation Expedition in Computing 2016-2021

Research scholar in the Verified Software Toolchain project.


NEW

Upcoming and recent PC memberships

FCS 2016 CC 2015 CPP 2015 HILT 2014 LOLA 2014 ITP 2014 HILT 2013 ITP 2013 HILT 2012 ITP 2012 (co-chair) Bytecode 2012 Aplas 2010

Research interests

Publications