Untitled

Eventually we are all going to graduate. Sooner or later this will happen. I heard this rumor is true. But when it actually comes to making steps to graduation, it gets a bit frightening... However, don't be afraid. When you finally step out in front of the big screen before your thesis committee and announce the title of your thesis you're about to defend, you'll be done faster than you can say "Model Checking." Trust me. I'm speaking from experience...

My Thesis Links

• Thesis
• Thesis Proposal

Thesis: Combining Model Checkning and Theorem Proving: A Unified Framework

Related Links

• Thesis summary in HTML and Postscript formats
• Thesis Abstract
• Slides of my talk in PowerPoint
• Handouts (6 slides per page) in Postscript
• Thesis in Postscript and PDF formats

Thesis Proposal: Combining Model Checking and Theorem Proving in Hardware Verification

(Notice, that the title of my thesis has changed slightly from the proposed title)

I have my thesis proposal scheduled for 9:00am (yes, that early!) on the 27th of January of the year 1999 A.D., in the room WeH 4623. Come by, if you are awake at that time, take a look!

Related Information

• proposal.ps.gz - the text of my thesis proposal
• Slides for the talk (4 up on a page)
• language.symp
• cache.symp
• cache.smv