Discover users based on their interests
Laboratory automation professional with a well calibrated pseudoscience detector.
Guru is the lamp in whose light one can realize the truth, may that light shine upon our darkness and bring us into the ever joyous state of Brahm:anandam (Eternal Bliss)
I am a mathematics and computer science researcher, hence the name Curry Howard isomorphism.
Nadia Belabas, currently learning and meaning no harm
Scientist and programmer.
He/him -- Linguistics -- Should read more
Male aerospace engineer, working in high-speed flow and laser-based measurement.
Living in Australia.
PhD student, tired, nerd
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.
Scientist. Maker. And other stuff.
“Every great advance in science has issued from a new audacity of imagination.” – John Dewey
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.
Research Assistant @ NIPNE-HH