Paul is an incoming assistant professor in computer science at the University of Colorado Boulder (Fall 2026). His research explores the fundamentals of symbolic learning and synthesis, e.g. learning ...