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 ...
Prevent broken formulas using tables, validation rules, separate worksheets, named variables, and the power of LAMBDA.