Kok Wong
Singapore, Singapore
Summary
🤩
Rockstar🎓
Top SchoolKok Wong is a software engineer with six years’ experience building robust backend and testing infrastructure, based in Singapore. He contributes to prominent open-source projects such as sqlancer—improving automated database testing and DuckDB canonicalization—and Manticore, where he enhanced server-side tooling, protobufs, and gRPC error handling. Comfortable across QA, test automation, and backend development, Kok favors tackling “cool problems” and learning new techniques to harden systems. His background includes rigorous STEM education at NUS High School and ongoing engagement with NUS communities like NUSHackers and module customization efforts. Colleagues would describe him as a pragmatic engineer who brings thoughtful improvements to reliability and observability that aren’t always obvious from product-level features. He’s equally at home iterating on low-level test logic as on shaping server behavior for symbolic execution and blockchain-focused tooling.
6 years of coding experience
University Town College Programme (UTCP), University Town College Programme (UTCP) at Residential College 4 (RC4)NUS High School of Mathematics & ScienceDual Enrolment, Dual Enrolment at National University of Singapore
Github Skills (23)
python10
protocol-buffers10
testing10
java10
javas10
duckdb10
sql10
grpc10
admin9
database-administration9
databases9
database9
fuzzing8
postgresql7
mysql7
Programming languages (11)
Github contributions (5)
trailofbits/manticore
Feb 2022 - Jul 2022
Symbolic execution tool
Role in this project:
Backend Developer
Backend DeveloperContributions:21 commits, 5 PRs, 1 comment in 4 months
Contributions summary:Kok primarily contributes to the server-side components of the Manticore project. Their work includes implementing testing functionality, specifically for the MUI Server with both native and EVM features. They addressed Python package structure issues and modified the protobuf specifications to include features such as state parent information and hooks. They also added functionality to stop the server and integrate gRPC status code-based error handling.
symbolic-executionbinary-analysispythonsmtethereum
sqlancer/sqlancer
Apr 2022 - Oct 2022
Automated testing to find logic and performance bugs in database systems
Role in this project:QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:3 reviews, 15 commits, 6 PRs in 6 months
Contributions summary:Kok primarily contributed to enhancing the automated testing infrastructure within the `sqlancer/sqlancer` repository. Their work included adding and testing new methods for comparing result sets, specifically focusing on functions that allow for canonicalization of results. Furthermore, the user integrated DuckDB-specific canonicalization rules into the testing framework, enabling more robust and accurate comparison of results from the DuckDB database system. These contributions improved the testing coverage and reliability of SQLancer for various database systems.
dbms-testingdbmsmysqltidbtesting
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.