cfaed Seminar Series

Tatjana Petrov

IST, Austria

Formal verification of biological systems

Professor Muriel Médard

Electrical Engineering and Computer Science Department, MIT, USA

tbc