玩弄计算机系统

这是计算机科学专业的Riley Shahar。

家乡：加州帕洛阿尔托

论文指导老师：angacimica Osorno教授（数学）和Adam Groce教授（计算机科学）

论文：“密码可组合性的范畴”

内容简介：在密码学中，我们想要证明计算机程序是安全的。在现实世界中，程序与许多其他程序协同运行，但是这些“组合”系统通常过于复杂，无法用数学方法进行研究。本文研究了范畴论在数学领域对这一问题的若干威博体育。

它的真正内容是：我们能否威博体育一个被亲切地称为“抽象废话”的数学领域来证明现代计算机系统是安全的？

在高中：我是一个狂热的棋盘游戏玩家和读者，一个有竞争力的辩手，老实说，一个相当不专心的学生。

小组或俱乐部：SL(m)（数学社会团体），CSTAR（计算机科学社会团体），以及CS同伴指导计划。我还参与组织了数学学生讨论会，并编写了我们用来帮助学生在CS入门课程中评分的评分脚本。

很酷的事情：我担任了十几门课程的课程助理，包括连续六个学期的CS入门课程。我还学会了如何变戏法！

有影响力的里德班级或教授：我一生中最激动人心的20分钟是詹姆斯·菲克斯教授（计算机科学）关于库里-霍华德通信的讲座的开始。非正式地说，Curry-Howard认为数学证明带有计算性的内容——任何时候你在数学中写一个证明，你都可以把它解释为一个计算机程序，你甚至可以“运行”这个计算机程序来学习这个证明。我在我的专业中增加了CS部分，因为我想继续研究这个美丽的想法。

有影响力的著作：青安娜的《世界尽头的蘑菇：论资本主义废墟中生命的可能性》。

面临的挑战：在疫情最严重的时候，刚开始上大学真的很难。我有健康问题，所以我花了两年的时间与人隔离，在网上与人交谈，在外面吃饭。我真的很高兴，当我感到舒适的离开孤立，我能够结交很棒的朋友，我希望永远保持联系。

里德如何改变了我：我对自己的威博体育认同更自在了，成为了一个更外向、更善于交际的人。

接下来是什么?宾夕法尼亚大学数学研究生院！

标签：学者，学生，论文，什么是芦苇？