Toru Takisaka and Michelle Zhang joined the group as postdocs
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.
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.