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.
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.
