发现各种原因导致这个博客已经要长草了，所以借着准备学术网站的机会还是来更新一下。简单说几句吧。
过去的这两年多里发生了太多，不便一一在博客里讲述，不过总体来说还是希望杀不死我的能让我更强大。
科研
第一件大事是开始做科研，从高中的做题家开始慢慢变为提出问题的人。高中一直喜欢做编程语言理论方面的研究，不过真正本科开始接触才发现是彻头彻尾的大坑。目前算上未正式发表的论文中了两篇一作 – 看上去很厉害？其实不然，倒不如说经过折磨后已经对中稿无感了。
第一篇论文是关于缩进敏感文法的二义性： 缩进敏感文法是一种上下文有关文法，其中缩进等级的不同影响着代码的解析。例如大家熟悉的Python就是缩进敏感语言。工作的主要内容是检测这样的语言文法是否二义，毕竟大家都不希望自己写的程序能有多种解释不是嘛（那样不就不可靠了）。做法也很简单粗暴：参考前序工作，用SMT的逻辑公式刻画有无二义性，再对公式进行可满足性检查。 就这么一个工作，总共投稿8次，经我手投稿6次才中（这之前学长和其他人一起投稿过）。每次审稿人都莫名其妙挑刺，居然最后让我们作用户调研实验。弄到最后真的没脾气了。
第二篇论文还没正式发布，到时候（10月）可能专门写个文章记录一下这个工作。简单说，是用程序生成的方法帮助语言设计者生成大步语义。
关于科研的地点：本科阶段在软院做过科研；博士出国留学，刚读一学期导师就转校跑了，嫌我菜给我丢在本校换导师，fine。两篇论文分别是本科和博一弄的。目前的第三个工作跟着 MIT 毕业的 Prof. Tej Chajed 进行，尝试用语言神Rust实现形式化验证过的文件系统。
生活
看了我GitHub的朋友应该也发现我恋爱了，大概三年了吧。有过很多矛盾和冲突，愤怒和折磨，但也度过了很多美好的瞬间，就这样痛苦和快乐都一并体验着。 进行了很多承受能力之外的付出。尽管不知道未来如何，但还是尝试说服自己享受当下。
然后就是出国留学了。近乎疯狂的动态清零实在没法忍受，想要换一个地方读书，同时也是为了追求学术大牛。不过讽刺的是大牛跑了，现在还在狼狈换导师。 听说学术圈的人都会弄一个学术版主页，这个事情也得提上日程。
爱好
待续（HAM/Tuna活动/etc）
