Find Academic Supervisors

Nai-Hui ChiaView profile

Assistant Professor

• Quantum Algorithms
• Quantum Complexity Theory
• Quantum Cryptography
• +3 more

Nai-Hui Chia is an Assistant Professor in the Department of Computer Science at Rice University. Previously, he held positions at Indiana University Bloomington (2021-2022), the University of Maryland's Joint Center for Quantum Information and Computer Science (2020-2021), and the University of Texas at Austin (2018-2020). He earned his Ph.D. in Computer Science and Engineering from Penn State University (2018) and a Bachelor's degree from National Taiwan University (2010). His research focuses on quantum algorithms, quantum complexity theory, and quantum cryptography. Key questions include exploring quantum advantages, computational limits, and the impact of quantum computing on computer science. He has contributed to foundational work on quantum circuit complexity, verification, and cryptographic protocols resilient to quantum attacks. Dr. Chia has received prestigious awards, including the NSF CAREER Award (2024), DOE Quantum Testbed Pathfinder Award (2023), and Google Scholar Award (2023). He actively participates in program committees for major conferences like TQC, Asiacrypt, and Crypto. Advising includes students like Yu-Ching Shen and Chia-Ying Lin, along with postdoctoral researchers. His work bridges theoretical computer science and quantum computing, with grants supporting research into quantum circuit size problems and post-quantum cryptography.

Paul GrubbsView profile

Assistant Professor

• Applied Cryptography
• Security
• Systems
• +4 more

Paul Grubbs is an Assistant Professor in the Department of Electrical Engineering and Computer Science at the University of Michigan. His research focuses on applied cryptography, security, and systems, particularly at the intersection of cryptographic protocols and real-world deployments. Education: PhD in Computer Science (Cornell University), BS in Mathematics and Computer Science (Indiana University) His work explores vulnerabilities in cryptographic systems, the design of secure key-value stores, and the societal implications of information security. Recent publications highlight advancements in zero-knowledge proofs, post-quantum cryptography, and encrypted database analysis. Key trends in his publications include: 1) Zero-Knowledge Proofs and Post-Quantum Security; 2) Privacy in Encrypted Systems; 3) Cryptographic Protocol Vulnerabilities; 4) Interdisciplinary approaches at the intersection of technology and societal impact. Scientific awards: IEEE Symposium on Security and Privacy 2023 Distinguished Paper Award USENIX Security 2020 Distinguished Paper Award Cornell Computer Science Dissertation Award Students include current advisees like Jiwon Kim, Anna Pui Yung Woo, and Chad Sharp (co-advised with Chris Peikert), plus former students Yang Du (MSc 2024), Quang Dao (MMath 2022), and Pengxiang Wang (BSE 2023). Grants include DARPA SIEVE (2021), Meta Privacy-Enhancing Technologies (2022), and NSF CAREER (2023). He has served on program committees for CRYPTO, IEEE S&P, and other leading conferences.

Gushu LiView profile

Assistant Professor

• Quantum Compiler
• Quantum Programming Language
• Quantum Algorithm Optimization
• +5 more

Dr. Gushu Li is an Assistant Professor at the University of Pennsylvania's School of Engineering and Applied Science, affiliated with the Computer and Information Science Department (primary) and Electrical and Systems Engineering Department (secondary). He leads the Penn Quantum System Lab, focusing on quantum computing software-hardware co-design. University: University of Pennsylvania School: School of Engineering and Applied Science Department: Computer and Information Science Academic Rank: Assistant Professor His research spans quantum compilers, programming languages, algorithm optimization, computer architecture, and electronic design automation. He develops techniques for quantum error correction verification, qubit mapping, and hybrid quantum-classical systems, with work integrated into IBM's Qiskit and Quantinuum's TKET frameworks. The 15 most recent publications highlight advancements in quantum simulation , bosonic quantum computing , fermion-to-qubit mapping , and NISQ-era architectures . Key methodologies include symbolic Hamiltonian compilation, adaptive tree structures, and runtime assertions for quantum program testing. 2024: NSF CAREER Award, NVIDIA Academic Grant Program Award, Intel Rising Star Faculty Award 2021-2022: QISE-NET Triplet Fellow, ACM SIGPLAN Distinguished Paper Award, multiple travel grants 2015-2017: Fellowships from UCSB, UChicago, and DAC Dr. Li advises four PhD students and actively recruits candidates with FPGA/digital design skills for 2025. His lab emphasizes interdisciplinary backgrounds to tackle quantum system challenges.

Vipul GoyalView profile

Associate Professor

• Cryptography
• Quantum Cryptography
• Security & Privacy
• +1 more

