This is my homepage now.
I try to answer questions about our civilizations use of software, the reliability of software, how much we should trust it, and how to construct it. I study computer security and programming languages. I also research the history of science and the military.