Xi Wu

Dr Xi Wu is a researcher at The University of Sydney, affiliated with the CS department. Their research interests include formal methods for software, software testing, verification and validation, requirements engineering, networking and communications, computational logic and formal languages, programming languages, neural networks, data structures and algorithms, and software engineering. Dr Wu's work contributes to advancing these areas through academic and technical exploration.

Xi Wu is a researcher in the School of Computer Science at The University of Sydney, focusing on Team-based Learning, Project-based Learning, Software Engineering, Formal Method, and Security. Their work involves formal analysis and verification of communication protocols, such as TSN scheduler, REST architecture, and TTCAN protocol, using process algebra and CSP. Wu also explores modeling and verification of distributed systems, including OpenFlow controllers, HDFS, and wireless sensor networks, with an emphasis on quality and security. Their research contributes to the formalization of software transactional memory, mobility in MANETs, and secure access to resources in Java.