Skip to main content

Anik Momtaz

Anik Momtaz
Ph.D. Candidate
Biography:

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.

momtazan@msu.edu

Publications

2023

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)   

2021

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]

2020

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)