Teodor has a mathematical and software engineering background from the french aeronautical ENSMA-ISAE university (Potiers/Toulouse). He has spent the past 6 years developing major Java EE applications mainly for the Energy Utilities companies in France and Belgium (EDF and Electrabel). Since 2014 he started working for VMware Bulgaria, where every day, he adds a new small brick to the world's cloud infrastructure. His interest in Formal methods comes from his academic background and the observation that in recent years, software quality has become rather a matter of testing than being intrinsic to the software products. He still believes this can change.