Scenes from today's CSE 322 (introduction to formal methods in computer science) final:



The Quantum Pontiff
Theoretical Musings
Search

Profile
Dave Bacon is a theoretical ski bum who is also a pseudo professor. His research is on quantum computing, his scientific passions extend to everything in physics, mathematics, computer science and beyond, and his personal pleasures include making wine, playing poker, skiing, camping, and daydreaming (although not all of those at the same time.)
Nothing he says on this blog should be construed as having anything to do with his employer or his dog.
Recent Comments
- Neil B on So Long and Thanks For All the Fish!
- Si-Hui Tan on Ecto and LaTeXiT
- evden eve nakliyat on Google Hella Cool
- Peter Lund on Google Hella Cool
- wolfgang on So Long and Thanks For All the Fish!
- Rod on So Long and Thanks For All the Fish!
- Art on So Long and Thanks For All the Fish!
- John Sidles on Dead Spins And The Dirty Ground
- Jonathan Vos Post on Dead Spins And The Dirty Ground
- John Sidles on Dead Spins And The Dirty Ground
Recent Posts
- So Long and Thanks For All the Fish!
- Dead Spins And The Dirty Ground
- Bacon Camp
- Best Paper at STOC
- Pr(Future Dave Bacons|Library Cuts) is Small
- De Took Er DataBs Jrbs!
- Google Hella Cool
- Portrait of a Reviewer as a Young Man
- Theory Matters Vision Nuggets
- What To Do With Scirate?
Other Information
Cows are well approximated by a sphere.

« Nobacon | Main | IARPA Withdraws Funding From Major NIST Quantum Computing Groups »
Make Em Laugh, Make Em Cry
Category: Self: Meet Center. Center: Meet Self. • Teaching
Posted on: June 8, 2009 7:47 PM, by Dave Bacon
TrackBacks
TrackBack URL for this entry: http://scienceblogs.com/mt/pings/111912
Click here to search for this post on the new blog.

