My name is Lingyin :)
I speak German, Chinese, English and am learning Hebrew and Japanese recently.
- 🔭 I’m interested in logic, functional programming, theorem proving and software verification.
- 🌱 I’m currently a bachelor student majored in computer science.
- 📫 How to reach me: [email protected]
- ⚡ I am active in sport, especially skiing and sailing. You will find me in the ski resorts in Austria.