Skip to Main Content

Zhong Shao

Thomas L. Kempner Professor of Computer Science

Additional Titles

(leave of absence spring); Prof Computer Science

About

Titles

Thomas L. Kempner Professor of Computer Science

(leave of absence spring); Prof Computer Science

Academic Achievements & Community Involvement

  • activity

    Formal Methods Research

  • activity

    Programming Languages & Formal Methods

Get In Touch

Contacts