Research Undergraduate @ IIIT Hyderabad
Animish
Sharma
Bridging the elegance of Functional Programming with the precision of Algorithmic Design. Winner of the National Computer Science Exhibition '23.
Based in Shimla, Himachal Pradesh10+ Years of Coding Experience | 150+ Projects
Tech Skills.
A curated selection of the tools and paradigms I employ to solve complex problems.
Research Core
Formal Methods & Logic
The mathematical foundation of my work. Focusing on correctness and purity.
HaskellLean 4CoqFunctional ProgrammingAlgorithm Design
Systems Engineering
High Performance & Backend
Building resilient, type-safe infrastructure that scales.
C++GolangRustDockerDistributed SystemsC
Product Development
Full Stack & Mobile
Translating complex logic into fluid, responsive user experiences.
Next.jsTypeScriptFlutterReact NativeElectronKotlin
Featured DomainDeep Dive into
Deep Dive into
Formal Logic.
My Core FocusPioneering Algorithmic Purity
Pioneering Algorithmic Purity
& Functional Paradigms.
My research at IIIT Hyderabad explores advanced algorithms and functional programming, pushing the boundaries of what's computationally possible with elegant, verifiable code.
Explore Research →