Hello, my name is Shuntian Liu.
I am a student studying Computer Science @ University of Cambridge.
I am interested in the development of distributed systems, as well as some theoretical parts such as model checking, type theory and denotational semantics, or better yet, an intersection between these two!