Kangfeng Ye Email
Formal Methods Engineer @ Input Output Group
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Kangfeng Ye Location
- York, GB
Kangfeng Ye Work
- Formal Methods Engineer @ (November 2025 - Present)
- Research Associate @ (December 2016 - November 2025)
- Part-time Software Engineer @ (December 2012 - December 2015)
- Embedded Software and Firmware Leader @ Celestica (October 2007 - September 2012)
- Alignment Subsystem Design Engineer @ (December 2004 - July 2007)
Kangfeng Ye Education
- University of York
Doctor of Philosophy (PhD) (Formal Methods, Model Checking)
2012-2016
Kangfeng Ye Summary
- Kangfeng Ye, based in York, GB, is currently a Formal Methods Engineer at Input Output (IOHK). Kangfeng Ye brings experience from previous roles at University of York, Rapita Systems, Celestica and SMEE. Kangfeng Ye holds a 2012 - 2016 Doctor of Philosophy (PhD) in Formal Methods, Model Checking @ University of York. Kangfeng Ye has 1 emails on RocketReach.
Looking for a different Kangfeng Ye?
Find contact details for 700 million professionals.
Top Input Output Group Employees
Ross Plummer
Director of Brand Marketing
United Kingdom
Rakesh Patel
Director Total Rewards
Atlanta, GA, US
Ian Cross
Head of Product (Wallets)
Chapel Hill, NC, US
Paul Kuveke
VP Product Operations
New York, NY, US
Scott Kelly
VP Research Operations
Cambridge, GB
J.j. S.
Vice President of Commercial
Denver, CO, US
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co