Anik Momtaz

I am Anik Momtaz, a PhD student here at Michigan State University, in pursuit of my doctoral degree offered by the Department of Computer Science and Engineering. I transferred here from Iowa State University during Fall, 2020, along with my PhD advisor, Dr. Borzoo Bonakdarpour.

My field of research encompasses runtime monitoring and verification of Cyber-Physical Systems (CPS). As the use of CPS has observed rapid growth over the past decade, the importance of developing efficient methods to ascertain reliability of these systems, especially when safety-critical systems are concerned, is absolutely unquestionable.