Vipul Goyal is an Associate Professor at the Computer Science Department of Carnegie Mellon University and a Senior Scientist at NTT Research in California. He is on leave from CMU since joining NTT Research in June 2020 after a 7-year tenure at Microsoft Research. His research focuses on Cryptography , Quantum Cryptography , Security & Privacy , and Theoretical Computer Science , supported by grants from NSF, DARPA, Department of Energy NETL, JP Morgan, Cisco, PNC, Ripple, and CyLab initiatives.

Sanjeev BaskiyarView profile

Professor

• Scheduling and Cloud Computing
• Computer Architecture
• Real-time and Embedded Computing
• +11 more

Sanjeev Baskiyar is a Professor in the Department of Computer Science and Software Engineering at Auburn University's College of Engineering. He has been actively involved in research, teaching, and academic leadership, with a strong focus on computer systems, real-time and embedded computing, scheduling, cloud and fog computing, and energy-aware architectures. Education: Ph.D., Electrical and Computer Engineering, University of Minnesota M.S., Electrical and Computer Engineering, University of Minnesota B.S., Electronics and Communications, Indian Institute of Science, Bangalore B.S., Physics (with honors), and distinction in Mathematics Dr. Baskiyar’s research interests span scheduling, real-time and embedded systems, computer architecture, fog/cloud computing, thermal/energy-aware computing, and STEM education. His recent work explores machine learning applications in scheduling and quantum computing for fake news detection. He has supervised over 25 graduate students, many of whom now hold academic and industry positions. His recent publications emphasize fog computing simulation, service placement, quantum-inspired fake news detection, and adaptive scheduling using machine learning. These works reflect a trend towards intelligent, scalable, and energy-efficient computing systems, particularly in distributed and edge environments. Scientific Awards and Honors: Walker Teaching Excellence Award, Auburn University, 2020 Summer Faculty Fellow, Air Force Research Labs, 2020 Nominated Best Teaching Assistant, University of Minnesota, 1992 Multiples Merit and State-merit Scholarships Honors in Physics and Distinction in Mathematics Dr. Baskiyar has successfully advised numerous MS and PhD students and secured over $2 million in research funding as Principal Investigator from the National Science Foundation, DARPA, NASA, and industry partners like Wind River Systems and Mentor Graphics. His grants focus on parallel computing education, real-time micro-architectures, and embedded systems. He has also served on editorial boards, program committees, and as a reviewer for NSF and IEEE journals. He has held leadership roles including Senator in the University Faculty Senate and Chair of the E-day Committee. Labs and Research Groups: While not explicitly named, Dr. Baskiyar leads a research group focused on computer systems, scheduling, and embedded computing, as evidenced by his long list of graduate student supervision and funded projects in fog, cloud, and real-time systems.

• Artificial Intelligence
• Human-Computer Interaction
• Computer Vision
• +4 more

Prof. Dr. Julius Schöning is a Professor at the Faculty of Engineering and Computer Science , Osnabrück University of Applied Sciences. His research focuses on Artificial Intelligence , Human-Computer Interaction , and Computer Vision within agricultural contexts. 2019–Present: Professor, Hochschule Osnabrück 2018–2019: System Architect, ZF Friedrichshafen AG 2014–2018: Researcher, University of Osnabrück 2009–2013: Project Lead/System Engineer, CLAAS Harsewinkel Education: M.Sc. in Intelligent Embedded Microsystems (Freiburg), B.Eng. in Mechatronics (DHBW Stuttgart) His research spans smart agriculture , quantum NLP , and explainable AI systems , with recent work on vibrotactile warning systems, AI compliance frameworks, and hybrid dataset applications in farming. Publications emphasize interdisciplinary approaches bridging technology and agricultural practice . Scientific honors include: DAAD Stipendium for conference participation Best Paper Award (2018) IEEE GHTC Student Paper Contest Winner (2016) Sonderpreis für gute Lehre (2017) Finalist/Falling Walls Lab (2015)

• Quantum Computing
• Quantum Foundations
• ZX-calculus
• +7 more

John van de Wetering is an Assistant Professor at the Theoretical Computer Science group of the Informatics Institute, University of Amsterdam, working with the QuSoft research center. He co-authored the open-access book Picturing Quantum Software and developed the PyZX quantum compiler. His research spans quantum computation and quantum foundations, focusing on diagrammatic methods like the ZX-calculus and ZH-calculus. Quantum circuit optimization and verification Quantum foundations via algebraic/compositional methods Co-creator of PyZX His recent publications explore multi-qutrit systems, completeness of graphical calculi, and quantum state representations. Supervises students in quantum computing, including Lia Yeh and Sarah Li. Directs the new Master's program in Quantum Computer Science at UvA. Actively contributes to open-source projects and international conferences. Notable collaborations include Aleks Kissinger, Neil J. Ross, and QuSoft researchers. Uses GitHub for DiZX development (qudit extension of PyZX). No explicit scientific awards mentioned.

