PhD student focusing on Scalable Quantum Program Verification · ScholarshipHunter · ScholarshipHunter