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 NSF Expedition "DeepSpec", 2016-2021

Research scholar in the Verified Software Toolchain project.


NEW

Program Committee memberships

CoqPL 2017 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