Find Academic Supervisors

Jonathan A. KelnerView profile

Professor

• Algorithms
• Spectral Graph Theory
• Combinatorial Optimization
• +7 more

Jonathan A. Kelner is a Professor of Applied Mathematics in the Department of Mathematics at the Massachusetts Institute of Technology (MIT) and a member of the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on applying techniques from pure mathematics to solve fundamental problems in algorithms and complexity theory, with the goal of developing practical algorithms for real-world questions. Dr. Kelner received his undergraduate degree from Harvard University and his Ph.D. in Computer Science from MIT in 2006. Before joining the MIT faculty, he spent a year as a member of the Institute for Advanced Study. His educational background has provided a strong foundation for his interdisciplinary research spanning mathematics and computer science. His research interests include combinatorial optimization, mathematical programming, spectral graph theory, distributed computing, machine learning, computational geometry and topology, computational biology, signal processing, and random matrix theory. Kelner's work demonstrates how deep theoretical insights can lead to practical algorithmic improvements, particularly in graph algorithms and optimization problems. His approach often involves connecting seemingly disparate areas of mathematics to create novel algorithmic techniques. Analysis of his recent publications reveals a strong focus on spectral graph theory, optimization algorithms, and the Sum-of-Squares method. His work frequently addresses fundamental questions in theoretical computer science with practical implications for algorithm design. A notable trend in his research is the development of nearly-linear-time algorithms for various graph problems, which represents significant improvements over previous approaches. NSF CAREER Award Alfred P. Sloan Research Fellowship NEC Award for Research in Computers and Communication Sprowls Doctoral Dissertation Award Best Student Paper Award at STOC 2004 Best Paper Award at STOC 2011 Kokusai Denshin Denwa Junior Faculty Chair 2008 Harold E. Edgerton Faculty Achievement Award 2011 School of Science Award for Excellence in Undergraduate Education 2012 Professor Kelner has been actively involved in mentoring students and has received recognition for his teaching excellence, including the School of Science Award for Excellence in Undergraduate Education in 2012. His research has been supported by prestigious grants including the NSF CAREER Award. He has collaborated extensively with researchers across multiple institutions, often working with other leading figures in theoretical computer science to produce groundbreaking results in algorithm design. At MIT, Kelner is part of both the Mathematics Department and CSAIL, positioning him at the intersection of theoretical mathematics and practical computer science. This dual affiliation reflects the interdisciplinary nature of his work, which bridges pure mathematical theory with concrete algorithmic applications.

• Computer Hardware
• FPGA Acceleration
• Artificial Intelligence
• +8 more

Professor Wayne Luk is a Professor of Computer Engineering at the Department of Computing, Faculty of Engineering, Imperial College London. He leads the Programming Languages and Systems Section and the Custom Computing Research Group, and directs the EPSRC Centre for Doctoral Training in High-performance Embedded and Distributed Systems and the Centre for Advanced Financial Engineering. He previously served as a Visiting Professor at Stanford University from 2006 to 2009. His research spans FPGA acceleration, quantum computing, deep learning optimization, and algorithm-hardware co-design, with affiliations to the CRUK Convergence Science Centre and the Engineering Secure Software Systems group. His research interests include computational modeling for particle physics, causal discovery in agent-based systems, and high-throughput digital electronics. Notable contributions include FPGA-accelerated algorithms for neural networks, quantum circuit simulation, and Bayesian optimization frameworks. His work emphasizes practical applications of reconfigurable hardware in fields like medical imaging, high-energy physics, and financial systems. Professor Luk is a Fellow of the Royal Academy of Engineering, IEEE, and BCS. His publications focus on advancing hardware-aware machine learning, FPGA-based acceleration techniques, and scalable design methodologies. His research bridges theoretical computer science with applied engineering, addressing challenges in real-time systems, embedded computing, and next-generation computing architectures. His academic leadership includes directing interdisciplinary centers and training programs, fostering collaboration across computing, engineering, and physics. Current projects explore quantum computing tools, causal inference systems, and high-performance graph neural networks for particle physics applications.

Crystal SenkoView profile

Assistant Professor

• Quantum Computing
• Quantum Simulation
• Trapped Ion Manipulation
• +3 more

