Hey! I am Jam Khan. Currently, I am working as a Haskell Quantitative Developer in Core Strats at Standard Chartered.

Previously, I worked as a research intern at the Max Planck Institute for Security and Privacy, supervised by Gilles Barthe, and collaborated with Michael Walter and Anurudh Peduri; did Bachelor's thesis supervised by Bruno C. d. S. Oliveira at the HKU PL Group; a research intern at the Quantum Information and Computation Lab (QICI), supervised by Ravishankar Ramanathan. I'm broadly interested in functional programming, type systems, formal methods and quantum computing.

Education

• Bachelors of Engineering

  Major in Computer Science with Minor in Mathematics

  University of Hong Kong

  2021 – 2025

• BSc (Semester Exchange)

  Computer Science and Math

  Northeastern University, Boston

  Spring@2024

• Traq: Estimating the Quantum Cost of Classical Programs

  Anurudh Peduri, Jam Kabeer Ali Khan, Gilles Barthe, and Michael Walter

  [Under submission]

• A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics

  Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, and Li Zhou

  [arXiv:2510.07051]

• Capabilities as First-Class Modules with Separate Compilation

  Jam Kabeer Ali Khan

  PLDI'25 Student Research Competition

  🥇 Gold Medal, Undergraduate Category

  Paper Talk Poster

Experience

• Haskell Quantitative Developer @ Standard Chartered

  Oct 2025 - present

• Research Intern @ Max Planck Institute for Security and Privacy

  April – Sept 2025

• Undergrad Research @ Programming Languages Group, HKU

  Aug 2024 – April 2025

• Research Intern @ Quantum Information and Computation Lab, HKU

  June – Aug 2024

• Technology Intern @ ActusRayPartners Hedge Fund

  June – Aug 2023

• Programmer (Freelance) @ All Round Education Academy

  March – Dec 2023

• Student Research Assistant (Programmer) @ Sleep Lab, HKU

  April 2022 – Oct 2022

Teaching Experience

• Student TA - COMP236 Object-Oriented Programming in Java @ HKU

  Sept - Dec 2024

• Student TA - COMP236 Object-Oriented Programming in Java @ HKU

  Sept - Dec 2023

• Student TA - ENGG1340 Computer Programming II in C++ @ HKU

  Jan - May 2023

• IB & GCE A-level Tutor - CS & Math @ All Round Education Academy

  Jan - May 2023

Conferences

• Volunteer @ CAV'25

  July 2025

• Presenter & Attendee @ PLDI'25

  June 2025

• Virtual Attendee @ POPL'25

  Jan 2025

Honors and Awards

• PLDI'25 SRC Gold Award (~500 USD)

  Jun 2025

• HKSAR Goverment Scholarship (~44000 USD)

  2021, 22, 23, 24

• HKU Undergraduate Entrance Scholarship for Outstanding Academic Talents (~33000 USD)

  2022, 23, 24

• Rosita King Ho Scholarship (~1540 USD) -- Exchange to Boston

  2024

• 1st runner up @Cathay Hackathon'23 (~Free return ticket from HK to Boston)

  2023

• HKU Foundation Entrance Scholarship (~11000 USD)

  2021

• Top in Sindh & Balochistan for GCE A-level Computer Science & Physics

  2020

• in Sindh & Balochistan for GCE A-level Computer Science & Physics

  2020

• Best across 3 GCE A-levels, 2nd place in Pakistan

  2020

• 100% Merit Scholarship for GCE A-levels @Nixor College Karachi (~5000+ USD)

  2018-20