Brishna Batool
101
reputation
2
Active areas of research:
Model checking, program synthesis, automatic correction (counter-example guided)