You’re opening a new web page going to host www.cs.rice.edu that is not part of Hope Grafted IN.
Please double check that the address is correct.
https://www.cs.rice.edu/~vardi/
Continue or Cancel