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