Xujie Si (Preferred)
Xujie Si
Assistant Professor, Department of Computer Science, University of Toronto
Joined
August 2018
Names
Emails
****@cis.upenn.edu (Confirmed)
****@seas.upenn.edu (Confirmed)
****@cs.mcgill.ca (Confirmed)
****@cs.toronto.edu (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Department of Computer Science, University of Toronto (toronto.edu)
2023 – Present
Assistant Professor
School of Computer Science, McGill University (mcgill.ca)
2020 – 2022
PhD student
Computer and Information Science, University of Pennsylvania (upenn.edu)
2016 – 2020
Advisors, Relations & Conflicts
Expertise
Deep Learning
, Reinforcement Learning
2018 – Present
Program Synthesis
, Inductive Logic Programming
2016 – Present
Symbolic Constraint Solving
2014 – Present
Program Analysis and Verification
2014 – Present
Publications
Co-Authors
- Aaditya Naik
- Airu Yin
- Alana Ceci
- Alexander G. Gray
- Alexey Ignatiev
- Andreas Veneris
- Anima Anandkumar
- Anqi Xing
- Arie Gurfinkel
- Aws Albarghouthi
- Barış Bayazıt
- Binghong Chen
- Bowen Li
- Breandan Considine
- Brigitte Pientka
- Changwoo Min
- Chao Wang
- Chen Wang
- Chuqin Geng
- David Rolnick
- Doina Precup
- Fan Long
- Fan Yang
- Felix Gimeno
- Frank Rudzicz