Opportunities and Challenges of Formal Methods In Smart Contracts 郭宇，SECBIT（安比）实验室创始人 2018-12-17 Room 3-517A, SEIEE Building
Zero-Knowledge Argument for Simultaneous Discrete Logarithms 翁健，暨南大学 2018-11-29 Room 3-412, SEIEE Building
Online Learning to Rank Shuai Li, The Chinese University of Hong Kong 2018-11-29 Room 1319, Software Building
Mining Heterogeneous Data with Cube Networks Carl Yang, University of Illinois, Urbana Champaign 2018-11-27 Room 3-517A, SEIEE Building, Shanghai Jiao Tong University
Compact Exponential Optimization 李宗鹏, 武汉大学计算机学院副院长 2018-11-14 Room 1-418A, SEIEE Building, Shanghai Jiao Tong University
Blockchain Scalability: Challenges and Solutions Dr. Mo Dong、Dr. Qingkai Liang，Celer Network 2018-11-13 Room 1-402, SEIEE Building, Shanghai Jiao Tong University
结构化数据的非监督特征学习：理论，算法，及应用 吴凌飞，BM全球研究院总部（IBM T.J. Watson Research Center) 研究员 2018-11-08 Room 3-412, SEIEE Building, Shanghai Jiao Tong University
Harnessing the Internet of (too many) Wireless Things Longfei Shangguan, Princeton University 2018-11-08 Room 1-418A, SEIEE Building, Shanghai Jiao Tong University
