Philip Wadler's home page

https://homepages.inf.ed.ac.uk/wadler/

Fellow, Area Leader Programming Languages, IOHK . Formerly: ACM Special Interest Group on Programming Languages , Chair (2009–2012), Past Chair (2012–2015). Avaya Labs

Ross Anderson's Home Page

https://www.cl.cam.ac.uk/archive/rja14/

integrity as well. Programming Satan's Computer is a phrase Roger Needham and I coined to express the difficulty of designing cryptographic protocols; it has recently been popular

That's everything I could find.
Help make me smarter by submitting a page.