Organizer(s):

Lirong Xia, DIMACS

Nengkun Yu, Stony Brook University

Zheng Zhang, Rutgers University

Description

The DIMACS Workshop on Quantum Software Theory and Systems brings together researchers from quantum computing, formal methods, and computer science to advance the theory and practice of quantum software. The workshop fosters collaborations across quantum algorithms, programming languages, software architectures, verification, and system design.  Through the exchange of ideas and research, it seeks to identify key challenges, explore potential solutions, and lay the groundwork for developing scalable tools, frameworks, and robust foundations for future quantum technologies.

Organizational Committee Members:

Yufei Ding, University of California, San Diego

Yipeng Huang, Rutgers University

Ali Javadi, IBM

Minsung Kim, Rutgers University

Yuan Liu, North Carolina State University

Jens Palsberg, University of California, Los Angeles

Robert Rand, University of Chicago

Yunong Shi, Amazon

Mario Szegedy, Rutgers University

Runzhou Tao, University of Maryland

Xiaodi Wu, University of Maryland

Huiyang Zhou, North Carolina State University

Program

Friday, May 16, 2025

Call For Participation

This workshop is by invitation only.

Parking: If you do not have a Rutgers parking permit and you plan to drive to the workshop, there will be free parking in Lot 64, which is adjacent to the CoRE Building, but you must register your car to park.