Denis Buzdalov

Denis has been working in ISP RAS since 2010. He developed methods for checking models of aviation electronics, was engaged in model-based testing of cryptoprotols. Now he's applying expressive type systems and functional programming to automated testing of systems with complex inputs, for which it's hard to generate good input data.