迎着风，向前冲，我要做我自己的英雄，
忍着泪，忍着痛，只为心中不变的梦。 ——《迎着风》
博主在写本篇的时候，该Blog刚刚开通不久，之前在其他平台上也写过相应的博文。该Blog仅仅是为了记录自己在学习工作过程中收获的知识，方便之后自己对这些知识的复习回顾。
下面也就简单介绍一下自己。
本人专业是软件工程，目前在读研究生，主要研究的方向的形式化验证方向。形式化验证，计算机专业的冷门方向，很多从事计算机工作多年的前辈连听都没听过。。。。。因为形式化验证方向的工作岗位并不多，同时自己也不想从事这方面的工作，所以自己平时也了解学习一些其他方面的知识。
本人性格外向，兴趣广泛。平时喜欢游泳，打乒乓球，旅游。酷爱看电影，对科幻片，动作片情有独钟。有时候也喜欢打打游戏，对于目前比较流向的各种显卡游戏无感，更喜欢的是模拟经营，策略类型的游戏。除此以外，我最大的爱好就是吼歌，本人水平一般，毁歌无数。
形式化验证方面的工作是研究生期间的主要工作，个人不喜欢这个方向，此处省略10000字。。。
开发方面，个人常用的开发语言是Java，此外也了解了很多开源的框架，例如Spring，ZooKeeper等等，这里就不一一列举了。本人在编写本篇时还没有毕业，所以没有经历过正式工作。之前在实习的过程中主要做的是Kafka相关的工作。
具体就先写这么多，因为个人感觉作为自己的个人博客应该有这么一页。