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
Affiliations
- 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
Experience
- 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
