I am currently a Ph.D Candidate in Nanjing University, China.
I major in Computer Science, mainly focusing on Distributed Computing Theory and Systems and Formal Methods.
Unless stated otherwise, all content created by me is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License unless otherwise stated.
This excludes attributed or externally linked material and things I have obviously not produced myself such as, for example, book covers. Rights for these things remain with their original owners.