#Talk

XIA Mingyuan will give a talk about Memory Leaks in Smartphone Apps

Ed Clarke’s talk about Model Checking in Suzhou

Adrian Perrig’s talk about Accountable Key Infrastructure (AKI) at 10:00 AM on August 22.

,

Wang Bing will give a talk about current status, challenges, and future trends about data center networks.

Walter Binder will give a talk on Mar. 20, 10:00 AM, Software Building 5407

Prof. Cesare Pautasso’s Talk-Model-driven software composition: from flow languages to natural languages

Dr. Deji Chen’s Talk- IPv6 Over WirelessHART – Networking Infrastructure of Wireless Embedded Internet

Dr. Yunshan Zhu’s talk- Prove Theorems, Find Bugs and Make Profits

Welcome Prof. Kai Chen to Visit Our Lab

,

Prof. Kai Chen will visit SJTU on Aug.13-14.

,