= Boaz Barak
{c}
<Boaz Barak> works on <computational complexity theory>, <cryptography> and the mathematical foundations of <machine learning>. His research homepage describes these interests and identifies his textbooks and lecture notes.https://www.boazbarak.org/[Research description and Writing]{ref} His <Introduction to Theoretical Computer Science by Boaz Barak> develops computation through explicit models and resource bounds.
One example is <pseudorandomness>: a generated distribution can look random to efficient observers even though an unrestricted observer distinguishes it. Specifying the observer turns “looks random” into a mathematical guarantee, and connects a <pseudorandom generator> with the <randomized algorithms> it can safely simulate.<Introduction to Theoretical Computer Science by Boaz Barak>[Modeling randomized computation, Pseudorandom generators]{ref}
\Image[https://lowell.harvard.edu/sites/g/files/omnuum5006/files/styles/hwp_4_5__320x400/public/2025-02/author_bbarak.png?h=f145ff8d&itok=Tw6ffAOu]
{title=Portrait of <Boaz Barak>}
{description=Portrait identified on the Harvard Lowell House profile.}
{source=https://lowell.harvard.edu/people/boaz-barak}
{width=240}
Back to article page
