Jacob Laurel

Jacob Laurel is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. His research focuses on applying continuous mathematics to develop program analyses for differentiable and probabilistic programming languages, with current emphasis on precise, general, and scalable static analyses for Automatic Differentiation. He holds a PhD in Computer Science from the University of Illinois Urbana-Champaign (expected Fall 2024) and dual bachelor's degrees in Electrical Engineering and Applied Mathematics (Scientific Computation Track) from the University of Alabama at Birmingham.

Education:

• PhD in Computer Science, University of Illinois Urbana-Champaign (expected 2024)
• Bachelor of Science in Electrical Engineering, University of Alabama at Birmingham
• Bachelor of Science in Applied Mathematics (Scientific Computation Track), University of Alabama at Birmingham

Research interests include advancing compiler optimizations, formal verification techniques, and mathematical frameworks to improve program analysis in machine learning and probabilistic systems. His work has been recognized in top-tier conferences such as POPL, OOPSLA, ESOP, DAC, DATE, CVPR, and ICLR.

No specific scientific awards or grants are explicitly listed in the provided information. Current affiliations include the School of Computer Science at Georgia Tech. His research group likely focuses on interdisciplinary applications of mathematics in programming language theory, though specific lab/team details are not mentioned.