I'm JoomyA nickname for
Cumhur, [d͡ʒumhuɾ] in Turkish IPA,
"joom hoor" in English
approximation.
I prefer Joomy unless you speak Turkish.
Korkut,
an aspiring academic who is interested in
programming language theory and linguistics. My CV is here.
I am currently a PhD student at Princeton University, advised by Andrew W. Appel. My academic web page is here.
Before this, I was an undergrad and then a master's student at Wesleyan University, advised by Dan Licata. For my master's research, I extended the editor features of Idris, a dependently typed language and proof assistant, through metaprogramming. My goal was to produce a system in which one can use Idris metaprograms in the editor to write Idris code more easily, and even automatically. Here's a screencast that shows how it works and here is my thesis.
In my free time, I play the accordion and fretless bass, occasionally recite and translate poetry, and sing a bit. Oh, and the Wesleyan newspaper interviewed me once.
You can reach me at joomy@cs.princeton.edu, but I'll probably reply much faster on Twitter.
Recent blog posts
Feed | All posts...