Tong Wu 武桐
PhD Candidate | Formal Verification & Machine Learning
PhD Candidate | Formal Verification & Machine Learning
I am a final-year PhD candidate in the Systems and Software Security Group at the University of Manchester, supervised by Prof. Lucas C. Cordeiro and Dr. Pavlos Petoumenos. My research is fully funded by EPSRC and the Arm Centre of Excellence, focusing on Formal Verification and Machine Learning for ensuring the correctness and safety of sequential and concurrent software.
In parallel, I work as a Research Engineer at VeriBee, where I apply Formal Methods to improve the reliability and correctness of large-scale software systems.
