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

2024

PLDI

Chair of PODELSKI within the Tutorials-track

PODELSKI

Co-chair in Program Committee within the PLDI 2024 Workshop Honoring Andreas Podelski-track

2019

HCVS

Committee Member in Program Committee within the HCVS-track

VPT

Committee Member in Program Committee within the VPT 2019 -track

VMCAI

Author of Fast BGP Simulation of Large Datacenters within the VMCAI 2019-track

2018

POPL

Committee Member in Program Committee within the Research Papers-track

NetPL

Invited Speaker of Very Large Scale Network Verification within the NetPL 2018-track

2017

PLDI

Committee Member in Program Committee

POPL

ERC member in External Review Committee within the POPL-track

2016

PLDI

Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track

POPL

Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track