Zhong Shao's Home Page - Yale University
Zhong Shao Thomas L. Kempner Professor of Computer Science, Yale University. Welcome to my home page! I am interested in doing research on programming languages, formal …
Zhong Shao - Yale School of Engineering & Applied Science
Zhong Shao is a Professor of Computer Science at Yale University. His research interests include programming languages, compilers, formal methods, and operating systems. He earned his …
Zhong Shao - Google Scholar
Zhong Shao. Yale University. Verified email at yale.edu - Homepage. Programming Languages Compilers Formal Methods. Articles Cited by Public access Co-authors. Title. ... Z Shao, X …
Zhong Shao - 2 - Curriculum Vitae abstract datatypes and semantics-based programming environments. University of Science and Technology of China, Hefei, China, 1986–1988, …
Zhong Shao | Wu Tsai Institute | Yale University
Zhong Shao's primary research interests encompass programming languages, formal methods, operating systems, and computer security.
邵中（CertiK联合创始人）_百度百科
2018年3月，邵中在《雷锋网》的报道中表示，一旦所有的区块链的代码在上链前全部被形式化的数学证明验证后，开发者和用户们就无须再为区块链上的系统遭受黑客攻击而担心，区块链的 …
Zhong Shao - Yale University - LinkedIn
View Zhong Shao’s profile on LinkedIn, a professional community of 1 billion members. Experience: Yale University · Location: New Haven · 500+ connections on LinkedIn.
- 500+ 连接数
- 位置: Yale University
Zhong Shao, B.S., University of Science and Technology of China, …
Zhong Shao, B.S., University of Science and Technology of China, 1988 M.A., Ph.D., Princeton University, 1991, 1994. Joined Yale Faculty 1994. Thomas L. Kempner Professor of Computer …
Zhong Shao's Publications - Yale University
Arthur Oliveira Vale, Zhong Shao, and Yixuan Chen. In Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Number POPL, Article 38 (January 2023), 32 pages. …
Zhong Shao - dblp
Zhong Shao: Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and …