Toru Takisaka and Michelle Zhang have finally joined the group as postdocs. Toru works on probabilstic verification and Michelle works on mechanism design and differential privacy.