Ashish’s interests intersect programming language theory, functional programming, and biology. His long-term goal is to design a domain specific language for genomics entailing data management and analysis. He is currently working towards this goal by developing a software library for bioinformatics in the functional programming language OCaml. His more theoretical efforts regard a constructive foundation for optimization and statistics grounded in type theory. This has the promise of mechanizing much more of mathematics than is attained by existing mathematics software.