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)

Research interests: Formal Methods, Programming Languages, Functional Programming, Quantum Computing and Type Theory