A private Ivy League research university in Princeton, New Jersey. Known for theoretical computer science and mathematics research.