Hezi Daniel is a Senior Developer at an international enterprise application software provider, with over 2 decades of experience in the software industry, working with a variety of technologies, both client and server side. In teaching, as an adjunct lecturer at the Israel Academic College of Ramat Gan, he is employing formal method techniques (using Dafny) in a required course of Logic and Set Theory. Hezi is a passionate technologies freak, and holds a Bachelor of Science degree in Mathematics and Computer Science from BGU (1998).