Baltimore (US), Maryland


A PhD Student interested in the area of Program Correctness, Formal Verification, Distributed System, and Privacy and Security


University of Chicago

July 2018 - June 2020
Remote Undergraduate Research Assistant

Joined as part of the GIK program

  • Researched about model checker for distributed bug detection, advised by Prof. Haryadi S. Gunawi
  • Developed FastMC, a model checker based on single-JVM system isolation and aspect-based programming
  • Personally implemented the interception layer, path-execution, and path-evaluation module
  • Improved throughput by 2 orders of magnitude (from 30 to 2400+ events / s) faster than the benchmark


December 2019 - February 2020
Data Scientist Intern

A Southeast Asian ride-hailing decacorn startup

  • Initiated “Simulacrum”, an event-based ride market simulation for testing driver incentive schemes
  • Simulacrum prototype can process 1000+ orders / second

June 2019 - September 2019
Research Scientist Intern

An Indonesian chatbot startup

  • Researched about semi-supervised NLP method to improve the company’s sequence labeling engine
  • Handled the experiment and modification of Cross-View Training (Clark et al., 2018) model
  • Improved F1 score by 6% (from 86% to 92%) compared to the previous NER engine


Johns Hopkins University

2021 - Present
Computer Science

Bandung Institute of Technology

2016 - 2020
Bachelor of Science
Computer Science
GPA: 3.62


Study of Data Imbalance and Asynchronous Aggregation Algorithm on Federated Learning in Senapati S. Diwangkara, Achmad Imam Kistijantoro, 1 October 2020

An observation about the optimization performance of a federated learning system with asynchronous aggregation algorithm under the condition of data imbalance