Apoorv Ingle
Graduate Research Assistant
Iowa City, Iowa, United States
Summary
👤
Senior🎓
Top SchoolApoorv Ingle is a software researcher and engineer with 13 years of experience, currently a Graduate Research Assistant at the University of Iowa pursuing deep work at the intersection of functional programming, static type systems, and formal semantics. He brings practical industry experience from roles at Morgan Stanley and eBay alongside a strong academic track record through graduate studies at Kansas and Iowa. Notably, Apoorv contributes to the Glasgow Haskell Compiler, making substantive changes to type checking and constraint solving—an indication of expertise in compiler internals and language design. He favors elegant, principled solutions to real-world problems and combines rigorous formal thinking with hands-on backend development. Based in Iowa City, he pairs long-term research goals (PhD-level work) with tangible open-source impact on a high-profile project.
13 years of coding experience
4 years of employment as a software developer
University of KansasBachelor of Technology (B.Tech.), Bachelor of Technology (B.Tech.) at Visvesvaraya National Institute of TechnologyDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at University of Iowa
Stackoverflow
259reputation
4kreached
4answers
3questions
Github Skills (15)
functional-programming10
type-checking10
constraint10
internals10
type-check10
haskell10
compiler-development10
ghc10
testing9
collector6
compiler-optimization6
backup6
algebraic-data-types6
couchbase6
induction6
Programming languages (6)
Github contributions (5)
ghc/ghc
Nov 2022 - Nov 2022
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 commit in 1 day
Contributions summary:Apoorv primarily contributes to the Glasgow Haskell Compiler (GHC) project, focusing on the core compiler infrastructure. Their work involves significant modifications to the type checking and constraint solving mechanisms. The commits demonstrate a deep understanding of compiler internals, including kind equality, type equality processing, and the expansion of `do` blocks. They also add new tests and modify existing ones for regression purposes, contributing to the robustness of the compiler.
ghcget-startednewcomershaskellcabal
apoorvingle/c-sim-swingle
Mar 2013 - Sep 2014
Contributions:44 commits in 1 year 5 months
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.