I have applied both static and dynamic methods to detecting concurrency bugs in user space programs. I also have experience with privacy-preserving computing namely, applying homomorphic encryption to make popular multi-media application e.g. JPEG preserve privacy.
I have always been interested in software and computer system security. Namely, the root cause of the vulnerabilities in current computer systems even if the software is carefully designed and why it’s so hard to eliminate these vulnerabilities. This is a very fundamental question vital for today’s IT’s era.
I basically want to push the boundaries of current state-of-the-art vulnerabilities detection methods (i.e. developing robust scalable accurate approach that can detect as many vulnerabilities as possible), while catching up with the current advanced vulnerability mitigation techniques.
I think the most interesting but also challenging, part of my research is modeling all the faults/ bugs that can occur in software, and define or abstract them in a way that is as neat and precise as possible. Also implementing them is also very fun (to me).
I think the most shocking thing about my research is that, despite the campaign against software vulnerabilities that has been going on for decades, there are still so many in the wild.
Hopefully, after finishing my PhD here, I will become a research professor or a researcher, which would enable me to keep dealing with interesting security issues.
I think the most defining year which drove me to research is when I had my internship with my mentor in MSRA in Beijing while pursuing my Masters. It was my first time to solve real-world problems with the knowledge I learned from school. And my mentor showed me how interesting this is, and this boosted my confidence when facing really hard problems.
I had my undergraduate degree in Wuhan, China. My college (CS college) during that time was famous for having a vibe of programmers, this inspired my interests for programming as well.
I have applied both static and dynamic methods to detecting concurrency bugs in user space programs. I also have experience with privacy-preserving computing namely, applying homomorphic encryption to make popular multi-media application e.g. JPEG preserve privacy.
I have always been interested in software and computer system security. Namely, the root cause of the vulnerabilities in current computer systems even if the software is carefully designed and why it’s so hard to eliminate these vulnerabilities. This is a very fundamental question vital for today’s IT’s era.
I basically want to push the boundaries of current state-of-the-art vulnerabilities detection methods (i.e. developing robust scalable accurate approach that can detect as many vulnerabilities as possible), while catching up with the current advanced vulnerability mitigation techniques.
I think the most interesting but also challenging, part of my research is modeling all the faults/ bugs that can occur in software, and define or abstract them in a way that is as neat and precise as possible. Also implementing them is also very fun (to me).
I think the most shocking thing about my research is that, despite the campaign against software vulnerabilities that has been going on for decades, there are still so many in the wild.
Hopefully, after finishing my PhD here, I will become a research professor or a researcher, which would enable me to keep dealing with interesting security issues.
I think the most defining year which drove me to research is when I had my internship with my mentor in MSRA in Beijing while pursuing my Masters. It was my first time to solve real-world problems with the knowledge I learned from school. And my mentor showed me how interesting this is, and this boosted my confidence when facing really hard problems.
I had my undergraduate degree in Wuhan, China. My college (CS college) during that time was famous for having a vibe of programmers, this inspired my interests for programming as well.
