conf.researchr.org / Ping Hou
Registered user since Mon 15 May 2023
Name:Ping Hou
Country:United Kingdom
Affiliation:University of Oxford
Research interests:Verification, Programming Languages, Distributed Systems, Security, Machine Learning
Contributions