Pozice: Postdoktorand Oddělení: Oddělení teoretické informatiky E-mail: gao@cs.cas.cz Pracovna: 404 Web: https://ghlogic123.github.io/
