Department of Computer Science and Engineering Online Seminar - "Termination Analysis of Probabilistic Programs"

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