Department of Computer Science and Engineering Online Seminar - "Termination Analysis of Probabilistic Programs"
3:00pm - 4:00pm
Speaker: Dr. Amir GOHARSHADY
Assistant Professor
Dept. of Computer Science and Engineering
Dept.of Mathematics
HKUST
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