Justin Hsu is a Ph.D. student at the University of Pennsylvania, advised by Benjamin Pierce and Aaron Roth. He did his undergraduate work at Stanford, where he received a B.S. in mathematics with honors. Justin’s current research focuses on differential privacy, game theory and randomized algorithms, both from the perspective of algorithm design and from the perspective of formal verification. He has written more than 15 papers, published in venues like STOC and POPL. He has created new algorithms that substantially improve our understanding of and our ability to solve convex programming problems subject to differential privacy. He has also developed new tools to formally verify properties of randomized algorithms, including differential privacy and Bayesian Incentive Compatibility. His ongoing work focuses on (among other things) how to develop formal verification tools that will be amenable to verifying the kinds of arguments typically used in theory-A paper proofs, including independence of random variables and concentration of measure arguments.

Related People

A man with blond hair wearing a navy blazer and light purple shirt stands indoors in front of large windows, smiling at the camera.

Andrea Alù

Director, Simons Collaboration on Extreme Wave Phenomena Based on Symmetries

A man with glasses and a beard, wearing a navy blazer and white shirt, smiles in a bright, modern office with blurred lights in the background.

B. Andrei Bernevig

Director, Simons Collaboration on New Frontiers in Superconductivity

An older man in a blue shirt sits smiling in an office with stacks of papers, a framed calligraphy piece, and a photo of a child on the desk behind him.

Roger Blandford

Director, Simons Collaboration on Extreme Electrodynamics of Compact Sources

A middle-aged man with short gray hair, wearing a dark blue button-up shirt, is looking at the camera with a neutral expression. The background is blurred indoors with hints of greenery.

Greg Bryan

Director, Simons Collaboration on Learning the Universe

Mirjam Cvetic

Principal Investigator, Simons Collaboration on Special Holonomy in Geometry, Analysis and Physics

Ron Donagi

Principal Investigator, Simons Collaboration on Homological Mirror Symmetry

Portrait photo of Simon K. Donaldson

Simon Donaldson

Principal Investigator, Simons Collaboration on Special Holonomy in Geometry, Analysis and Physics

Mathematics & Physical Sciences

The Mathematics and Physical Sciences division supports research aimed at advancing our understanding of fundamental questions in mathematics, physics and computer science. Through grants and collaborations, the division brings together researchers to pursue ambitious ideas, develop new approaches and foster scientific exchange.

Learn more
Abstract 3D shape with smooth, overlapping blue and light green surfaces, forming a dynamic, swirling pattern on a white background.