PPT news::Andrey Rybalchenko joins!
We're delighted to welcome Andrey Rybalchenko to the PPT team. His research interests focus on automated methods and tools for improving software reliability and security, ranging from the design of program analysis methods to the development of algorithms for symbolic computation and automated deduction. Andrey joins us from Technische Universität München (TUM), where he was a professor. Previous to TUM, Andrey was at Max Planck Institute for Software Systems (tenure track researcher), EPFL (postdoc), MSR Cambridge (intern), Max Planck Institute for Informatics (PhD student), and University of Saarland (undergraduate student). Andrey was selected for MIT TR35 (2010), received an ERC Starting grant (2012), and a Microsoft Research European Fellowship (2006).
April 16, 2013