Ibrahim KhalilView profile

Professor

• Security
• Privacy
• Federated Learning
• +4 more

Professor Ibrahim Khalil is a faculty member in the School of Computing Technologies at RMIT University, Melbourne, Australia. He holds a PhD in Computer Science from the University of Bern (2003) and has extensive industry experience in Silicon Valley focusing on secure network protocols. His research spans Security, Privacy, Federated Learning, Blockchain, Quantum Computing, and Distributed Systems. He leads high-impact projects funded by ARC grants (DP250100582, DP220100215, etc.) and international initiatives like the EU’s SELFY project. His work addresses challenges in secure AI data analytics, privacy-preserving systems, and critical infrastructure protection. Khalil supervises PhD/Masters students on topics ranging from federated learning security to quantum-enhanced machine learning. Education: PhD in Computer Science (University of Bern, 2003); prior roles at EPFL, Osaka University, and industry tech hubs. Research Interests: Privacy-Preserving Technologies Blockchain Applications in Healthcare and Supply Chains Quantum Computing for Machine Learning Secure Edge Computing and Federated Learning IoT Security and Critical Infrastructure Protection Grants & Collaborations: Over 10 major grants since 2017, including ARC Discovery/Linkage Projects and international partnerships (QNRF, EU). Notable projects include Privacy-Aware Digital Twins for Critical Infrastructure and Federated Learning frameworks for GenAI models. Advising & Labs: Active supervisor of 25+ research projects since 2013, focusing on anomaly detection, secure data analytics, and blockchain-based systems. Collaborates with industry partners on defense and healthcare tech.

Marko CetinaView profile

Assistant Professor

• Quantum Computing
• Quantum Optics
• Atomic Physics
• +3 more

Marko Cetina is an Assistant Professor of Physics and the Department of Electrical and Computer Engineering at Duke University, affiliated with the Duke Quantum Center. He holds a B.S. from the California Institute of Technology (2004) and a Ph.D. from the Massachusetts Institute of Technology (2011). His research focuses on quantum computing, quantum optics, and atomic physics, with particular emphasis on trapped-ion systems, quantum error correction, and quantum simulation. He teaches courses including Atomic Physics and Quantum Optics, Advanced Topics in Physics, and introductory mechanics. His work explores foundational aspects of quantum mechanics and applied technologies for scalable quantum computers. Notable contributions include demonstrating multi-body interactions in trapped ions and advancing measurement-induced quantum phases. His team actively develops fault-tolerant qubit control and novel quantum architectures using cavity-mediated systems. Publications highlight advancements in quantum error correction protocols, lattice gauge theories, and quantum verification protocols. While no explicit awards are listed, his involvement in high-impact studies like the Duke Quantum Center underscores his contributions to the field. Current projects include optimizing stabilizer codes for logical qubit memory and simulating NMR experiments via digital quantum methods. His lab collaborates across disciplines to bridge theoretical quantum mechanics with experimental implementations in trapped-ion platforms.

• Quantum Photonics
• Quantum Technologies
• Quantum Optics
• +2 more

Ana Predojevic is a University Lecturer at the Department of Physics, Stockholm University, focusing on quantum photonics and quantum technologies. Her research explores quantum optics, quantum information, and the generation and characterization of entangled light states using semiconductor devices and nonlinear processes. She completed her Habilitation at the University of Innsbruck (2016) and earned a PhD in Quantum Optics from the Institute of Photonic Sciences (ICFO) in Barcelona (2009). Her research career includes prestigious fellowships such as the Elise Richter and Lise Meitner awards from the Austrian Science Fund. Her recent work emphasizes two-photon interference, phonon-induced dephasing, photon indistinguishability, and multipartite entanglement engineering, leveraging cavity quantum electrodynamics and deep learning techniques for quantum state analysis. She has contributed to advancements in micropillar cavity devices for efficient photon pair generation and polarization entanglement studies in quantum dot systems. Scientific Awards: Elise Richter Fellowship (2014) Kanada Prize, University of Innsbruck (2014) Nachwuchsförderung Young Researcher Award (2013) Lise Meitner Fellowship (2010) Generalitat de Catalunya PhD Fellowship (2005) Her current role involves developing quantum light sources for real-world applications in communication, sensing, and simulation, working with the Quantum Photonics group at Stockholm University.

Ankit KariryaaView profile

Assistant Professor

• Machine Learning
• Remote Sensing
• Geospatial Analysis
• +4 more

