Jacob
Laurel

General Information

Email:
jlaurel6@gatech.edu
Phone:
404-894-3152
Location - Building:
KACB
Location - Room:
2332
Roles:
Professor (any rank)
Primary Unit:
School of Computer Science
Website URL
https://jsl1994.github.io/

Details

Degrees with subject and Postdoc Experience:
Degree Type
Ph.D.
Subject
Computer Science
Year
2024
Institution
University of Illinois Urbana-Champaign
Location
Urbana IL, USA
Statement of Research Interests:

As a programming languages researcher, I develop mathematically grounded, automated program analyses for numerical software. My work bridges the gap between formal methods and modern programming paradigms, with a focus on differentiable and probabilistic programming languages, as well as a focus on statically analyzing scientific computing software.

Statement of Teaching Interests:

Courses in programming languages form the focus of my teaching interests. For instance, I have taught both research-based, special topics courses on domain-specific programming language paradigms (including probabilistic and differentiable programming) as well as CS 6390, a general graduate course on the formal foundations of programming languages.

Selection of recent research, scholarly, and creative activities:

Select Publications:

Laurel, Jacob, Ignacio Laguna, and Jan Hückelheim. "Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers." Proceedings of the ACM on Programming Languages 9, no. OOPSLA2 (2025): 1063-1091

Singh, Gagandeep, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, and Huan Zhang. "Safety and Trust in Artificial Intelligence with Abstract Interpretation." Foundations and Trends® in Programming Languages 8, no. 3-4 (2025): 250-408.
 
Laurel, Jacob, Siyuan Brant Qian, Gagandeep Singh, and Sasa Misailovic. "Synthesizing precise static analyzers for automatic differentiation." Proceedings of the ACM on Programming Languages 7, no. OOPSLA2 (2023): 1964-1992.