Events
04-29
Exploring the Limits of the Efficiently Computable
Computer Science Small Auditorium (Room 105)
04-13
Software-Defined Networking at the National Security Agency
Computer Science Small Auditorium (Room 105)
04-13
Leveraging Array Signal Processing in the Wireless Internet of Things
Computer Science Small Auditorium (Room 105)
04-06
The Surprising Power of Modern Cryptography
Computer Science Small Auditorium (Room 105)
03-25
Parallel Proofs for Parallel Programs
Computer Science Small Auditorium (Room 105)
03-23
Iterative Methods, Combinatorial Optimization, and Linear Programming Beyond the Universal Barrier
Computer Science Small Auditorium (Room 105)
03-12
The Power of Asymmetry in Binary Hashing
Computer Science Small Auditorium (Room 105)
03-12
Deterministic Transaction Processing
Computer Science Small Auditorium (Room 105)
03-05
Unlocking Cellular Computation and Information Processing through Multidimensional Single-Cell Data
Computer Science Small Auditorium (Room 105)
03-03
Verifying distributed car and aircraft systems with logic and refinement
Computer Science Small Auditorium (Room 105)
...
...