Dr. Crystal Senko is an Assistant Professor and Canada Research Chair in Trapped Ion Quantum Computing at the Institute for Quantum Computing (IQC) , University of Waterloo. Her research focuses on quantum simulations, quantum computing with trapped ions, and qudit-based systems. She holds a Ph.D. in Physics from the University of Maryland (2014) and a B.Sc. in Physics from Duke University (2009). Her research interests span Quantum Computing , Quantum Simulation , Trapped Ion Manipulation , and Photonics . Key projects include optimizing qudit-based quantum computing protocols and developing photonic crystal waveguides for atom-photon interactions. Recent work emphasizes trapped ion efficiency, laser noise mitigation, and programmable quantum simulators. Dr. Senko has authored influential papers on trapped ion systems, including studies on multi-level qudit control, nanophotonic cavity coupling, and non-thermalization in spin chains. Her work bridges theoretical quantum models and experimental advancements in scalable quantum hardware. Awards: Canada Research Chair (Trapped Ion Quantum Computing) Teaching: Courses include Quantum Physics 2 (PHYS 334), Quantum Mechanics 1 (PHYS 701), and Special Topics in Quantum Information Processing (PHYS 768/QIC 890). Labs/Teams: Affiliated with IQC and previously contributed to Harvard’s Center for Ultracold Atoms.

• Evolutionary Computation
• Machine Learning
• Natural Computing
• +5 more

Thomas Bäck is a Professor at the Leiden Institute of Advanced Computer Science (LIACS) , Leiden University , Netherlands, and a member of the interdisciplinary programme Society, Artificial Intelligence and Life Sciences (SAILS) . His academic career spans roles at Leiden University (1996–present) and leadership positions at the Center for Applied Systems Analysis in Dortmund (1994–2000). Education : Diplom-Informatiker (Computer Science), Technische Universität Dortmund (1990) Dr. rer. nat. (Computer Science), Technische Universität Dortmund (1994) Research Interests : Dr. Bäck specializes in evolutionary computation , machine learning , and their applications in sustainable smart industry and healthcare . Recent work focuses on integrating large language models (LLMs) and quantum computing into optimization frameworks, with projects like CIMPLO (predictive maintenance), ECOLE (experience-based optimization), and SAPPAO (airline operations optimization). Scientific Contributions : His 526+ publications cover evolutionary algorithms, quantum optimization, and LLM-driven design, with recent trends including: Quantum computing (e.g., quantum approximate optimization, quantum advantage challenges) LLM integration (e.g., hyperparameter tuning, mutation control, code evolution graphs) Healthcare and industry (e.g., predictive maintenance, anomaly detection, melt quality prediction) Algorithm benchmarking (e.g., IOHprofiler, MA-BBOB, explainable benchmarking) Scientific Awards : IEEE Fellow (2022) Royal Netherlands Academy of Arts and Sciences (KNAW) member (2021) Academia Europaea member (2022) IEEE Computational Intelligence Society Evolutionary Computation Pioneer Award (2015) Fellow, International Society of Genetic and Evolutionary Computation (2003) Best Ph.D. thesis award, German Society of Computer Science (GI) (1995) Advising and Grants : He supervises Ph.D. candidates in evolutionary computation and machine learning and has secured 7 major grants from organizations like the Dutch Research Council , European Commission , and The Research Council of Norway . His editorial roles include Editor-in-Chief of the Evolutionary Computation Journal and associate editorships in leading AI journals.

Bilal FarooqView profile

Associate Professor

• Disruptive transportation technologies and services
• Cyber-physical transportation systems
• Artificial intelligence and machine learning
• +4 more

Bilal Farooq is an Associate Professor and Program Director for the Master of Engineering in Interdisciplinary Engineering (MEIE) at Toronto Metropolitan University, holding the Canada Research Chair in Disruptive Transportation Technologies and Services within the Department of Civil Engineering. His educational background includes a PhD from the University of Toronto (2011), MASc from Lahore University of Management Sciences (2004), and BSc from the University of Engineering and Technology (2001). Dr. Farooq's research pioneers disruptive transportation solutions through cyber-physical systems, AI/machine learning applications, behavioral modeling, and optimization techniques. His work specifically targets on-demand multimodal systems, sustainable urban transportation, urban air mobility, automated vehicles, and extended reality applications, addressing critical urban mobility challenges with human-centered approaches. Analysis of his recent publications reveals a strong trend toward quantum-enhanced computational methods, privacy-preserving federated learning frameworks, and sustainability-focused decarbonization strategies across transportation domains, with increasing emphasis on human factors and real-world implementation. Notable scientific awards include: Ontario Early Researcher Award (2018) Canada Research Chair (2017) MassMotion Academic Pedestrian Modelling Project of the Year (2016) Québec Early Researcher Award (2014) Dr. Farooq actively supervises graduate students and secures significant research funding through his Canada Research Chair position and Early Researcher Awards. He directs the Laboratory of Innovations in Transportation (LiTrans), which develops interdisciplinary solutions integrating mathematics, engineering, computer science, and economics to address emerging transportation challenges. LiTrans focuses on disruptive transportation technologies, complete streets design, cyber-physical systems, pedestrian dynamics, resilience, and climate change impacts, collaborating with industry and government partners to translate research into practical urban mobility innovations for smart cities worldwide.

