Redirect: https://cs.brown.edu/people/acrotty/