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

Browse: conference (1), haskell (5), idris (2), keyboard (1), language (2), logic (1), mac (1), meta (1), pl (1), poetry (1), programming (1), prolog (1), proposal (1), teaching (1), translation (1), turkish (2), tutorial (1), vim (1), wesleyan (1)

Powered by Hakyll and Pandoc. Blog source code is available.