Arya Irani
Cofounder at Unison Computing
Somerville, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolArya Irani is a Cofounder and AI scientist with a PhD from Georgia Tech and 14 years of experience building production-grade software and research systems. Based in Somerville, MA, he blends deep functional-programming expertise in Scala with practical systems design—contributing to prominent open-source projects like doobie, shapeless, scalaz, and http4s to improve query analysis, type-level abstractions, and HTTP handling. At Georgia Tech Research Institute he led teams applying type systems and functional design to government and health projects, co-developing a Scala-based Family System of Records and a vaccination scheduler used by over 200,000 users. His work spans from low-level algorithmic research in robotics and ML to shipping user-facing web tools, showing a rare ability to move from proofs-of-concept to deployed services. Colleagues know him for quietly restoring backward compatibility and reducing type loss in complex libraries—an attention to detail that keeps critical codebases stable as they evolve.
15 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Georgia Institute of TechnologyBS, Computer Science, BS, Computer Science at University of Hawai‘i System
Spanish, Japanese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (23)
parser10
testing10
top-level10
scalaz10
http10
jdbc10
data-structure10
scala10
typer10
parsing10
generic-programming10
parse10
cat10
data-structures10
functional-programming10
Programming languages (26)
Github contributions (5)
unisonweb/unison
Mar 2016 - Nov 2022
A friendly programming language from the future
Role in this project:
Back-end Developer
Back-end DeveloperContributions:20 releases, 1684 reviews, 2343 commits in 6 years 9 months
Contributions summary:Arya implemented new functionalities for listing dependents and dependencies in the Unison programming language. They added new commands to the parser and integrated them into the codebase, including the implementation of `dependents`, `dependencies`, and the `debug.file` command. These changes involved modifications to the codebase editor and output messages, focusing on displaying definitions and their relationships. The commits also included various bug fixes and refactoring efforts.
programming-languagehaskellunisonunison-language
milessabin/shapeless
Mar 2016 - Dec 2019
Generic programming for Scala
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 6 PRs, 22 comments in 3 years 10 months
Contributions summary:Arya primarily focused on fixing bugs and improving the `shapeless` library, specifically related to HList operations. Their contributions included correcting issues in the `Union` and `Intersection` implementations, fixing type inference problems, and restoring original methods for backward compatibility. Furthermore, the user improved the code by reducing type loss using `.Aux` versions of inductive inputs. Their work mainly involved modifying core functionalities of the library.
generic-programmingscalatypelevelfunctional-programmingfp
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.