关于 University of Pennsylvania 作为殖民时期创建的九大学院之一，即美国通过美国革命成为主权国家之前创建的学院，同时也是美国大学协会的创始会员，宾夕法尼亚大学（简称宾大）被称为美国第一个全面发展（多学科）的“大学”也就不足为奇了。

In this talk, I would like to share our attempts to solve security problems using various techniques. Starting from formal methods, we have applied formal modeling and reasoning to security ...

先通过官方视频感受一下学校的美景吧： 宾夕法尼亚州立大学（The Pennsylvania State University，简称宾州州立大学或PSU）成立于1855年，是一所世界顶尖的公立研究型大学。 学校在成立之初是一所农业学院，1863年成为了宾夕法尼亚州里唯一一所接受联邦土地赠与的大学。