Me
希望能成为一个有趣的人。希望能够持续地去做自己喜欢的事。
见字如面，很高兴能够在此与你相遇。
简单做一下自我介绍：
我目前是国内的一名在读研究生，专业是软件工程。目前的研究方向是智能合约形式化验证。业余热衷开源和游戏开发，奈何本人精力与水平有限，在这些方向付出的行动并不是很多（呜呜呜），我今后也会更加努力的！
我比较憧憬的未来工作方式是：能够满足自己生活的情况下，我能够有很多的时间不受打扰地、安静的去做自己喜欢的事。（可惜想要达到这种状态还是很难啊！！）
列表
- 爱好：开源、游戏、推理小说。
- 运动：曾经很喜欢排球和足球，奈何近来体能不足，只剩下跑步这一项运动了。
- 目标：游戏开发者||创业者||软件工程师
- 梦想：创业者（？）&&独立游戏制作人&&开源维护者
此生想要完成的事情
维护一个超过1k star的项目
写一本值得出版的书
做一款值得发售的游戏
成为一名超过1w粉的up主
成为一个自己不讨厌的、有趣的人
未完待续……
Contact
大部分社交方式都已放在了侧边栏中，你可以选择你喜欢的方式联系我。
下方评论区作为留言板（欢迎留言）
如果你有其他任何想问我的，也可以前往 HOLLY wyh | GitHub Issues。
如果是本博客相关的内容，也可以前往这里 hollywyh.github.io | GitHub Issues ~
