معرفی
Richard Trefler is an Associate Professor at the David R. Cheriton School of Computer Science, University of Waterloo. He specializes in formal verification, model checking, and the analysis of reactive and distributed systems. His work focuses on compositional reasoning, abstraction techniques, and parameterized systems to address state explosion challenges. Trefler has contributed to the synthesis of protocols, smart contract verification, and temporal logic applications.
Research interests include automated reasoning tools, parameterized systems, communication protocols, and visual specifications for system design. His publications span conferences like VMCAI, ECOOP, and TACAS, with notable work on symmetry reduction and compositional verification. He received the Best Paper Award at the 22nd IFIP FORTE Conference for his contributions to modular reasoning in asynchronous systems.
- Current Student: Ruoxi Zhang
- Former Students: Zarrin Langari (2011), Shoham Ben-David (2009), Naghmeh Ghafari (2009), Jane D. Thi Tang (2006)
His research explores cutting-edge topics such as protocol synthesis using temporal specifications and formal analysis of smart contracts. Trefler’s work bridges theoretical foundations with practical applications in distributed computing and cybersecurity.
