X
At a glance
Research interests
programming languages, machine learning; static analysis, program verification, program synthesis, logic programming, neuro-symbolic learning and reasoning, AI safety and robustness
About
Biography
Xujie Si is Assistant Professor at the University of Toronto, affiliated with Computer Science. This summary considered 2 collected sources. Listed research or teaching areas include programming languages, machine learning; static analysis, program verification, program synthesis, logic programming, neuro-symbolic learning and reasoning, AI safety and robustness.