Biography
I am interested in how programming language design can influence how we think about the correctness of programs. My research is in automata learning, with applications to verification of network routing policies.
I am interested in how programming language design can influence how we think about the correctness of programs. My research is in automata learning, with applications to verification of network routing policies.