●前言
撰写此文的目的是分享这一路上所找到的资源（特别是国内有志于逻辑研究的人不多，出国留学的资源也没有很好地汇整），并且以自己为借镜，期许未来的学弟妹能走得顺利。
准确来说，我一路上不是个好学生，虽然有出国的想法，但是在学术的累积上却不是很充分。这种情况下的我也靠着蒐集资讯、积极联络和上天给我的幸运找到了出路，未来优秀的学弟妹们一定能比我做得更好。
●研究领域
数理逻辑、证明论和范畴逻辑
Mathematical logic, proof theory(in particular, structural proof theory), and categorical logic
●申请学校/结果
admitted: ANU CS PhD(w/o scholarship), Tallinn University of Technology(TalTech) CS PhD(paid position)
rejected: Western Ontario Math MS, Wesleyan University Math PhD, INSA-CVL CS PhD
●大学及考试成绩
CCU, BA in Philosophy, 2012-16, GPA: 2.53
CCU, MA in Philosophy, 2017-20, GPA: 4.00
IELTS: 7.0
●申请过程准备
可以从我的成绩和英文看到，我的各项指标都非常平凡，甚至有点差。大学毕业后想出国继续做研究的我，从硕一上开始就一直积极关注国外招生的动态。
当然，我这样子的走向也有点本末倒置，因为在最后要毕业的时候，反而是我已经拿到了 offer，毕业论文却还没完全搞定。
所以还是希望以后的学弟妹不要像我一样望着远方，却忘记把脚下的路走好，最后走得磕磕绊绊的。
我大约从 2019 年 10 月底开始联络国外教授，探寻有无招生，寻找老师的方式就是先大致看他们的 Area of specialization 是否与我有关，若有的话再看他最近发的文章，我是不是有兴趣。若也有的话就可以开始拟信件了，首先我会 10 字内的自我介绍，然后直接阐明来意，询问对方是否有在招生，明年是否有名额。
第二个段落阐述自己目前论文的题目，并且如何与教授的研究相关，提出一些潜在的课题（未必是真的很有意义，但是必须表达出你写信不是来乱的，是深思过的），最后希望能与老师有合作的机会，期待您的回复。
我一共寄出了 27 封，其中 25 封有回复。正面看待申请的占大多数（罐头性质的正面，期待我提交申请之类的），另外有一部分阐明自己目前没有经费或者要退休了，推荐我联络其他教授（研究室），并且给我联络方式。
剩下的教授给的回应非常正面，有希望我讲述论文细节（2 位），要我提供更多资料（2 位），还有 1 位直接给我一个计画框架，叫我写出来之后申请，以及直接希望 Skype 聊聊 （3 位）。
Skype 上的聊天其实还算满轻松的，大部分老师就是想确认我是不是个怪人，以及我信里所写的是不是真的我自己写的。整个过程都是闲聊居多，对于论文的着墨我认为是不多的（当然有问到一些细节，可是并不刁钻）。
其实到这一步（Skype 上聊天）就已经一只脚踏进录取门槛了，但是 2020 是命运多舛的一年，许多经费无法到位，以及对于外国人的限制等等，导致最后只有 TalTech 的老师能保证有足够资金，也促成了我最后的选择（不过并不是说这间学校或研究组不好，其实这里的研究跟我是意想不到的契合，是我当初寄信时也没想到的，所以也只能说我真的很幸运）。
另外值得一提的是 ANU，当初我是有申请世界百大奖学金的，可惜最后我在联络上没有做好，错过截止期限，以致于没有申请成功，也希望能让大家引以为戒。
●结论
我在 2020 年 3 月的时候就收到 ANU offer 了，可是由于没有奖学金，所以也无法真的成行，还好后来能遇到 TalTech 的老师，以及最后完成论文时，我的指导教授不辞辛劳地为我改论文，陪我讨论，以及教育我做学术的态度。
没有这些帮助以及幸运，我现在绝对无法在电脑前，做着我想做的事情，并且打下这篇文章。
●参考网站和 MailingLists
http://settheory.net/world
这个网站如其名，尽可能地收集了世界上逻辑和集合论的研究者和研究组，我当时就是一个一个找，找出与我兴趣相符的教授。
http://resources.illc.uva.nl/LogicList/
这个 mailing list 专门收集逻辑学界的最新消息。
https://sites.google.com/site/sensereferenceandthought/
这是许多优秀的哲学系学长姐共同维护的网站，可以在上面找到许多关於哲学系的申请指南。
https://www.philosophicalgourmet.com/
这个网站汇整了世界排名靠前的哲学系 programs，当然也能找到数理逻辑和哲学逻辑的 programs。
https://www.liverpool.ac.uk/philosophy/philos-l/
这个 mailing list 可以让你每天接收哲学界最新的消息（研讨会、事件、PhD positions）。
https://www.zaik.uni-koeln.de/AFS/publications/dmanet/
这个 mailing list 专门收集有关离散数学界的最新消息，偶而也会有跟逻辑有关的 PhD positions。