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 and activities

Program Committee memberships

CSF 2024 ASL 2022 CSF 2022 CSF 2021 ICFP 2019 SecDev 2019 CPP 2018 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