Interested in compilers, constraint satisfaction, and machine learning.
PhD research in constraint satisfaction.