Hi there, I'm Dian 'Virgil' Ling, a code rookie👋
- 🧐 Interested in (Parallel) Automated Reasoning, SAT basically.
- 🎓 Pursuing master degree in Computer Science at Northeast Normal University(expected Fall 2026), seeking for a Ph.D project in automated reasoning.
- ✍🏻 Personal website is virgil's blogs, see my cv for short.
- 📫 How to reach me: virgiling7@gmail.com


