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