Prakash Panangaden

Digital Library

ACM Fellows

Canada - 2020

citation

For making continuous state systems amenable to logical and computational treatment

Press Release