Rachit Nigam

[rachitnigam]

We are thrilled that you're interested in research in our research group! Please fill out this issue template. When you submit it, we will get a notification in our group chat. Please include any relevant details you can think of!

Personal Details

Name: Rachit Nigam

Major: Computer Science

Year in Cornell: 1st year

Relevant classes: CS 4110, CS 6110, CS 6114

Research

When do you want to do research?
I want to start with research in Fall 2020.

What is exciting to you about research?
I'm excited to learn new technologies and build tools that help people program. Specifically, I want to bridge the gap between software engineering and hardware design.

What kind of research do you want to do?
I don't know, I'm looking to explore. I took 4110 and was excited by the idea of modelling big languages with the Lambda Calculus.

Optional Stuff

(Feel free to leave any of these blank.)

Was there a paper that particularly excited you?
The paper on High level languages as OSes or, The revenge of the son of the LISP machine was very exciting. I was particularly interested in how the authors built composable resource managers that work with arbitrary hierarchies of higher order functions. I think the work is applicable in the domain of heterogeneous programming with distributed resources.

Is there a specific grad student or a project you're interested in working on?
I found the LambdaLab tool exciting to use. I'm interested in adding dependent types to the tool and seeing if we can improve learning outcomes.

Anything else you want to tell us about yourself?
Yes! I've read the paper "Dynamic witnesses for Static type Errors" and re-implemented it in Scala here. I've been a part of the Cornell ICPC group and attended competitions.

My website is located here: https://rachitnigam.com/

Attach a CV if you like.