Jam Kabeer Ali Khan

Jam Khan

Functional Programmer at Standard Chartered

Email: jamkhan at connect.hku.hk

At Standard Chartered, I work on the Cortex financial library, built on Mu (a strict variant of Haskell). I collaborate part-time with Ranjit Jhala on verified constraint solving for refinement types. Previously, I was a Research Intern at MPI-SP with Gilles Barthe, and an undergraduate researcher with Bruno C. d. S. Oliveira at the HKU Programming Languages Group, working on first-class environments, capabilities, and separate compilation.

Research Interests: Type Theory, Functional Programming, Formal Verification and Quantum Computing.

News

May 2026 Serving on the Artifact Evaluation Committee for ICFP'26.

Mar 2026 Complete Relational Logic for Infinite-Dimensional Quantum Programs accepted at LICS'26.

Feb 2026 Traq preprint now available.

Jan 2026 Gave a talk at PLanQC'26, co-located with POPL'26.

Show earlier news… Show less

Oct 2025 Joined the Cortex Core team at Standard Chartered, working on strict Haskell (Mu).

Jul 2025 Attended CAV 2025 as a student volunteer.

Jun 2025 Presented EnvCap at the PLDI 2025 SRC, winning the 🏅 Gold Award in the undergraduate category.

Apr 2025 Started a 6-month research internship at MPI-SP, supervised by Gilles Barthe.

Aug 2024 Began my bachelor's thesis on first-class environments, capabilities, and separate compilation, supervised by Bruno C. d. S. Oliveira.

Aug 2024 Presented work on simplex inequalities at the HKU Summer Research Internship Seminar.

Jun 2024 Joined the Quantum Information Lab at HKU, working on device-independent quantum key distribution.

May 2024 Finished my semester exchange at Northeastern University, Boston — absolutely loved it!

Publications & Manuscripts

Draft

Internalizing Separate Compilation and Linking via First-Class Environments
Jam Kabeer Ali Khan, Jinhao Tan, Bruno C. d. S. Oliveira
Submitted

Foundational Constraint Solving for Expressive Refinement Types
Jam Kabeer Ali Khan, Petros Markopoulos, Nico Lehmann, Ranjit Jhala
[arXiv]
Submitted

Polymorphic First-Class Environments
Jinhao Tan, Jam Kabeer Ali Khan, Bruno C. d. S. Oliveira
Preprint

Traq: Estimating the Quantum Cost of Classical Programs
Anurudh Pedhuri, Jam Kabeer Ali Khan, Gilles Barthe, Michael Walter
[arXiv]
LICS 2026

Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions
Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan^*, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou ^*(authors listed alphabetically)
SRC@PLDI'25

Capabilities as First-Class Modules with Separate Compilation
Jam Kabeer Ali Khan
[paper] [talk] [poster]
🏅 Gold Award — Undergraduate Category

Software

FlexLean4

[GitHub]

Constraint solving for refinement types in a certified manner.
EnvMLHaskell

[Playground] [GitHub]

Source language with elaboration to a core calculus — a variant of System F with first-class environments.
SCEOCaml, Lean4

Mechanized proofs of type-soundness, semantics preservation, and separate compilation correctness.
cqOTL ProverOCaml, Lean 4

[Lean4 Mechanization] [GitHub]

Interactive prover for relational properties of classical-quantum programs with extraction to Lean 4.
TraqHaskell

[GitHub]

Haskell package for source-level quantum cost analysis of classical programs.

Talks

PLanQC 2026 — Traq: Estimating Quantum Cost of Classical Programs Jan 2026
SRC@PLDI 2025 — Capabilities as First-Class Modules with Separate Compilation Jun 2025

Service

Artifact Evaluation Committee, ICFP'26 Aug 2026
Student Volunteer, CAV'25 Jul 2025

Honors & Awards

Gold Award, ACM Student Research Competition (Undergraduate Category) at PLDI 2025 2025
HKU Undergraduate Entrance Scholarship for Outstanding Academic Talents 2022 – 2024
HKSAR Government Scholarship Fund 2021 – 2024
Rosita King Ho Scholarship 2024
Cathay Hackathon — 2nd Runner-up (won flight to Boston, USA) 2023
HKU Foundation Entrance Scholarship 2021
Top in Sindh & Balochistan (GCE A-levels, Computer Science & Physics) 2020
100% Merit Scholarship for GCE A-levels, Nixor College 2018 – 2020

Teaching

COMP2396 Object-Oriented Programming in Java — Teaching Assistant Fall 2023, Fall 2024

University of Hong Kong
ENGG1340 Computer Programming in C++ — Teaching Assistant Spring 2023

University of Hong Kong