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

ICDCS 2022

Our paper on runtime verification of blockchain/cross-chain protocol using the metric temporal logic accepted to the IEEE ICDCS 2022 conference.

NFM 2022

Our paper on probabilistic hyperproperties with rewards is accepted by the 2022 NASA Formal Methods Conference


TART PhD students Tzu-Han Hsu and Oyendrila Dobe will join Amazon AWS for summer internships.

Best Paper Award

TART members Prof. Bonakdarpour and PhD student Anik Momtaz receive the Best Paper Award from the RV 2021 conference.


TART PhD student Tzu-Han Hsu gets nominated by MSU as one of the only 4 PhD students for Google PhD Fellowships.


Twitter Feeds