101
reputation
2

Brishna Batool

Active areas of research:

Model checking, program synthesis, automatic correction (counter-example guided)

Keeping a low profile.

This user hasn't posted yet.

Badges (2)

Gold

Silver

Bronze

2

Rarest