Brian Keith Harvey (born 1949) is a former Lecturer SOE of computer science at University of California, Berkeley. He and his students developed an educational programming language named UCBLogo which is free and open-source software, a dialect of the language Logo, as an interpreter, for learners.
Oh no. Why do F*s have to spoil everything?