• Security
• Cryptography
• Theoretical Computer Science
• +3 more

Yan Huang is an Associate Professor in the Department of Computer Science at Indiana University Bloomington, focusing on security and cryptography. His work bridges theoretical foundations with practical systems, emphasizing cryptographic protocols with strong security guarantees for generic computation. University: Indiana University Bloomington School: College of Arts and Sciences Department: Computer Science Academic Rank: Associate Professor His research combines theoretical computer science , program analysis , artificial intelligence , and software engineering to address real-world security problems. Key areas include secure computation , zero-knowledge proofs , and privacy-preserving technologies . Recent publications, such as Phecda (SP'25) and Dubhe (USENIX Security'23), highlight advancements in post-quantum cryptography , AES verification , and privacy-preserving deep packet inspection , reflecting his focus on scalable and practical cryptographic solutions. He has advised notable students including Changchang Ding (PhD, Computer Science) and Ruiyu Zhu (PhD, now at Facebook), and served on program committees for top conferences like ACM CCS and CRYPTO .

Henry HoffmannView profile

Professor

• Self-aware & Adaptive Computing
• Computer Systems
• Computer Architecture
• +6 more

Henry Hoffmann is a Professor and Liew Family Chair in the Department of Computer Science at the University of Chicago. His research focuses on self-aware computing systems that adapt to meet goals like power efficiency, performance, and security. He leads the SEEC project and has contributed to advancements in computer architecture, embedded systems, and quantum computing. Hoffmann received the PECASE (2019), DOE Early Career Award (2015), and was inducted into the Samsung Hall of Fame for discovering vulnerabilities in SmartTVs. He holds a PhD from MIT (2013) and has co-founded Config Dynamics (2019). His work bridges control theory, machine learning, and traditional computer systems to create adaptive solutions for modern computing challenges. Education: PhD in Electrical Engineering and Computer Science from MIT (2013), SM (2003), and B.S. (1999) with highest honors from UNC Chapel Hill. Professional experience includes roles at Tilera Corporation and MIT Lincoln Laboratory. Research Interests: Self-aware systems, adaptive resource management, quantum computing optimization, and cybersecurity. His SEEC framework enables systems to autonomously adapt to constraints like energy and performance. Recent work explores applying adaptive techniques to AI/ML models for energy-efficient inference and security. Awards: Over $19M in research funding, 100+ publications, and leadership roles in NSF Expedition EPiQC (quantum computing). Named Chair of UChicago CS Department (2023-2024). Labs/Teams: Systems Group, EPiQC (quantum computing), and CERES (unstoppable computing systems). Current students include Jerry Ding and Ryien Hosseini. Notable alumni include Yi Ding (now faculty at Purdue) and Nikita Mishra.

Franz FranchettiView profile

Professor

• High-Performance Computing (HPC)
• Parallel Computing
• Algorithm and Hardware Co-Synthesis
• +5 more

Franz Franchetti is the Kavčić-Moura Professor of Electrical & Computer Engineering at Carnegie Mellon University. He serves as Associate Dean for Research and Director of the Engineering Research Accelerator at CMU. Education: Ph.D. in Computational Mathematics (Vienna University of Technology, 2003) M.Sc. in Technical Mathematics (Vienna University of Technology, 2000) His research interests focus on automatic performance tuning and program generation for emerging parallel computing platforms , including multicore CPUs , GPUs , and 3DIC chip design . He leads the SPIRAL effort to automate highly optimized software libraries and explores domain-specific compiler transformations in HPC applications for smart grids and material sciences . Recent work extends SPIRAL to quantum computing . The scientific awards Franchetti has received include the Gordon Bell Prize (2006) , HPC Challenge Class II Award (2010) , and the CIT Dean's Early Career Fellowship (2013) . He and his students have won multiple Best Paper Awards at HPEC, DAC, and ISPA ACM TODAES Best Paper (2014) Student Research Competition wins (PACT 2024, CGO 2023) Franchetti has advised students like Richard Veras and Thom Popovici . He has secured significant grants from agencies such as DARPA, DOE, NSF, and industry partners (Intel, NVIDIA, Mercury). He co-founded SpiralGen, Inc. and holds leadership roles in organizations like ASciNA Western Pennsylvania and as Honorary Consul of Austria in Pittsburgh.

