About Me My name is Tianxiang Lin. I am currently a second-year MSR student at Carnegie Mellon University. I am advised by Prof. Michael Kaess in Robot Perception Lab (RPL) at the Robotics Institute.

Carnegie Mellon Computational Type Theory CourseType theory may be presented semantically, with types specifying the behavior of programs, or axiomatically, as a formal system admitting many ...