Alexander Kogtenkov Russian Federation, Podolsk Academic degree Doctor of Sciences ETH Zurich Research area compilation methods and tools for developing reliable software program verification formal methods for improving safety of programming languages Affiliation & position Eiffel Software — senior software engineer ECMA International, TC49-TG4 — consultant Self-employed E-mail kwaxer@mail.ru
