Skip to: Site menu | Main content

 
 
 
 
 

  
 
  phd, com. sci., ai, unsw, oz
  assoc. prof. cs, wvu, usa

 
(This is a news page.)

Better than the real thing

Thu Sep 18 01:09:10 PDT 2008

I can't help noticing that this conference looks better on the video screen than in real life.

Also (begin geek joke) this is a bounded model checker (only two copied of a recursive structure).