A Lisper
·
2025 冰河年鉴
内容提要
作者在澳洲生活简单，专注于研究和与导师交流。尽管面临研究任务的困难和被解聘的挑战，他仍坚持完成论文和指导学生，计划继续研究和参与开源项目，努力寻找新工作。
关键要点
-
作者在澳洲的生活简单，专注于研究和与导师交流。
-
面临研究任务的困难，导师让作者继续未完成的研究方向。
-
作者在一年半后完成了阶段性成果，并计划发表论文。
-
同时指导学生进行多个形式化证明的项目。
-
因在微博上发布照片被投诉，作者遭到解聘。
-
作者未寻求法律援助，选择继续与导师保持联系。
-
返回国内时，作者有一定的存款，计划继续研究和写作。
-
作者希望在资金耗尽前找到新工作，继续参与开源项目和研究。
延伸解读
研究与生活的平衡
作者在澳洲的生活虽然简单，但其专注于研究的态度值得关注。他在面对困难的研究任务时，选择坚持并努力完成，这种毅力不仅有助于个人成长，也为学生提供了良好的榜样。对于学术界的年轻研究者来说，如何在压力中保持专注和动力，是一个重要的课题。
职场风险与应对
作者因社交媒体上的一则投诉而遭到解聘，这反映了职场中潜在的风险和不确定性。在现代职场中，个人言行可能会对职业生涯产生重大影响，因此，保持谨慎和专业的形象尤为重要。同时，作者选择不寻求法律援助，显示出他对时间和资源的理性评估，这也是职场决策中的一个重要考量。
未来规划与资金管理
尽管面临失业，作者依然保持积极的未来规划。他的存款为他提供了一定的经济缓冲，使他能够在寻找新工作的同时继续研究。这提醒我们在职业生涯中，合理的财务管理和应急储备是应对不确定性的重要策略。
延伸问答
作者在澳洲的研究生活是怎样的？
作者在澳洲的生活简单，专注于研究和与导师交流，每天进行研究，写定理证明和形式化代码。
作者面临了哪些研究任务的挑战？
作者面临的挑战是继续导师放弃的研究方向，尤其是在λ-演算方面缺乏经验，但最终完成了阶段性成果。
作者是如何处理被解聘的事件的？
作者在被解聘后没有寻求法律援助，选择继续与导师保持联系，并在离职前为学生撰写推荐信。
作者的研究成果有什么计划？
作者计划在2025年3月发表相关论文，并继续指导学生进行多个形式化证明的项目。
作者在返回国内后有什么打算？
作者计划继续写形式化代码，参与开源项目，并希望在资金耗尽前找到新工作。
作者在研究中遇到的具体项目有哪些？
作者指导的项目包括密码学、数据结构、图论和概率论等多个形式化证明的项目。
