I am a computer engineering based in Cambridge, UK. My work involves in defining and examining specifications, protocol designs and software implementations and prototyping verification strategies for increasing their quality and security. Most common techniques I am using includes model checking, fuzzing, and even theorem-prover. I also investigate in custom tools. Although a full autogenerated verification stack is probably the ultimate goal and dream of many verification specialists, my work put emphasis on scalability and bugs hunting with a minimum interruption to the product development cycle.

Email: xiongshale [at] gmail.com in case someone wants to contact me.