Discover users based on their interests
“Every great advance in science has issued from a new audacity of imagination.” – John Dewey
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.
B.S. in Mathematics, Minor in Physics;
Love Science Podcasts and books;
Taught Math and Physics in a rural school for 10 years;
build kayaks and carve paddles;
Live on a lake in Wisconsin
Hobbies include planetary science, astronomy and Star Trek universe.
Associate Teaching Professor in Biochemistry and Molecular Biology at Penn State University.
Ph.D. in theoretical physics
Hello everyone I am Ahil Kannan and I am interested in language, linguistics and education. Reading is my hobby.
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.