I am a PhD student supervised by Fahiem Bacchus. I am a part of the Knowledge Representation Group at University of Toronto.
My research interests revolve around different forms of Constraint Satisfaction. Currently I am working on various improvements to QBF solving.
This web page is currently under construction. I plan to add more information, and publish my circuit-based QBF solver, CirQit.
In the meantime, feel free to contact me at alexia at cs dot toronto dot edu.