AG-66
Private Optimization and Statistical Physics: Low-Rank Matrix Approximation
Games of Pursuit and Evasion
The complexity of formal proofs
The Various Flavours of Computer Systems & Networking Research: A Personal Journey
Communication Complexity of XOR Functions
Informatics Between Science and Technology: Lessons From Experience Between Fundamental Research and Concrete Software Applications
Coding for Interactive Communication: A survey on recent progress
Linear-algebraic List Decoding and Subspace-evasive Sets
The Math in Wireless
Pages
