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 work closely with Prof. Omar Chowdhury who was a postdoc too here at Purdue .