Hi, I'm Arnab. I build reliable software systems with an emphasis on programming languages and formal methods, then carry those ideas into practical tools that people can actually ship and use. I care a lot about correctness and mathematical elegance, but also about systems that feel good to use: clean interfaces, sharp developer workflows, and systems that stay maintainable as they grow.
Based in
Ithaca, NY · Los Angeles, CA
Credentials
Education
Cornell University
Aug 2024 – May 2028
GPA: 3.81/4.0
Emphasis on programming languages, compilers, runtime verification, formal verification, and applied logic. Also majored in mathematics, focused on different logical systems and algebras. Picked up a major in Asian Studies, with an emphasis on the Korean language and the history of Korea.
Coursework & Activities
Selected Work
Projects
All projects →Owl
Runtime verification for Gleam using sHML-based monitors compiled from a temporal property DSL, with low-overhead BEAM bytecode tracing for distributed actor systems. Capstone for CS 6156.
Fern
A language targeting LLVM IR with Hindley-Milner + Algorithm W type inference, refinement types, trait constraints, row polymorphism, and exhaustive pattern matching.
Bo Nix
Full optimizing compiler for Eta/Rho → x86-64 in Java: lexer through register allocation, ABI-compliant codegen, and language extensions including records and null handling. Capstone for CS 4120.
Guardrails: Atomic
Built a Next.js 15 + TypeScript platform where engineers define distributed-system requirements in a YAML DSL and run a Z3-backed CEGIS loop with GPT-4-guided synthesis/repair until invariants are formally discharged.
Professional
Work Experience
HRL Laboratories
Built and operated quantum-computing research infrastructure using Python, TypeScript, Vue.js, Docker, GitLab, Artifactory for researchers in secure air-gapped environments, supporting spin-qubit adjacent workflows and improving end-to-end deployment, throughput, and usage organization-wide.
Cornell Course Management System X
Lead for CMSX, Cornell's in-house course management system. Modernizing tightly coupled XML and legacy JSP to modern Java REST APIs and type-safe React frontends.
Cornell University
Led advanced discussions on JVM internals—bytecode execution, JIT/tiered compilation, and hotspot behavior—and taught formal grammars and AST-based language implementation; mentored students building a programming language runtime.
Notes
Writing
All writing →Type Inference Without Annotations: How Algorithm W Works
Designing Fern: A Language Built on Types
Owl: Runtime Verification for Distributed Gleam Programs
Bo Nix: Building a Compiler for Eta and Rho
Guardrails: Verified Handler Synthesis with CEGIS and Z3
VOX: A Production-Ready Academic Journal Platform