Nicholas Carlini, University of California, Berkeley