log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
PLunch: Verified Quantum Computing
Robert Rand - University of Maryland, College Park
5237 Brendan Iribe Center for Computer Science and Engineering (IRB)
Wednesday, May 1, 2019, 1:00-2:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Weekly PL lunch. Robert Rand will be discussing his work on verifying quantum programs in Coq. Notes can be found on his course webpage: http://www.cs.umd.edu/class/spring2019/cmsc631/Schedule.html

This talk is organized by Kesha Hietala