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!