Joomy Korkut

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

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

I am interested in functional programming languages, compilers, type systems, and formal verification (especially with interactive theorem provers, such as Rocq (formerly known as Coq), Agda, and Lean). I am particularly interested in applications of metaprogramming, property-based testing, and 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, Bluesky, Mastodon, Google Scholar, ORCID, LinkedIn, GitHub, alphaXiv, Stack Overflow, Last.fm, Spotify.

In my free time, I play the fretless bass, occasionally translate literature, and sing a bit.

Academic Work

Selected Talks

English / Türkçe

Recent blog posts

Son blog yazıları

  • Why I refuse to learn type-level programming in Haskell. November 23, 2025.
    A short essay about why I refuse to learn complex language features like type-level programming in Haskell and first-class modules in OCaml.
  • Intrinsic vs. extrinsic verification. October 30, 2024.
    Tracing the origin of the terms "intrinsic" and "extrinsic" in formal verification and programming languages.
  • After ICFP 2018. September 30, 2018.
    I spent a week at the main functional programming conference and got to talk to my heroes, so here are some reflections.
[RSS feed] [all posts]

Tags: conference (1), haskell (6), history (1), idris (2), language (2), logic (1), meta (1), ocaml (1), pl (1), poetry (1), programming (1), prolog (1), proof assistants (1), proposal (1), teaching (1), translation (1), turkish (2), tutorial (1), wesleyan (1)

[RSS dağıtımı] [tüm yazılar]

Etiketler: blog (1), edebiyat (1)

Last updated: