8 ms·

Brian Harvey was there but I don't remember taking any of his classes. I went in the 90s. I also had Ousterhout.