Yit Khoo
Software Engineering Manager at MathWorks
Natick, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolYit Khoo is a Software Engineering Manager at MathWorks with 15 years of experience building developer-focused tools and leading teams that deliver production-grade features for simulation and deep learning workflows. He specializes in designing user-centered program analysis and debugging tools that tackle complex "mandelbugs"—concurrency, memory corruption, performance, and temporal logic errors that span files and time. Yit blends research rigor (PhD, University of Maryland) with product engineering, having invented visualization and time-travel debugging approaches and shipped features like the Test Sequence block and Temporal Assessment in Simulink. He applies HCI and information visualization techniques to make static and dynamic analyses understandable to both expert and novice programmers. Known for simplifying algorithms so programmers can follow their reasoning, he also fosters team productivity and developer empowerment through thoughtful tooling and interfaces. Based in Natick, MA, he brings a rare mix of academic depth and practical leadership in developer tooling for complex software systems.
15 years of coding experience
19 years of employment as a software developer
Bachelor of Science (B.S.), Electrical Engineering, 3.9, Bachelor of Science (B.S.), Electrical Engineering, 3.9 at University of Southern CaliforniaThe University of Maryland, College Park
English, Japanese, Chinese, Malay
Github Skills (30)
noise10
cryptanalysis9
solver9
smt8
sat-solver8
z38
derivative8
verification8
cnf7
coq7
cryptography7
theorem7
symbolic-execution7
theorem-proving7
proof-assistant6
Programming languages (2)
Github contributions (5)
stp/stp
Feb 2011 - Sep 2013
Contributions:29 commits, 1 comment in 2 years 8 months
cryptanalysissat-solversymbolic-executiontheoremfinite-fields
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.