Summary
Nihil Shah is a consultant and software engineer with 16 years’ experience applying functional programming, databases, and machine learning to practical problems. He combines a PhD in theoretical computer science and an MSc in Mathematics & Foundations of CS with hands-on skills in Haskell, Erlang, Idris, SQL, Python, and scientific computing. His work ranges from automating patent filing with Haskell at an innovation lab to building semantic search and NLP pipelines for NOAA using StanfordNLP and Apache UIMA. Deeply curious about the connections between mathematics and code, he leverages category theory, logic, recursion theory, and Bayesian ideas to design elegant, verifiable solutions. He runs independent projects on GitHub and operates Astructio LLC to bring functional-programming approaches to business problems. Based in Oxford, he blends academic rigor with pragmatic engineering to tackle complex data and automation challenges.
16 years of coding experience
4 years of employment as a software developer
Bachelor of Arts (B.A.), Mathematics, Bachelor of Arts (B.A.), Mathematics at University of California, Berkeley
Master of Science - MS, Mathematics and Foundations of Computer Science, Distinction, Master of Science - MS, Mathematics and Foundations of Computer Science, Distinction at University of Oxford