Paul Kim
Cofounder CTO at SiLogy
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolPaul Kim is a Cofounder and CTO with 11 years of experience building reliable backend systems and data pipelines, now focused on next-generation tools for circuit verification. He has led production-critical projects at Cloudflare—overhauling user authorization, implementing SCIM group APIs, and introducing test frameworks—and previously drove core data infrastructure and onboarding reliability at Sense. Comfortable across the full stack, Paul has designed high-throughput services in Go, PHP, and PostgreSQL as well as MySQL-to-Elasticsearch pipelines that feed mission-critical search. He pairs hands-on engineering with mentorship and process improvements, having authored production readiness checklists and guided junior engineers. Based in San Francisco with a Math & CS BA from the University of Chicago, he brings a pragmatic, systems-oriented approach to founding a startup in a niche but technically demanding domain. An understated strength is his track record of debugging across multiple complex codebases, turning ambiguous operational issues into long-term, testable fixes.
11 years of coding experience
8 years of employment as a software developer
Bachelor of Arts (B.A.) Mathematics and Computer Science, Bachelor of Arts (B.A.) Mathematics and Computer Science at University of Chicago
Github Skills (23)
application10
llm9
fine-tuning9
bit8
data-structures8
32-bit8
vector-database8
hardware7
risc7
openembedded7
gpt7
computer-engineering6
cpu6
risc-v6
simulator5
Programming languages (8)
Github contributions (5)
pkkim/lisp_interpreter
May 2019 - Sep 2019
Contributions:32 commits in 3 months
pkkim/ibex
Jun 2024 - Mar 2025
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
Contributions:5 PRs, 46 pushes, 12 branches in 8 months
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.