Department of Computer Science and Engineering Online Seminar - "Continuous Reasoning of Large Complex Software via Incremental Analysis"
10:00am - 11:00am
Speaker: Bozhen LIU
Texas A&M University
Zoom link:
https://hkust.zoom.us/j/928308079?pwd=MW9wTCtlSDd2MnViZGdNd2oreUpXZz09
Event Format
Language
English
Recommended For
Alumni
Faculty and staff
PG students
More Information
Organizer
Department of Computer Science and Engineering
Contact
Tel: 2358 7008