/
index.html
51 lines (47 loc) · 2.62 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
---
title: Recent Posts
---
<img src="https://avatars2.githubusercontent.com/u/1611120?v=3&s=460" class="photo"/>
<p>
I'm <span class="tooltip">Joomy<span class="tooltiptext">A nickname for
Cumhur, [d͡ʒumhuɾ] in Turkish IPA, <br>"joom hoor" in English
approximation. <br><b>I prefer Joomy unless you speak Turkish.</b></span></span>
Korkut,
an <a href="http://www.cs.princeton.edu/~ckorkut/" target="_blank">aspiring academic</a> who is interested in
programming language theory and linguistics. <a href="/joomy_cv.pdf">My CV is here.</a>
</p><p>
I am currently a PhD student at <a
href="http://princeton.edu">Princeton University</a>, advised by <a
href="https://www.cs.princeton.edu/~appel/">Andrew W. Appel</a>.
My academic web page is <a href="http://www.cs.princeton.edu/~ckorkut/">here</a>.
</p><p>
Before this, I was an undergrad and then a master's
student at <a href="http://wesleyan.edu">Wesleyan University</a>,
advised by <a href="http://dlicata.web.wesleyan.edu/">Dan Licata</a>.
For my master's research, I extended the editor features of
<a href="https://www.idris-lang.org/">Idris</a>, 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.
<a href="https://asciinema.org/a/rrwboxAr2VdiUQsZov0RDinJw">Here's a screencast that shows how it works</a>
and <a href="/editTimeTacticsDraft.pdf">here is my thesis</a>.
</p><p>
In my free time, I play the accordion and
<a href="https://www.youtube.com/watch?v=A4mfp19fzUE">fretless</a>
<a href="https://www.facebook.com/birolumben/videos/vb.748444625/10151004178889626/">bass</a>, occasionally
<a href="https://soundcloud.com/cattheory/tracks">recite</a> and
<a href="/posts/2014-11-30-turkish-poetry.html#the-list">translate</a> poetry, and
<a href="https://www.youtube.com/watch?v=9_dXeWDFSvQ">sing</a>
<a href="https://soundcloud.com/isinekin/ezginin-gunlugu-kedim-cover-cumhur-isin">a bit</a>.
Oh, and the Wesleyan newspaper <a href="http://wesleyanargus.com/2016/12/01/wesceleb-joomy-korkut-17/">interviewed me</a> once.
</p>
<p>You can reach me at <a href="mailto:joomy@cs.princeton.edu">joomy@cs.princeton.edu</a>,
but I'll probably reply much faster on <a href="http://twitter.com/cattheory">Twitter</a>.</p>
<h1 style="clear: left">Recent blog posts</h1>
$partial("templates/post-archive.html")$
<a type="application/rss+xml" href="/atom.xml">
<i class="fa fa-rss-square"></i> Feed</a>
| <a href="/archive.html">All posts...</a>
<p class="tags">
Browse: $tags$
</p>