Mike Choi - Co-Founder at Koah

Mike Choi

Co-Founder at Koah

San Francisco, California, United States

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Mike Choi is a founder and product-focused engineer with 11 years building high-impact consumer and infrastructure software from Google and Apple to Twitter/X and now Koah Labs, an ad network for AI apps. He blends hands-on systems and mobile expertise—evident from iOS UX improvements to VLC and a Go-based CLI for resolving Git conflicts—with product leadership as Koah’s Co-Founder & CPO. Mike’s background includes production-scale engineering at major tech platforms and a stint at South Park Commons where he sharpened startup strategy and network effects thinking. He served as a sergeant in Military Intelligence, a detail that informs his disciplined, security-minded approach to engineering. Based in San Francisco, he focuses on shipping pragmatic, observable systems that bridge developer tools and consumer-facing experiences.

11 years of coding experience

6 years of employment as a software developer

Bachelor of Science (BS), Bachelor of Science (BS) at Texas A&M University

Wichita Collegiate School

Korean, French, English

Stackoverflow

Stats

1,141reputation

81kreached

27answers

12questions

Github Skills (19)

git10

objective-c10

ios10

mobile-development10

vlc10

go10

golang10

swift10

conflict-resolution10

ui-design9

fastlane9

utility9

sorting6

sqlalchemy6

linux6

Programming languages (12)

ShellCSCSSJavaScriptGoObjective-CHaskellSwift

Github contributions (5)

mkchoi212/fac

Dec 2017 - May 2019

Easy-to-use CUI for fixing git conflicts

Role in this project:

Back-end Developer

Contributions:17 releases, 198 commits, 24 PRs in 1 year 5 months

Contributions summary:Mike primarily worked on building a command-line user interface (CUI) application for resolving Git conflicts. They implemented functionalities such as parsing git diff output to identify conflicts, displaying the conflicts on a screen, and allowing the user to choose whether to accept the local or incoming changes. The contributions involved creating data structures to represent conflicts and integrating with the git command-line interface using Go. These changes included the core logic for conflict resolution.

gogolangcuiconflict-resolutionutility

videolan/vlc-ios

Mar 2018 - Aug 2018

VLC for iOS/iPadOS and tvOS official mirror

Role in this project:

iOS Mobile Developer

Contributions:49 commits, 18 PRs, 86 comments in 5 months

Contributions summary:Mike primarily focused on enhancing the VLC for iOS application's user experience and functionality. Their contributions included refactoring the playback controller by removing hacks and using the `mediaPlayer.position` property, improving control center integration by enabling scrubbing and reflecting playback position, and adjusting UI elements. Furthermore, the user implemented code for iOS screenshots for automated testing using fastlane.

iosipadostvosvlcobjective-c

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.

Request Free Trial