Kuan-yen Chou
Applied Scientist at Amazon Web Services (AWS)
Minneapolis, Minnesota, United States
Summary
👤
Senior🎓
Top SchoolKuan-yen Chou is an Applied Scientist at AWS's Automated Reasoning group with 11 years of experience blending research-grade formal methods and practical networking engineering. He completed a PhD in Computer Science at UIUC focused on scalable verification of computer networks and has built tooling for symbolic execution and P4-based reasoning during a Google internship. His work spans network verification, programmable networks, and cybersecurity, and includes hands-on contributions to the well-known Firmadyne firmware emulation project where he improved network setup, VLAN support, and script robustness. Comfortable moving between theory and production, he has interned and collaborated across industry (VMware, Google) and academia, bringing reproducible, scalable analysis to real-world systems. Outside of work he’s as goal-oriented about an empty inbox as he is about clean models—he also enjoys winter, food, and movies.
11 years of coding experience
7 years of employment as a software developer
Bachelor's degree, Electrical Engineering and Computer Science, Bachelor's degree, Electrical Engineering and Computer Science at National Chiao Tung UniversityUniversity of Illinois Urbana-Champaign
English, Chinese, Mandarin
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (10)
sh10
bash10
script10
shell10
scripting10
networking10
iptables9
firmware9
vlan8
python7
Programming languages (14)
Github contributions (5)
firmadyne/firmadyne
Oct 2016 - Feb 2017
Platform for emulation and dynamic analysis of Linux-based firmware
Role in this project:
DevOps Engineer
DevOps EngineerContributions:8 commits, 2 PRs, 2 comments in 4 months
Contributions summary:Kuan-yen's contributions primarily focus on the configuration and improvement of the firmware emulation environment. They modified scripts related to network setup, including the utilization of `ip` commands for network configuration and introducing VLAN support. Additionally, they updated scripts responsible for file manipulation, such as fixing the creation of essential files in the /etc directory, and improving general script POSIX compliance. The user's work also involved code improvements to enhance script robustness.
dynamic-analysislinuxemulationfirmware
kyechou/configs
Oct 2018 - Dec 2024
Contributions:637 pushes, 1 branch in 6 years 2 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.