Skip to main content

Welcome to the Trustworthy and Reliable Technologies Lab (TART)


The Trustworthy and Reliable Technologies Research Laboratory at Michigan State University conducts world-class and cutting edge research on the broad areas of dependability, trust, and reliability. The group is particularly interested in the application of formal reasoning in following areas. We bring together expertise from computer engineering and science fields to study the interaction between the mathematical and automated reasoning with other real-world applications of computing.

Our research focus is on development of reliable and trustworthy system design methodologies in particular areas of (1) security & privacy, (2) cyber-physical systems, and (3) distributed systems. Our long-term vision is to integrate system modelinganalysis and automated reasoning into design and validation of procedures that reliability and trustworthiness.

Join the Lab

We are looking for PhD students and postdocs with interests and expertise in formal methods, security & privacy, distributed systems, control theory, robotics, IoT, and cyber-physical systems!

News and Announcements


Congratulations to Ritam Ganguly for successfully defending his PhD dissertation on runtime verification of distributed systems! He will join MSU-CSE as a teaching specialist. Wish him the best for her next chapter of endeavors!


Prof. Bonakdarpour receives a new NSF EAGER grant to develop causal inference techniques using automated reasoning in medical sciences. This is a joint grant with Dr. Maryam Sayadi (MSU-BME) and Dr. Mohammad Ghasemi (MSU-CSE).


Prof. Bonakdarpour receives a new NSF SaTC grant to study runtime enforcement of information-security policies.


Borzoo Bonakdarpour selected by students to receive 2023 Teaching Excellence Award.


Prof. Bonakdarpour's article on fault-tolerant distributed runtime verification is among the selected 8 papers by the Journal of the ACM in 2022.


Twitter Feeds