Registered user since Thu 21 Nov 2024
Name:Jam Kabeer Ali Khan
Bio:
I am a research intern at the Max Planck Institute for Security and Privacy in Bochum, Germany, and a final-year undergraduate student at the University of Hong Kong. My research interests lie in formal methods, programming languages, and quantum computing.
Country:Germany
Affiliation:Max Planck Institute for Security and Privacy (MPI-SP); The University of Hong Kong (HKU)
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