Jay P. Lim

I am a PhD student at Rutgers University. I am a programming language and systems researcher, focusing on developing techniques to verify low-level systems

[Jay P. Lim @JayPLim1]

@alpha_convert Thank you! I'm really happy to hear that you liked our research! We are really excited about our math library project as well.

[Jay P. Lim @JayPLim1]

@AndersMiltner @alpha_convert Thank you very much for your kind words. I'm glad that the reading group liked our idea! I hope you like our follow up paper in PLDI 2021. We are really excited about the paper as well :)