Tichakorn Wongpiromsarn
Associate Professor
Ames, Iowa, United States
Summary
👤
Senior🎓
Top SchoolTichakorn Wongpiromsarn is an Associate Professor and researcher with 15 years of experience bridging formal methods, control theory, and transportation systems, currently appointed at Iowa State University and serving as an Amazon Scholar. She combines a Caltech PhD and hands-on autonomy work at nuTonomy with academic leadership in mobility-on-demand, traffic signal control, and decision-making under uncertainty. Her career includes DARPA Urban Challenge systems leadership and postdoctoral research at SMART, giving her rare expertise in translating formal verification and hybrid systems theory into deployed mobility solutions. Known for tackling complex, distributed cyber-physical problems, she blends rigorous specification and verification approaches with practical system design for dynamic urban environments.
15 years of coding experience
13 years of employment as a software developer
California Institute of TechnologyBachelor of Science - BS Mechanical Engineering, Bachelor of Science - BS Mechanical Engineering at Cornell University
Github Skills (22)
toolbox10
temporal10
synthesis10
verification10
abstraction10
timing10
declarative-programming10
specification10
state-machine10
electrical-engineering10
control-systems10
planning10
automata10
logic10
eda9
Programming languages (1)
Github contributions (5)
tichakornw/tichakornw.github.io
Jun 2020 - Jul 2024
Contributions:60 pushes, 1 branch in 4 years 1 month
tichakornw/academic-kickstart
Jun 2020 - Jul 2024
đź“ť Easily create a beautiful website using Academic, Hugo, and Netlify
Contributions:45 pushes in 4 years 1 month
hugojamstacknetlifyhugo-themestatic-site-generator
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.