I study the art and science of program synthesis and verification. My group is currently focused on two problems: a) automatically synthesizing compilers for quantum computers and b) certifying robustness and fairness of machine learning.
I study the art and science of program synthesis and verification. My group is currently focused on two problems: a) automatically synthesizing compilers for quantum computers and b) certifying robustness and fairness of machine learning.