Jay P. Lim, Joined Yale 2021

Jay Lim is currently researching techniques to create efficient and correctly rounded math libraries for various representations. Initial results in creating correctly rounded math library for bfloat16 and posit16 are accepted in POPL 2021 (Link)!

Jay is passionate about teaching and he has been a TA and an instructor for various courses during his time in Ph.D. program including Computer Architecture, Programming Languages, Compilers, Computer Security, and Discrete Math. He has been an instructor for both large undergraduate courses and small graduate courses. One of his passions is to make learning interesting and fun to engage the students. It is his happiness to see students enjoying his classes.