My favorite link on the web is my wife's home page. She is a recent PhD. in computer science from the University of Wisconsin-Madison. She is now happily employed as a staff scientist in CASC @ LLNL. Here are some of my other favorite links:
Math, Logic, & Automated Reasoning
|
|
Research Links (UCB only)
|
|
