Loading…
CP 2016 has ended
avatar for Andrey Rybalchenko

Andrey Rybalchenko

Microsoft Research
Senior Researcher
Munich, Germany
Andrey Rybalchenko is a senior researcher at Microsoft Research. He focuses on automated methods and tools for formal software and network verification. In the past, Andrey was a professor at Technische Universität München, a researcher at Max Planck Institute for Software Systems, EPFL, MSR Cambridge, Max Planck Institute for Informatics, and University of Saarland. Andrey was selected for MIT TR35 (2010) and Otto Hahn Medal (2005), received an ERC Starting grant (2012) and a Microsoft Research European Fellowship (2006).