Ian Neal
Senior Research And Development Engineer at Veridise
Greater Kalamazoo Area United States
Summary
👤
Senior🎓
Top SchoolIan Neal is a Senior R&D Engineer and PhD candidate in Computer Science at the University of Michigan with 11 years of industry and research experience building tools that make software more reliable and debuggable. He specializes in automated incident reproduction and semantic bug detection, blending systems-level engineering with program analysis techniques to reduce developer time spent on fault triage. His work spans production-focused internships at Microsoft and IBM to research roles at university labs and Veridise, where he prototypes techniques that scale to cloud services. Ian has extended symbolic execution tools and built testing infrastructures for networked systems, demonstrating a knack for turning deep theory into practical tooling. Based in Greater Kalamazoo, he pairs strong academic credentials (high-performing PhD/MEng) with hands-on production experience across cloud and distributed systems. An uncommonly practical researcher, he focuses on automations that both reproduce real-world incidents and integrate into engineering workflows.
11 years of coding experience
8 years of employment as a software developer
AP Scholar, AP Scholar at Leander High SchoolBachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at The University of Texas at AustinDoctor of Philosophy - PhD, Computer Science, 3.961, Doctor of Philosophy - PhD, Computer Science, 3.961 at Computer Science and Engineering at the University of Michigan
English
Stackoverflow
113reputation
2kreached
3answers
0questions
Github Skills (69)
orchestration10
docker-compose10
golang10
compiler10
symbolic-execution10
rust10
container10
go10
klee10
docker10
docker-image10
rust-lang9
symbolic-execution-engine9
rust-language9
garbage-collection9
Programming languages (8)
Github contributions (5)
iangneal/iangneal.github.io
Mar 2015 - Mar 2024
Contributions:229 pushes, 4 branches in 9 years 1 month
efeslab/hippocrates
Jun 2020 - Apr 2022
Automatically fixing persistency bugs in PM applications. ASPLOS '21.
Contributions:7 releases, 218 commits, 8 PRs in 1 year 10 months
persistencyfixing
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.