Jason CongView profile

Professor

• Electronic Design Automation
• VLSI CAD
• FPGA Synthesis
• +6 more

Jason Cong is the Volgenau Chair for Engineering Excellence and Distinguished Chancellor's Professor in the Computer Science Department at UCLA's Samueli School of Engineering. He directs the Center for Domain-Specific Computing (CDSC) and the VLSI Architecture, Synthesis, and Technology (VAST) Laboratory, and serves as Associate Vice Provost for Internationalization and Co-Director of UCLA/PKU Student and Scholar Program. Dr. Cong's research spans electronic design automation, customizable computing for machine learning and big-data applications, quantum computing, and highly scalable algorithms. His work has produced over 500 publications with more than 41,000 citations and an H-index of 106. His recent work focuses on quantum computing compilation, domain-specific acceleration for AI workloads, and high-level synthesis optimization techniques that leverage machine learning. His publication trend shows a strong emphasis on quantum computing and machine learning acceleration in recent years, with numerous papers on quantum layout synthesis, LLM acceleration, and high-performance FPGA implementations. His team has developed frameworks like TAPA for task-parallel dataflow programming and RapidStream for automated parallel implementation of FPGA designs. Member of National Academy of Engineering (2017) IEEE Robert N. Noyce Medal recipient (2022) Phil Kaufman Award recipient (2024) ACM Chuck Thacker Breakthrough Award recipient (2024) 18 Best Paper Awards across major conferences Multiple 10-Year Retrospective Most Influential Paper Awards Dr. Cong has graduated 50 PhD students, many of whom are now faculty at major research universities or hold key positions at leading tech companies. He has led over 100 research projects funded by DARPA, NSF, SRC, and industry sponsors. His entrepreneurial activities include founding three successful companies (Aplus Design Technologies, AutoESL, and Falcon Computing Solutions), all acquired by major EDA players. His VAST Laboratory continues to push boundaries in domain-specific computing, with active research in quantum computing, AI acceleration, and high-performance FPGA implementations.

Elias JarlebringView profile

Professor

• Numerical Linear Algebra
• Matrix computations
• Nonlinear eigenvalue problems
• +10 more

Elias Jarlebring is a Professor in Numerical Linear Algebra at the Department of Mathematics, KTH Royal Institute of Technology, Stockholm. He has held the position of Full Professor since 2021, following his tenure as Associate Professor (2013-2021) and Dahlquist Research Fellow (2011-2013). His research focuses on numerical analysis, numerical linear algebra, matrix computations, and scientific computing. Jarlebring develops linear algebra algorithms to solve problems from various fields including systems and control, acoustics, electromagnetics, data science, quantum mechanics, and quantum chemistry. He is a core developer of NEP-PACK, a scientific computing software package for nonlinear eigenproblems. His recent publications demonstrate significant contributions to computational methods for nonlinear eigenvalue problems, matrix functions, and parameterized linear systems. The research shows a clear trajectory toward increasingly complex applications in quantum computing, data science, and wave propagation problems. Project grant, Swedish research council (2019) Ruth och Nils-Erik Stenbäcks foundation, junior grant (2019) Göran Gustafsson Prize for junior researchers (2014) Project grant for junior researchers, Swedish research council (2014-2018) Professor Jarlebring has supervised numerous PhD students including Vilhelm Peterson Lithell, Gustaf Lorentzon, Siobhán Correnty, Parikshit Upadhyaya, Emil Ringh, Antti Koskela, and Giampaolo Mele. He has received multiple research grants from the Swedish Research Council and serves as editor for BIT Numerical Mathematics, Linear and Multilinear Algebra, NACO Numerical Algebra Control and Optimization, and CALCOLO. He is actively involved in the numerical linear algebra community as a member of ILAS (International Linear Algebra Society), GAMM Activity Group on Numerical Linear Algebra, and the Nordic Numerical Linear Algebra Association. He also contributes to open source projects, particularly in the Julia programming language ecosystem.

• Computer Science
• Software Engineering
• Artificial Intelligence
• +5 more

Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.

Yi DingView profile

Assistant Professor

• AI/ML Systems
• Sustainable Computing
• Computer Systems
• +3 more

