https://proteancode.com/2015/05/28/a-short-talk-about-psp/https://proteancode.com/2015/05/28/are-we-there-yet-20-years-of-industrial-theorem-proving-with-spark/https://proteancode.com/2015/07/06/scsc-agile-development-for-safety-systems-conference/https://proteancode.com/2015/09/04/new-spark-2014-book-published/https://proteancode.com/2015/09/30/short-talk-about-high-integrity-agile/https://proteancode.com/2016/09/11/bristech-2016-conference-here-we-come/https://proteancode.com/2017/01/01/think-you-know-c-think-again/https://proteancode.com/2017/06/15/new-paper-sanitizing-sensitive-data-how-to-get-it-right-or-at-least-less-wrong/https://proteancode.com/2017/09/08/articles-from-royal-society-verified-trustworthy-software-systems-meeting-now-published/https://proteancode.com/2017/09/25/high-integrity-agile-in-cacm/https://proteancode.com/2018/02/08/sss-keynote-the-fumble-programmer/https://proteancode.com/2019/01/21/video-from-bristech-2018-building-software-like-it-matters/https://proteancode.com/2020/02/24/133/https://proteancode.com/2021/02/09/performance-analysis-and-tuning-of-sparknacl/https://proteancode.com/2021/12/01/sparknacl-seminar-for-bristol-cyber-cdt-crypto-groups/https://proteancode.com/2022/02/07/sparknacl-talk-at-fosdem-2022/