Background
Alex earned his Ph.D. in Computer Science from the University of Maryland, where
he was advised by Jonathan Katz. His thesis focused on developing efficient
protocols for secure multi-party computation. In addition, he worked on
synthesizing secure symmetric key encryption schemes, receiving the best paper
award at CCS 2015 for his work on the automated analysis and synthesis of
authenticated encryption schemes.
At Galois, Alex works on improving various layers of the secure computation
“software stack”, from designing more efficient underlying protocols to
developing programming languages and optimizing compilers targeting secure
computation backends.