Select a calendar:
Filter March Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for March 30, 2022
-
CS Undergraduate Web Registration Live Chat AssistanceWed, Mar 30, 2022 @ 09:00 AM - 09:30 AM
Thomas Lord Department of Computer Science
Student Activity
If you are a CS undergraduate with a web registration permit time of 9am today and are having difficulty with web registration, the advisement staff will be available from 9:00am - 9:30am to help troubleshoot your registration questions and issues. Chat with us at https://www.cs.usc.edu/chat/
Audiences: Undergrad
Contact: USC Computer Science
-
CS Colloquium: Nengkun Yu (University of Technology Sydney) - Efficient verification and testing of quantum programs
Wed, Mar 30, 2022 @ 11:00 AM - 12:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Nengkun Yu , University of Technology Sydney
Talk Title: Efficient verification and testing of quantum programs
Series: CS Colloquium
Abstract: Quantum can solve complex problems that classical computers will never be able to. In recent years, significant efforts have been devoted to building quantum computers to solve real-world problems. To ensure the correctness of quantum programs, we develop verification techniques and testing algorithms for quantum programs. In the first part of this talk, I will overview efficient reasoning about quantum programs by developing verification techniques and tools that leverage the power of Birkhoff & von Neumann quantum logic. In the second part, I will review my work on quantum state tomography, i.e., learning the classical description of quantum states, which closes a long-standing gap between the upper and lower bounds for dynamic testing the properties of a quantum program's output.
This lecture satisfies requirements for CSCI 591: Research Colloquium
Biography: Nengkun Yu is an associate professor in the Centre for Quantum Software and Information, the University of Technology Sydney. He received his B.S. and PhD degrees from the Department of Computer Science and Technology, Tsinghua University, Beijing, China, in July of 2008 and 2013. He won a distinguished paper award at OOPSLA 2020 and a distinguished paper award at PLDI 2021. His research interest focuses on quantum computing.
Host: Todd Brun / Jyo Deshmukh
Location: online only
Audiences: By invitation only.
Contact: Assistant to CS chair
-
Computer Science General Faculty Meeting
Wed, Mar 30, 2022 @ 12:00 PM - 02:00 PM
Thomas Lord Department of Computer Science
Receptions & Special Events
Bi-Weekly regular faculty meeting for invited full-time Computer Science faculty only. Event details emailed directly to attendees.
Location: TBD
Audiences: Invited Faculty Only
Contact: Assistant to CS chair
