Jacob Laurel is an Assistant Professor in the School of Computer Science at Georgia Tech. Jacob completed his PhD in Computer Science at the University of Illinois Urbana-Champaign in Fall 2024. Jacob’s research interests center upon applying insights from continuous mathematics to build program analyses for differentiable and probabilistic programming languages. His current research focuses on building precise, general and scalable static analyses for Automatic Differentiation. His work has been published in a variety of conferences including POPL, OOPSLA, ESOP, DAC, DATE, CVPR and ICLR. He earned bachelors degrees in both Electrical Engineering and Applied Mathematics (Scientific Computation Track) at the University of Alabama at Birmingham.