贾丽敏同学是9611本科班的郭沫若奖学金得主，本科毕业后到美国普林斯顿大学深造，获得计算机科学博士学位，目前她是美国卡内基梅隆大学CyLab的Research Systems Scientist。
贾丽敏博士的研究兴趣包括程序设计语言、基于语言的安全、逻辑和程序验证。在CyLab，她的研究重点在形式的安全理论。特别是用基于语言的安全技术和形式逻辑来为软件系统的安全属性进行建模和验证。
贾丽敏博士的研究领域和我院中科大－耶鲁高可信软件联合中心研究团队的研究领域一致。应冯新宇教授的邀请，她于2012年3月和2013年4月两次来母校进行学术交流，给出两个学术报告，题目分别是“Improving Precision and Interoperability of Logic-based Access Control”和“Reasoning about Trace Properties of Higer-order Programs”。除了学术报告外，贾丽敏博士花更多的时间与联合研究中心的老师和博士生进行了学术讨论。
2012年3月贾丽敏在苏州研究院作学术报告
2013年4月贾丽敏在计算机学院作学术报告
贾丽敏博士表示，以后要多多回母校进行学术交流，也欢迎感兴趣的同学去她那儿攻读博士学位。
贾丽敏博士今年4月的来访还推动了9611班级5月中旬回母校的聚会。
（中科大－耶鲁高可信软件联合研究中心供稿）
