Registered user since Thu 21 Nov 2024
Name:Jam Kabeer Ali Khan
Bio:
I am a quantitative developer at the Core Strats team in Standard Chartered. Previously, I was a research intern at the Max Planck Institute for Security and Privacy (MPI-SP), working on relational logics and quantum cost analysis for probabilistic programs.
Country:Hong Kong SAR China
Affiliation:Standard Chartered Bank; Max Planck Institute for Security and Privacy (MPI-SP)
Personal website: https://jam-khan.github.io/
X (Twitter): https://x.com/KabeerJam76840
GitHub: https://github.com/jam-khan
Research interests: Formal Methods, Programming Languages, Functional Programming, Quantum Computing and Type Theory
Contributions
Using general profile