Rachit Nigam

Hi, I’m Rachit Nigam. I am currently pursuing my bachelor’s in Computer Science and Mathematics at University of Massachusetts Amherst and am slated to graduate in May 2018.

My research focus lies in understanding semantics and building programming abstractions. In pursuit of this goal, I work on everything from compilers for JavaScript to Bisimulation proofs. More details about research projects can be found here

I am spending this summer at Brown University working with Prof. Shriram Krishnamurthi. During the academic year, I work with Prof. Arjun Guha in the PLASMA research group.