I am a third year PhD student in Computer Science at
Stanford University. I'm grateful to be co-advised
by Alex Aiken and Jiajun Wu.
My research attempts to combine neural and symbolic techniques (graphs, programs, search) to
build novel architectures for visual reasoning and program synthesis. My research is supported by the
Brown Institute for Media Innovation.
I am always up for a conversation, let's catch up if you are around!
- motion2prog: Representing human motion with programs.
- SPoC: Search-based Pseudocode to Code.
- BFSS: Blazing Fast Skolem Synthesis.
- Syncro: Automatic Incrementalization through Synthesis.
- Orb: Resource Bounds Verifier for Functional Scala programs.
- tusSAT: A hardware based (VHDL) SAT solver.
- verify-xv6: Verification of buffer cache properties in xv6.
- SymPy: Computer Algebra System written in pure Python.
- SymEngine: Fast symbolic manipulation library written in C++.
* All authors contributed equally.
Many thanks to Shumo Chu for the site inspiration.