Discover users based on their interests
Tom Ridge is a Senior Lecturer at the University of Leicester. His background is in formal methods. His research has mainly focused on applications of formal methods to real-world systems. He worked at Cambridge on the NetSem project giving a formal semantics to TCP/IP, and then briefly worked on relaxed memory models. Recently he has worked on verified parsing, and the semantics of file systems.
Hobbies include planetary science, astronomy and Star Trek universe.
Associate Teaching Professor in Biochemistry and Molecular Biology at Penn State University.
Anthropology student. Book, anime and Otome-game lover.
During my life I had two separate periods of official university-grade academic study. Regretfully both failed due to mental illness.
The frist period was at Maastricht University, The Netherlands: 1,5y international business & 0,5y psychology.
The second period (ten years later) was at Utrecht University in the same country: 1,0y artificial intelligence & 0,5y sociology.
Luckily my self-reflective blindness of having a major constraint in reading speed is over. Time for cooperation.