Jiaqi is a computer security researcher at DSO National Laboratories. His main areas of work are in programme analysis and verification, and most of his time at work involves thinking of ways to better analyse software to search automatically for security bugs and to verify that a piece of software is safe and free from bugs.