Yi Ding is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University, where they lead the STYLE (Sustainable computing Systems and LEarning) Lab. Dr. Ding joined Purdue in August 2023 after completing a postdoctoral fellowship at MIT CSAIL as an NSF Computing Innovation Fellow, mentored by Michael Carbin. During their postdoc, they also held a visiting position at Meta Infra Data Center to improve server maintenance efficiency in hyperscale datacenters. They received their Ph.D. in Computer Science from the University of Chicago, advised by Henry Hoffmann. Dr. Ding's research focuses on computer systems, computer architecture, and AI/ML, with strong emphasis on applications in sustainability and healthcare. Their work spans sustainable computing, including energy efficiency in datacenters and LLM serving, as well as healthcare applications such as mental health prediction and EEG analysis. Their recent publications demonstrate a strong trend toward addressing environmental impacts of computing, particularly in datacenters and AI systems, while also exploring innovative healthcare applications. Their research bridges systems, sustainability, and health domains, creating novel solutions for pressing societal challenges. Dr. Ding has received notable recognition including the Seed Funding for High-Impact Review Papers (2024), the Meta Research Award (2021), and was selected as a Computing Innovation Fellow by CRA/CCC (2020). Seed Funding for High-Impact Review Papers (2024) with Inez Hua 1st Place in Research Talk in CoE at Fall 2024 Undergrad Research Expo (awarded to Gavin Fortwendel) 2020 Computing Innovation Fellow by CRA/CCC Meta Research Award on Statistics for Improving Insights, Models, and Decisions (2021) Dr. Ding is actively recruiting self-motivated Ph.D. students interested in AI/ML systems research. They have secured funding for undergraduate research projects through DUIRI, focusing on sustainable AI computing and energy use in training autonomous vehicles. Their lab collaborates with various institutions including MIT, Meta, and interdisciplinary partners at Purdue. The STYLE Lab under Dr. Ding's leadership is actively engaged in multiple research initiatives addressing sustainable computing and healthcare applications, with strong industry connections and funding support from both internal university sources and external partners.

Andrew McCallumView profile

Professor

• Machine Learning
• Artificial Intelligence
• Natural Language Processing
• +3 more

Andrew McCallum is a Distinguished Professor and Director of the Center for Data Science at the University of Massachusetts Amherst. He holds a PhD in Computer Science from the University of Rochester (1995) and a BS from Dartmouth College (1989). His research focuses on machine learning, natural language processing, and information extraction, with applications to scientific literature and knowledge base construction. He has pioneered work on conditional random fields and probabilistic databases, and led the development of systems like Rexa, an advanced research paper search engine. Affiliations: Center for Data Science, Center for Intelligent Information Retrieval, Computational Social Science Institute Key Projects: OpenReview.net, Unified Information Extraction, Automated Knowledge Base Construction His work emphasizes extracting actionable knowledge from unstructured text, with contributions to social network analysis, entity resolution, and semi-supervised learning. McCallum has over 300 publications and has received awards including the NSF ITR Grant, IBM Faculty Partnership Awards, and ACM/AAAI Fellowships. He has advised numerous students and served as ICML General Chair (2012). Recent Research Trends: Probabilistic box embeddings, case-based reasoning for knowledge bases, scalable clustering algorithms, and applications in biomedical informatics.

• Russian Literature
• Historical Studies
• Prison Narratives
• +4 more

Dr. Sarah Young is an Associate Professor at the School of Slavonic and East European Studies (SSEES), University College London. Her academic journey includes a BA (Honours) in Russian and French from Trinity College, Cambridge, followed by an MA in European Languages and Culture at the University of Manchester and a PhD in Russian Literature from the University of Nottingham. Her research focuses on Russian literature, particularly Dostoevsky’s narrative structures, prison narratives, and the history of penal systems in Russia. She has held a Leverhulme Fellowship and previously taught at the University of Leeds and the University of Toronto. Her work explores themes like Siberian exile, political imprisonment, and revolutionary memoirs, as seen in her book Writing Resistance: Revolutionary Memoirs of Shlissel’burg Prison, 1884-1906 . She also investigates Gulag literature, societal impacts of quantum technologies, and inclusive STEM education for neurodivergent students. Her blogs ( www.sarahjyoung.com ) and websites ( Mapping Petersburg , Shlisselburg ) further her interdisciplinary research. Her scholarly contributions span literary criticism, historical analysis, and policy studies. Awards include the Leverhulme Special Research Fellowship (2001-2003). She actively engages in academic mentoring and has published on research practices across disciplines like environmental engineering and marine conservation.

Mingsheng YingView profile

Professor

• Quantum Computation
• Quantum Programming
• Model-checking Quantum Systems
• +5 more

Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.