Jam Kabeer Ali Khan's profile picture

Jam Kabeer Ali Khan


jamkhan@connect.hku.hk
LinkedIn
GitHub

I am a 3rd Year Undergraduate studying CS and Math at University of Hong Kong. I am working as a research intern at the QICI (Quantum Information and Computation Initiative) lab under Prof. Ravi Ramanathan. My current research is on the Device-Independent Quantum Key Distribution, specifically Device-Independent QKD. I am interested in Quantum Information, Programming Languages and Formal Verification. I am doing my Bachelor's thesis on Formal Verification of Quantum Programs under the supervision of Prof. Bruno C. d. S. Oliveira. I have experience in Coq Theorem Prover and type theory. As part of my Bachelor's thesis, I am currently exploring tools like CoqQ, QWIRE and Qbricks to formally verify some Quantum Algorithm that hasn't been formally verified yet. I plan to pursue further research in the Formal Verification and Type Systems of Quantum Programs.

  • HKUWW Exchange Scholarship ,
  • Full-Tuition HKU Scholarship,
  • Cathay Hackathon '23, won a Free Return ticket to Boston.
  • Full Tuition Scholarship, @ Nixor College Karachi

Education

2023

CPU-PCGCN: Efficient Processing of Convolutional Graph Networks on CPU Architectures
Nicolás Meseguer-Iborra, José L. Abellán, Manuel E. Acacio
19th International Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Fiuggi (Italy), July 2023.
Poster Abstract BibTeX
@article{2023cpupcgcn, author = {Meseguer-Iborra, Nicolas and Abellán, José L. and Acacio, Manuel E.}, year = {2023}, month = {July}, title = {CPU-PCGCN: Efficient Processing of Convolutional Graph Networks on CPU Architectures}, journal = {Advanced Computer Architecture and Compilation for High-performance Embedded Systems}, volume = {19}, pages = {5--8}, isbn = {978-90-7842-704-9} }

2022

CPU-PCGCN: Procesamiento Eficiente de Redes Convolucionales de Grafos en Arquitecturas CPU
Nicolás Meseguer-Iborra, Francisco Muñoz-Martínez, José L. Abellán, Manuel E. Acacio
XXXII Jornadas de Paralelismo, Alicante (Spain), September 2022.
PDF BibTeX
@article{2022cpupcgcn, author = {Meseguer-Iborra, Nicolas and Muñoz-Martínez, Francisco and Abellán, José L. and Acacio, Manuel E.}, year = {2022}, month = {June}, title = {CPU-PCGCN: Procesamiento Eficiente de Redes Convolucionales de Grafos en Arquitecturas CPU}, journal = {Avances en Arquitectura y Tecnología de Computadores}, volume = {32}, pages = {445--453}, isbn = {978-84-1302-185-0} }

2021

Evaluación de un Sistema de Recomendación en un Acelerador Híbrido
Nicolás Meseguer-Iborra, Francisco Muñoz-Martínez, Manuel E. Acacio, José L. Abellán
XXXI Jornadas de Paralelismo, Málaga (Spain), September 2021.
PDF BibTeX
@article{2021dlrm, author = {Meseguer-Iborra, Nicolas and Muñoz-Martínez, Francisco and Acacio, Manuel E. and Abellán, José L.}, year = {2021}, month = {June}, title = {Evaluación de un Sistema de Recomendación en un Acelerador Híbrido}, journal = {Avances en Arquitectura y Tecnología de Computadores}, volume = {31}, pages = {107--115}, isbn = {978-84-09-32487-3} }
https://nicolasmeseguer.notion.site/StreaMemory-Benchmark-35739f7f69404274a1d287f6827ef203
⛲ StreaMemory Benchmark
25 min
11 feb. 2022
#benchmark #mgpusim #akita
https://nicolasmeseguer.notion.site/Elementwise-2D-546f8fe9a8a24852a234bdc28b00cd15
🧊 Elementwise 2D Tensor
10 min
12 dec. 2022
#mgpusim #akita
https://nicolasmeseguer.notion.site/Tracing-LDS-Unit-69210a9d8fe44b4a997f8391aa508621
🛤️ Tracing LDS Unit
20 min
30 nov. 2022
#mgpusim #akita #tracing
https://nicolasmeseguer.notion.site/DAISEN-Tutorial-9d041575a9b0489099086152fd9a927e
📊 DAISEN Tutorial
15 min
15 nov. 2022
#mgpusim #akita #daisen

2024

3.00 ECTS.

2023

3.00 ECTS.
3.00 ECTS.

José Ángel Nicolás Ortega
9.9
🌲 🌍
🌲 🌍
🌲 🌍