Primarily contributed to the stability/integration/certification of multiple OGL/Vulkan GPU drivers on embedded aviation platforms. Created user interfaces for multiple hardware platforms using internal C libraries. Wrote the only comprehensive guide for one of these internal UI libraries. Formally verified countless C files to comply with FAA standards using module and system automated testing. Automated several tedious internal processes using python.

Developed software for Automotive OEM department that wrote automotive data to different file formats using primarily C++ and Qt library, along with completed module testing for this project.