I am broadly interested in systems research. I am working under supervision of Ivan Beschastnikh in the Networks, Systems, and Security laboratory. Recently, I have been working on OpenStack networking and data center network functions virtualization. I am also developing an increasing interest in formal verification techniques, in particular, applying SMT solvers to systems problems.
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
