Alexander Wilton
Senior Software Engineer at Mapbox
Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolAlexander Wilton is a Senior Software Engineer and PhD candidate in Computer Science at the University of Delaware with nine years of experience building C++ systems for transportation and autonomous vehicles. He combines production guidance work at Mapbox with research in model checking and symbolic execution, applying compiler optimizations and verification techniques to scientific and CUDA programs. His open-source contributions include substantive improvements to the Valhalla routing engine—implementing robust parameter boundary checks and unit tests for core cost modeling—which reflect a strong focus on correctness and maintainability. Comfortable moving between field-tested vehicle software and formal verification research, he also pursues creative technical projects in game rendering and music production, revealing a knack for complex, cross-disciplinary engineering.
9 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of DelawareBachelor's degree Computer Science, Bachelor's degree Computer Science at Millersville University of Pennsylvania
Github Skills (8)
unit-testing10
routing-slip10
c-language10
routes10
cprogramming-language10
validation10
validate10
testing10
Programming languages (2)
Github contributions (5)
valhalla/valhalla
May 2017 - Dec 2017
Open Source Routing Engine for OpenStreetMap
Role in this project:
Back-end Developer
Back-end DeveloperContributions:161 commits, 37 PRs, 73 pushes in 6 months
Contributions summary:Alexander's primary contribution involves implementing boundary checking and associated unit tests for parameters within the `AutoCost` module, which is a core component of the routing engine. They also added a `ranged_default_t` struct to the `midgard` utility to assist with boundary checks and adjustments. The changes include modifications to several files, suggesting involvement in maintaining and improving the core functionality of the Valhalla routing engine, particularly related to cost modeling and parameter validation. These efforts demonstrate an understanding of software testing and the importance of parameter validation.
osrmmulti-modalnominatimtileddijkstra
acwilton/parallel-path-finding
May 2017 - May 2018
Contributions:29 PRs, 134 pushes, 37 branches in 1 year
investigationprocessorsfindingoptimizingpath-finding
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.