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.

In 2024, I finished my PhD in computer science at Princeton University, advised by Andrew W. Appel.*

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: