https://www.cs.rutgers.edu/~watrous/research-profile.html