Chung-kil Jeong
Engineer at Kakao Corp
South Korea
Summary
👤
Senior🎓
Top SchoolChung-kil Jeong is an experienced GIS-focused engineer with 11 years in mapping and navigation content development, currently managing roadview and 3D skyview data for Kakao Map. He has progressed from GIS engineering and AutoCAD/LISP development to leading teams that build tools for producing and reanalyzing navigation content, blending hands-on scripting (LISP, Python/QGIS) with product planning. His background in urban planning informs a practical understanding of spatial data and transportation systems, which he applies to create new value from existing map datasets. He maintains a blog on GIS & IT, signaling ongoing engagement with the community and continual learning in geospatial technology.
11 years of coding experience
8 years of employment as a software developer
Bachelor's degree, Urban Planning, Bachelor's degree, Urban Planning at KyoungWon Univ
English, Korean
Github Skills (29)
recursive10
coq9
parametric9
semantics8
continuation8
opam8
coq-library8
agda7
dependent-types7
mathematical7
sat-solver7
theorem-proving7
homotopy-type-theory6
proofs6
proof-assistant6
Programming languages (5)
Github contributions (5)
gilhur/InteractionTrees
Dec 2018 - Jan 2025
Formalization of the Interaction Tree Datatype in Coq
Contributions:51 pushes, 25 branches in 6 years 2 months
interactiondatatypeformalizationnormalizationcoq
snu-sf-class/pp202002
Sep 2020 - Dec 2020
Contributions:16 commits, 16 pushes in 3 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.