Short bio
Tom Chothia is a Reader in cyber security at the University of Birmingham, he likes to use formal methods and to hack stuff.
See Tom’s homepage: https://www.cs.bham.ac.uk/~tpc
— presenter's bio has been redacted at the date of last given talk