Hello, I'm Jeremy Ku-Benjet. I'm an MS student in Computer Science at Cornell University with research interests in programming languages, compilers, and digital IC design, especially combining the three to make each one easier.
I currently work with Adrian Sampson in Capra on fud2, a little program to run the many tools of Calyx. My current work involves thinking about how to represent chains of tool invocations in a simple programming language and, separately, using SAT solvers to construct these chains of tool invocations from limited user input. In the past I worked with Zhiru Zhang's lab on open hardware tools. I also programmed on the CMSX team; we make Cornell's course management website.
fud2
I enjoy teaching! I've been a teaching assistant for Cornell's core systems programming course (CS 3410), Cornell's object oriented programming and data structures course (CS 2110), Cornell's computer architecture course (ECE 4750), Cornell's game development course (CS/INFO 3152), and currently am a TA for Cornell's functional programming course (CS 3110).
Outside of work, I make break, make games, write, cook, and fiddle around with funny pieces of hardware and software tech. My recent unproductive programming fixation has been writing software in a dialect of prolog.
