PhD student at Machine Intelligence Laboratory, University of Cambridge
-
University of Cambridge
- Cambridge, UK
- http://mi.eng.cam.ac.uk/~ql264
Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.
Portland State University Portland, OR