Skip to main content

Anik Momtaz

Anik Momtaz
Ph.D. Candidate

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.



Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour, "Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems" International Conference on Cyber-physical Systems, ACM, 2023.   iccps23.pdf (782.54 KB)   


Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour, "Predicate Monitoring in Distributed Cyber-physical Systems" The 21st International Conference on Runtime Verification (RV), Springer, 2021.   rv21.pdf (573.81 KB)    [Received the Best Paper Award]


Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour, "Monitoring Distributed Systems under Partial Synchrony" The 25th International Conference on Principles of Distributed Systems (OPODIS), LIPICS, 2020.   opodis20.pdf (688.15 KB)