Joomy Korkut
Computer scientist.

I am a researcher at Bloomberg's CTO Infrastructure and Security Research team in New York City, applying formal methods in industry.

I'm also a PhD candidate in computer science at Princeton University's programming languages group, advised by Andrew W. Appel, working on VeriFFI, a foreign function interface between Coq and C, on the CertiCoq compiler, verified via VST. I plan to graduate in November 2024.

I'm interested in compilers, type systems, formal verification, metaprogramming, property-based testing, separation logic.

You can reach me at jkorkut@bloomberg.net regarding my work at Bloomberg or joomy@type.systems for other matters.

My CV is available here, as well as other online profiles: Twitter, Mastodon, Google Scholar, ORCID, LinkedIn, alphaXiv.

Internship

Written Work

Talks

Last updated: