Jay P. Lim is a Lecturer in the Department of Computer Science at Yale University. His research focuses on numerical methods for high-precision mathematical computations, particularly in the design and implementation of correctly rounded math libraries for various floating-point representations. He specializes in polynomial approximation techniques, error detection in numerical computations, and compiler optimizations for cryptographic libraries. His work emphasizes cross-platform compatibility, algorithm efficiency, and formal verification of mathematical functions. Research areas include floating-point arithmetic standards, posit number systems, and the application of CORDIC algorithms for trigonometric functions. Notable contributions include RLIBM-Prog and RLIBM-ALL frameworks for generating high-performance math libraries, as well as tools for debugging numerical errors in posit-based computations. His publications span topics from 32-bit floating-point optimizations to compiler-level security verifications. Currently affiliated with Yale's Computer Science Department, his office is located at Dunham 427, 10 Hillhouse Avenue, New Haven, CT. No specific lab or team affiliations are explicitly mentioned in the provided materials.