Ankit Kariryaa is a Tenure Track Assistant Professor at the Department of Computer Science and Department of Geosciences and Natural Resource Management , University of Copenhagen. His work bridges Machine Learning and Environmental Informatics , focusing on remote sensing, geospatial analysis, and ecological modeling. University of Copenhagen, Denmark Machine Learning Section, Department of Computer Science Geography, Land, Environment and Society, Department of Geosciences Kariryaa specializes in applying deep learning and computer vision to environmental challenges. His research includes: Automated tree detection and biomass estimation via satellite imagery Multi-modal geospatial representation learning Monitoring farmland tree decline and carbon sequestration potential Agroforestry system mapping using AI Developing AI tools for climate policy and sustainability Recent work trends show a focus on quantum-inspired machine learning , environmental monitoring , and cross-cultural AI applications . His 15 most recent publications span topics in remote sensing , ecological modeling , and AI ethics , with methods ranging from neural networks to tensor-based learning. He collaborates across disciplines, notably with researchers in ecology , climate science , and quantum computing . His outreach includes seminars on AI in agroforestry and ecosystem management , while his team contributes to global tree resource databases like TreeSense.

Mike RosulekView profile

Professor

• Cryptography
• Secure Multi-Party Computation
• Private Set Intersection
• +3 more

Mike Rosulek is a Professor at Oregon State University's School of Electrical Engineering and Computer Science. He is a leading expert in cryptographic protocols for secure computation, with a focus on practical applications of garbled circuits, oblivious transfer, and private set intersection. His work bridges theoretical and applied cryptography, and he has authored the textbook The Joy of Cryptography , set for a revised print edition by MIT Press in December 2025. Research Interests Secure Multi-Party Computation Garbled Circuit Optimization Private Set Intersection Malicious Adversary Resistance Cryptographic Primitives Post-Quantum Security Rosulek has mentored numerous PhD and Master's students, including Ni Trieu , Lawrence Roy , and Jaspal Singh . His research is supported by grants from the NSF, Google, and Visa Research. Notable achievements include best paper honorable mentions at Crypto 2021 and the development of the first practical garbled neural networks. Scientific Awards NSF CAREER Award Google Faculty Research Award Visa Research Faculty Award Rosulek actively contributes to the cryptographic community through program committee roles at top conferences and co-organizing workshops like CFAIL. He also maintains an annotated bibliography of secure computation research and provides mentorship materials for graduate students.

Michael PradelView profile

Professor

• Software Engineering
• Programming Languages
• Program Analysis
• +9 more

Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools

Riad S. WahbyView profile

Assistant Professor

• Cryptography
• Blockchain Security
• Secure Hardware Systems
• +11 more

Riad S. Wahby is an Assistant Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University's College of Engineering. His work focuses on designing secure hardware and software systems, with recent emphasis on cryptographic proof systems. He actively mentors PhD students and collaborates across disciplines in cybersecurity, blockchain, and formal verification. PhD in Computer Science, Stanford University MEng in Electrical Engineering, Massachusetts Institute of Technology SB in Electrical Engineering, Massachusetts Institute of Technology Wahby's research spans cryptography , blockchain security , zero-knowledge proofs , and secure hardware-software co-design . His work addresses challenges in verifiable computation, privacy-preserving protocols, and hardware subversion resistance. Recent publications reveal trends in zero-knowledge proof systems (SNARKs, MPC), blockchain security (anonymous blocklisting, decentralized auctions), and hardware-crypto integration (weird machines, verifiable ASICs). Technical focus areas include formal verification, side-channel analysis, and cryptographic compilers. Distinguished Student Paper Award, IEEE Symposium on Security and Privacy (Oakland16), 2016 Best Paper Award, USENIX Annual Technical Conference (ATC18), 2018 Wahby collaborates with researchers across institutions and industries, including Dan Boneh at Stanford, Mike Walfish at NYU, and Silicon Labs in industrial roles. His CyLab affiliations connect him to over $400K in seed funding opportunities and blockchain initiatives at CMU.

Anomadarshi BaruaView profile

Assistant Professor

• System Design and Security
• Healthcare Assistive Systems
• Industrial Control Systems (ICS)
• +5 more

Anomadarshi Barua is an Assistant Professor in the Department of Cyber Security Engineering at George Mason University, leading the System Design and Security research group. His work spans hardware-software co-design for securing cyber-physical systems (CPS), robotics, and sensors. Prior Affiliation: PhD from University of California, Irvine (2023) Industry Experience: Intel Corporation, Solidigm, Nordic Semiconductor, IDEAS Research Themes: Focuses on multimodal system security (audio, visual, electromagnetic data), analog-digital signal integrity, and quantum-inspired defenses in CPS. Key applications include healthcare systems, smart grids, and industrial control systems (ICS). Recent ACSAC 2024 paper acceptance Best Paper Award at ACSAC 2022 NSF panel reviewer (2024) Labs & Collaborations: Collaborates with University of Louisville on robotics and works on Commonwealth-funded UG research (2024). Publications in ACM CCS, USENIX, CHES, and IEEE Transactions (TDSC, TIFS).