Nicholas Carlini, UC Berkeley