I have completed my PhD at University of Toronto supervised by Fahiem Bacchus.
My PhD work revolved around different forms of Constraint Satisfaction. My thesis is on various improvements to QBF solving.
My CV is here.
My PhD Thesis is on Exploiting Problem Structure in QBF Solving .
For any research related questions, contact me at alexia at cs dot toronto dot edu. I'm always happy to discuss my work or provide help to those using my tools.