Andrey Rybalchenko -

Registered user since Fri 20 Nov 2015

Name:Andrey Rybalchenko

Country:United Kingdom

Affiliation:Microsoft Research

Personal website:http://research.microsoft.com/en-us/people/rybal/

Contributions

VPT 2019	Committee Member in Program Committee within the VPT 2019 -track
VMCAI 2019	Author of Fast BGP Simulation of Large Datacenters within the VMCAI 2019-track
HCVS 2019	Committee Member in Program Committee within the HCVS-track
NetPL 2018	Invited Speaker of Very Large Scale Network Verification within the NetPL 2018-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track
POPL 2017	ERC member in External Review Committee within the POPL-track
PLDI 2017	Committee Member in Program Committee
PLDI 2016	Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track
POPL 2016	Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track