Fighting Nuclear Proliferation with Cryptography

Posted by Rob Knies

Boaz Barak specializes in theoretical computer science. He has a Ph.D. from the Weizmann Institute of Science, has been a member in the School of Mathematics at the Institute for Advanced Study, based in Princeton, N.J., and then moved across town to serve as an associate professor in the Department of Computer Science at Princeton University.

Now, as a senior researcher at Microsoft Research New England, he is helping to verify the presence of nuclear warheads.

That might seem an unlikely turn of events, but it just goes to show the unusual opportunities Microsoft Research scientists get to improve our world for the better.