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.


Recent (-ish) news

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