2025 冰河年鉴
💡
原文中文，约1500字，阅读约需4分钟。
📝
内容提要
作者在澳洲生活简单，专注于研究和与导师交流。尽管面临研究任务的困难和被解聘的挑战，他仍坚持完成论文和指导学生，计划继续研究和参与开源项目，努力寻找新工作。
🎯
关键要点
- 作者在澳洲的生活简单，专注于研究和与导师交流。
- 面临研究任务的困难，导师让作者继续未完成的研究方向。
- 作者在一年半后完成了阶段性成果，并计划发表论文。
- 同时指导学生进行多个形式化证明的项目。
- 因在微博上发布照片被投诉，作者遭到解聘。
- 作者未寻求法律援助，选择继续与导师保持联系。
- 返回国内时，作者有一定的存款，计划继续研究和写作。
- 作者希望在资金耗尽前找到新工作，继续参与开源项目和研究。
❓
延伸问答
作者在澳洲的研究任务是什么？
作者的研究任务是继续导师未完成的形式化证明无类型λ-演算的方向。
作者在研究中遇到了哪些困难？
作者面临的困难包括导师放弃的研究方向和缺乏相关经验。
作者是如何处理被解聘的情况的？
作者没有寻求法律援助，而是选择继续与导师保持联系，并在离职前为学生撰写推荐信。
作者在解聘后有什么计划？
作者计划继续写形式化代码、与导师合发论文，并参与开源项目和研究梵语。
作者在研究期间指导了哪些学生项目？
作者指导的学生项目包括密码学、数据结构、图论和概率论的形式化证明。
作者在返回国内时的经济状况如何？
作者在返回国内时有约2万澳元的存款，计划在国内生活近十年。
➡️
