👋 Hi, I’m @Tsunaou from Nanjing University.
- I am a third year graduate student of Computer Science and Technology Department of Nanjing University and a member of Disalg Group in Institute of Computer Software (ICS), which is led by professor Yu Huang.
- I received my B.Sc. degree from Computer Science and Technology Department of Nanjing University. In September 2020, I was admitted to study for a M.Sc. degree without entrance examination.
- Databases
- Data Consistency
- Transactions
- Formal Methods
- Email: 895254752@qq.com
- Zhihu: Tsunaou
- Homepage: https://tsunaou.github.io/