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 modeling, analysis 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!