出自计算机科学国家重点实验室

出访

• 柳欣欣，2007年9月17日-9月21日，2010年4月18日-4月23日
• 李广元，2010年4月26日-4月30日

来访

• Kim Guldstrand Larsen，2007年8月11-8月17日（访问林惠民）
• Kim Guldstrand Larsen：2011年8月8日-8月12日（访问林惠民）
• Mikael H. Møller：2011年11月4日-11月23日