首先,我要感谢我的论文指导老师 Giovanni De Micheli 教授,他从一开始就相信我,并给予我持续的指导和支持。我还要感谢我的联合指导老师 Mathias Soeken 博士,他这些年来一直指导我,并传递了我对科学研究的热爱。我感谢我们在多次、有时有点疯狂的旅行中所拥有的所有快乐时光。我要感谢我的论文审稿人 Michele Mosca 教授、Nikolaj Bjørner 博士和 Paolo Ienne 教授抽出时间和提供宝贵的反馈。我希望有机会进一步讨论我们的研究。我感谢 Martin Roetteler 博士和 Thomas Häner 博士给我机会参与如此激动人心的暑期实习项目。我要感谢所有特别的同事,他们为我创造了一个奇妙的体验环境。谢谢你,Ivan,你总是让我微笑,在我遇到各种情况时都陪伴着我。我很高兴有你这样的朋友。埃莉诺拉,谢谢你们,我们的友谊如今深深扎根于我们共同拥有的一切以及我们共同经历过的一切。