Kardi Teknomo
Founder & Director at Revoledu
East Java, Indonesia
Summary
👤
Senior🎓
Top SchoolKardi Teknomo is a multidisciplinary founder, researcher, and software developer with over three decades of international experience across academia, consulting, and entrepreneurship spanning Indonesia, Japan, Austria, the Philippines, Thailand, and the USA. He leads Revoledu and previously headed the Pedestrian and Traffic Computing Research Group at Ateneo de Manila, blending deep expertise in operations research, transportation engineering, simulation, and machine learning to solve complex mobility and decision‑making problems. His work bridges rigorous academic research (PhD in Information Sciences from Tohoku University) with practical deployments in traffic intelligence, queuing management, and quantitative trading models. A prolific educator and consultant, he has held fellowships and visiting posts globally and co‑founded startups while advising international organizations like the IFC. Beyond conventional CV highlights, he maintains an extensive online tutorial and resource archive that reflects a long‑standing commitment to open education and reproducible computational methods. Based in East Java, he combines entrepreneurial grit with a rare cross‑domain fluency that accelerates the translation of models into operational systems.
9 years of coding experience
22 years of employment as a software developer
Master of Engineering (M.Eng.), Geotechnical and Transportation Engineering, Master of Engineering (M.Eng.), Geotechnical and Transportation Engineering at Asian Institute of TechnologyBachelor, Civil Engineering (Transportation), Bachelor, Civil Engineering (Transportation) at Petra Christian UniversityPhD, Information Sciences, PhD, Information Sciences at Tohoku University
Stackoverflow
1,425reputation
2.7mreached
40answers
3questions
Github Skills (25)
network-flow9
napalm7
first-order-logic6
urllib6
vuejs26
logic6
php6
vue6
jquery6
python6
javascript6
rotation5
image-processing4
translation4
isbn4
Programming languages (2)
Github contributions (5)
teknomo/theorem-prover
Sep 2017 - Mar 2021
Contributions:17 commits, 2 PRs, 16 pushes in 3 years 6 months
pythonprovertheoremtheorem-proverfirst-order-logic
teknomo/IdealFlowNetwork
Sep 2017 - Dec 2022
Contributions:3 releases, 55 commits, 11 PRs in 5 years 3 months
communication-networkspythontransportationnetwork-flowideal
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.