🦆 About Me

This is Mr Dk. (@mrdrivingduck). I love ducks. 🦆

🍺 Hobby

• 💪 Workout
• 🚘 Driving
• 🏸 Badminton
• 💻 Technology

📚 Publications

• TOSEM, 2023: Reliable Fix Patterns Inferred from Static Checkers for Automated Program Repair (CCF-A)
• ICSME, 2021: Revisiting Test Cases to Boost Generate-and-Validate Program Repair (CCF-B)

💼 Working Experiences

2022.05 - NOW

• Alibaba Cloud Computing Co. Ltd. 阿里云计算有限公司
• 🖥️ PolarDB DBMS Kernel Engineer - PolarDB 数据库内核工程师
• 🚩 Hangzhou, Zhejiang, P.R.China - 浙江省杭州市

2021.05 - 2021.09

• Alibaba Cloud Computing Co. Ltd. 阿里云计算有限公司
• 🖥️ PolarDB DBMS Kernel Engineer (internship) - PolarDB 数据库内核工程师 (实习)
• 🚩 Hangzhou, Zhejiang, P.R.China - 浙江省杭州市

2018.07 - 2018.08

• DolphinDB, Inc. 智臾科技有限公司
• 🖥️ Software Engineering (internship) - 软件工程师 (实习)
• 🚩 Hangzhou, Zhejiang, P.R.China - 浙江省杭州市

🎓 Education

2019.09 - 2022.04

• Nanjing University of Aeronautics and Astronautics (NUAA) 南京航空航天大学
• College of Computer Science and Technology 计算机科学与技术学院 / 人工智能学院
• 🔑 Cyberspace Security - 网络空间安全
• 👨‍🎓 M.Eng. - 工学硕士
• 🚩 Nanjing, Jiangsu, P.R.China - 江苏省南京市

2015.09 - 2019.06

• Nanjing University of Aeronautics and Astronautics (NUAA) 南京航空航天大学
• College of Computer Science and Technology 计算机科学与技术学院 / 人工智能学院
• 🔌 IoT. Engineering - 物联网工程
• 👨‍🎓 B.Eng. - 工学学士
• 🚩 Nanjing, Jiangsu, P.R.China - 江苏省南京市

2012.09 - 2015.06

• Zhejiang Ningbo High School 浙江省宁波中学
• 🧒 Senior H.S. - 高级中学
• 🚩 Ningbo, Zhejiang, P.R.China - 浙江省宁波市