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
Personal website: http://joomy.korkutblech.com/
X (Twitter): https://x.com/joomy
GitHub: https://github.com/joom
Research interests:compilers, type systems, formal verification, metaprogramming
Contributions
Using general profile