Benjamin Braun

Verifying computations with state

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren et al. · 2013 · 164 citations · Full text

Engineering, Verification, Computer-aided Verification +18

Short-circuit current and energy efficiency enhancement in a low-dimensional structure photovoltaic device

K.W.J. Barnham, Benjamin Braun, Jenny Nelson et al. · Applied Physics Letters · 1991 · 152 citations

Wide-bandgap Semiconductor, Engineering, Energy Efficiency +17

Resolving the conflict between generality and plausibility in verified computation

Srinath Setty, Benjamin Braun, Victor Vu et al. · 2013 · 123 citations

Checkable Proofs, Cryptographic Primitive, Engineering +22

Taking proof-based verified computation a few steps closer to practicality

Srinath Setty, Victor Vu, Nikhil Panpalia et al. · 2012 · 121 citations

What Does Active Learning Mean For Mathematicians?

Benjamin Braun, Priscilla Bremser, Art M. Duval et al. · Notices of the American Mathematical Society · 2017 · 51 citations

Mathematics Education, Cognitive Science, Learning Sciences +6