Dave Kelf vient de rejoindre l’Américain Novas Software, fournisseur de systèmes de débogage, en tant que vice-président du marketing. Il occupait jusque-là les fonctions de directeur du marketing chez Synopsys et auparavant de vice-président du marketing chez CoDesign Automation (inventeur du langage Superlog concernant les assertions).