About me

I am currently a post-doctoral researcher hosted by my PhD supervisor Prof. Elisa Bertino and Prof. Ninghui Li at Purdue University. I am primarily interested in designing and developing principled approaches and tools for analyzing the network protocols deployed in traditional and IoT systems by drawing inspirations from software testing, program analysis, and formal verification techniques. I have received my Ph.D. from Purdue University in Fall 2018. I also closely work with Prof. Omar Chowdhury who was a postdoc here at Purdue.