Hi, I’m Bo! I’m a PhD student at KISP, working on program synthesis and translation.

Some research projects here: DuoGlot SynGuar