A PhD Student interested in the area of Program Correctness, Formal Verification, Distributed System, and Privacy and Security
Joined as part of the GIK program
A Southeast Asian ride-hailing decacorn startup
An Indonesian chatbot startup
An observation about the optimization performance of a federated learning system with asynchronous aggregation algorithm under the condition of data imbalance