Skip to main content

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.