John Watrous's old web page

This web page is no longer maintained. My new web page can be found at https://jhwatrous.github.io/.