John Altidor is a Principal Research Scientist specializing in formal methods at Leidos, where they conduct research and development focused on programming languages and compiler techniques. Previously, they served as a Formal Methods Engineer at NASA, implementing verification software for the Lunar Gateway space station, and held various engineering roles at institutions such as Draper, Intel, and Micro Focus. John has also contributed to academia as a full instructor at the University of Massachusetts Amherst and has been involved in significant software development projects across multiple industries, including cybersecurity and big data technologies. Their extensive experience encompasses both software engineering and research, emphasizing formal methods and system architecture.
This person is not in the org chart
This person is not in any teams
This person is not in any offices