Skip to main content

Welcome to the Trustworthy and Reliable Technologies Lab (TART)

About TART@MSU

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

SRDS 2023

Prof. Bonakdarpour gives keynote at SRDS 2023 on fault-tolerant distributed runtime verification.

Borzoo Bonakdarpour

MSU’s Borzoo Bonakdarpour is working to make sure bugs in computer programs don’t end up leaking our secret information into the public.

Anik

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

Ritam

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!

NSF EAGER

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).

Events

Twitter Feeds