NEWS
Our paper “Distributed runtime verification of metric temporal properties” has been accepted to Journal of Parallel and Distributed Computing, 2023!
I was invited to give a talk on Fault-tolerant and Expressive Cross-chain Swaps at IJTCS-FAW 2023, at University of Macau, Macao SAR, China.