I develop software for scientists. My programming language of choice is OCaml, but I enjoy all functional programming languages such as Haskell and F#. I keep on eye on languages that are theoretically interesting, such as Agda and Coq, even though they might be less industrially viable. In my free time, I run the NYC OCaml Meetup, and attend the Homotopy Type Theory Reading Group and Haskell Meetup as much as possible. Currently, I am developing a software platform to manage and analyze genomics data.

Phone: 520.344.0139
agarwal1975 _at_ gmail _dot_ com


  • Association for Computing Machinery (ACM)
    • Special Interest Group on Programming Languages (SIGPLAN)
    • Special Interest Group on Bioinformatics (SIGBioinformatics)
  • New York Academy of Sciences (NYAS)
  • International Society of Computational Biology (ISCB)

Mathematics Genealogy Project
ACM Author Page
WormBase Person Page


  • 2014 – present: Founder, Solvuu
  • 2010 – 2013: New York University, Center for Genomics and Systems Biology
  • 2009 – 2010: Yale University, Computer Science
  • 2006 – 2009: Yale University, Bioinformatics
  • 2006: Carnegie Mellon University, PhD
    Advisors: Bob Harper (Computer Science) and Ignacio Grossmann (Engineering)
  • 1999 – 2000: Applied Materials, Core Technologies
  • 1998: MIT, Chem. Engineering
  • 1998: UC Berkeley, BS Engineering