ZHANG Yunmo

Research Interests/Areas

My research interest is building reliable programming systems. Specifically, I develop automated tools to verify, analyze, and test the correctness, robustness, and performance of software systems and networking using formal methods.