2021-07-10
I got a position in the National University of Defence and Technology as an assistant research fellow.
Hi, I am Xin Zhao (赵欣). I will update my status and share my interests here. For computer science, I'm currently interested in programming languages, distributed programming, type system, concurrency and machine learning. And for spare time, I'm interested in painting, singing, yoga and swimming.
I got a position in the National University of Defence and Technology as an assistant research fellow.
I obtained my PhD degree in Computer Science from kTH Royal Institue of Technology.
I defended my dissertation. The dissertation is here.
The presentation video is here.Our paper "Consistency types for replicated data in a higher-order distributed programming language" was accepted by the Art, Science, and Engineering of Programming Journal.