Seminar by Rajagopal Nagarajan

On November 13th, Rajagopal Nagarajan gave a seminar titled “Formal Methods¬† for Quantum Information Science” at the Department of Computer Science, University¬† of Liverpool. The talk was an overview of ongoing work in using techniques from process calculus and model-checking for the specification and verification of quantum protocols.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!