log in  |  register  |  feedback?  |  help  |  web accessibility
PLunch: Verified Quantum Computing
Robert Rand - University of Maryland, College Park
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)

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