Oratrice: Jennifer Paykin (Université du Vermont)
Quand: le vendredi 10 avril 2026 de 16 h à 17 h
Où: PK-4610, Pavillon Président-Kennedy (UQAM), 201 avenue du Président-Kennedy

Résumé: As quantum computers continue to grow in popularity, there is increasing interest in distributed quantum systems, where both quantum and classical information can be shared between separate actors in a system. However, programming and reasoning about the behavior of these distributed quantum systems can be tricky. In this talk I will discuss work-in-progress that applies the concept of choreographic programming—a global view of all the actors in a network and its projection to concurrent processes—to quantum systems. In this setting, choreographies need to express shared entanglement, non-local effects, and probabilistic behaviors, all while ensuring communication safety of the endpoint projection. I will discuss the design decisions that go into such a language, including a linear type system.

Biographie: Jennifer Paykin is an Assistant Professor of Computer Science at the University of Vermont, where she works at the intersection of programming languages and quantum computing. Her research focuses on designing abstractions, type systems, and tools inspired by both mathematical theory and real-world experimental constraints, often in collaboration with physicists, mathematicians, and engineers.