Milton Stafford received his Bachelor's Degree from Florida Tech in Computer Science in 2016, having research focuses in Language Design and Compiler Theory. He graduated with his Master's Degree and published a thesis in Computer Science in 2019. His graduate research focused on the interaction of formal methods, complex algorithms, and safety-critical systems. This research looked into designing a generic architecture with automated tools for running complex/AI-based algorithms in cases where there is a need for assurance of safety. He is now a Software Engineer at Maxar Technologies, where he supports the Sensor-to-Ground Modernization team, which develops software for rapid satellite imagery access and archival.
© Florida Institute of Technology, All Rights Reserved