Xu Zhang joins ILPS

Xu joins ILPS to work as a programmer on the MultiMatch project.