My name is Nick Feng. I am a Ph.D. student in computer science at the University of Toronto advised by Marsha Chechik.

I received both M.Sc. and B.Sc. in computer science from the University of Toronto, where I was advised by Marsha Chechik.

Here is my CV. You can reach me at


Our second paper on client-specific equivalence checking was accepted at ASE '20!
Our SAT Solvers (joint work with Randy Hickey and Fahiem Bacchus) Cadical-alluip-trail and Cadical-alluip won the planning track of SAT Competition 2020

Conference Research Papers

Scaling Client-Specific Equivalence Checking via Impact Boundary Search
N. Feng, F. Mora, V. Hui, and M. Chechik

Workshop and Short Papers