中科院软件所实习 DAY1

早上7:36到达中国科学院软件所，与导师约定在9点来，我可是怕自己找不到路，就提前来了。

​ 来了就先跟导师聊几句，之后导师带着我看看 计算机科学国家重点实验室 实验室的氛围很不错，大家都在忙自己的事，不愧是中科院的研究所！

​ 导师人很好，但是好像很忙的样子，不过虽然他很忙，还是带我去做实习生的登记，去看工位，实验室的领导真的很严格，完全按照登记表上的要求走，因为导师之前还有几个“到期”的实习生离开实验室的相关事情没有处理完(可能是真的忙吧) 不能再邀请新的实习生。 所以登记的事情今天没有完成。

​ 在找实验室的领导签字的时候碰见了一位参加夏令营的老乡，他是哈工程的，也搞ACM很厉害！

​ 因为我是在距离软件所大概四五站的回龙观租房子住着，导师为了减轻我的负担，就给我找了个宿舍让我住着，还给我了一张在楼下餐厅吃饭的卡，在此非常感谢导师！

​ 导师交给我的任务是用Dafny去验证一些算法的正确性，以后我也会把我在学习Dafny的过程记录下来。

By henuwhr 2018年7月11日