Profile avatar
fuzzing.bsky.social
Research Intern at MPI-SP advised by @mboehme.bsky.social Fresh CS PhD student at UC Irvine (on leave due to visa issue) https://jing6.netlify.app/
4 posts 37 followers 27 following
Posts 3 Comments 3

Very lucky to receive the ERC Consolidator this year! This is 5-year funding for groundbreaking research. If you are interested in our perspective on software security analysis at scale, stick around and read on. #ERC #ERCCoG #MPI_SP www.mpi-sp.org/71953/news_p...

submitted 98 days ago • 6 comments

Today is my birthday and also my first day posting at Bluesky! Not too late to get a cool username 😎 Feel free to contact me if you want the username "fuzzing" for a meaningful account.

submitted 113 days ago • 2 comments

Hi BlueSky! I'm an Assistant Professor at Purdue doing research in PL/SE. I'm interested in developing software verification techniques that fit into existing development workflows, so we can produce more secure software! I assess techniques with theory & proofs, user studies, & by building tools.🧵

submitted 115 days ago • 10 comments