POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Joomy Korkut

Registered user since Mon 13 Aug 2018

Name:Joomy Korkut
Bio:

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

Country:United States
Affiliation:Bloomberg
Research interests:compilers, type systems, formal verification, metaprogramming

Contributions

Show activities from other conferences

Using general profile