Welcome
Recent News
Upcoming Events
Talk
IRB-5107 https://umd.zoom.us/j/4087857922
PhD Proposal: Towards Trustworthy Distributed Quantum Computing: From Programming, Semantics, and Verification to Executable Programs
Le Chang
Talk
IRB-5105
MS Defense: Distributed Swarm Formation Recognition via Local Features and Gossip-Averaged Graph Neural Networks
Samuel Badalov
Talk
IRB-4109 https://umd.zoom.us/my/gaurangs
PhD Defense: Safety, Robustness and Reliability of AI
Gaurang Sriramanan
Event
Talk
IRB-5105 https://umd.zoom.us/j/95950618771
MS Defense: Demystifying Property-Based Testing through Evaluation & Visualization
Ceren Mert
Talk
RB-5165 https://umd.zoom.us/j/2666211831
PhD Defense: Efficient Geometric Algorithms for Stochastic and Categorical Data
Aditya Acharya
Talk
IRB 1207
Optimal-distance atom-loss correction via the Pauli Envelope?
Pengyu Liu
Talk
IRB-5105 https://umd.zoom.us/j/4074500437?omn=93914316921
MS Defense: Vantage Point Path Planning for Efficient UAV Coverage Control
Alec Luterman
Talk
IRB 4105 or https://umd.zoom.us/j/93666933047?pwd=gWgqOgGbBP6laZclyURdDG2mNdArBt.1
Making Robust AI Safeguards Run Deep
Stephen Casper
Talk
IRB-4107 https://umd.zoom.us/j/3781038639?omn=97483647707
PhD Defense: DATA-DRIVEN DECISION-MAKING FOR SOCIETAL SYSTEMS: AUDITING MOBILITY, CONTEXTUAL DATA AND MODELS FOR HIGH-STAKES APPLICATIONS
Saad Mohammad Abrar
ATL 3100A and Virtual Via Zoom: https://umd.zoom.us/j/5143281910?pwd=yVnFnQ8H1qenNqHjvVDuNeoMsufWko.1&om...
PhD Defense: Transversal non-Clifford logical gates for quantum error-correcting codes
IRB-5105
MS Defense: Distributed Swarm Formation Recognition via Local Features and Gossip-Averaged Graph Neural Networks
IRB-4109 https://umd.zoom.us/my/gaurangs
PhD Defense: Safety, Robustness and Reliability of AI
IRB-5105 https://umd.zoom.us/j/95950618771
MS Defense: Demystifying Property-Based Testing through Evaluation & Visualization
ATL 3100A and Virtual Via Zoom: https://umd.zoom.us/j/7031888774?omn=91328805747
Achieving Optimal-Distance Atom-Loss Correction via Pauli Envelope
RB-5165 https://umd.zoom.us/j/2666211831
PhD Defense: Efficient Geometric Algorithms for Stochastic and Categorical Data
IRB-5105 https://umd.zoom.us/j/4074500437?omn=93914316921
MS Defense: Vantage Point Path Planning for Efficient UAV Coverage Control
IRB 4105 or https://umd.zoom.us/j/93666933047?pwd=gWgqOgGbBP6laZclyURdDG2mNdArBt.1
Making Robust AI Safeguards Run Deep






