2015年4月24日，美国卡耐基梅隆大学Limin Jia教授访问重点实验室，做了题为"Protect Users Data with Information Fiow Control"的学术报告，介绍了她在计算机系统安全和形式化语言方面的研究工作。Jia教授在会后同郭耀副教授双方的研究工作进行了交流，探讨了进一步的合作的可能性。
