TEM microscope sotware development on a contract from Thermofisher Scientific.- Improved performance of the Virtual Detectors during the 4D STEM experiment by using concurrent computation and templates, raising the number of lossless parallel data acquisitions from 4 to 28 on the same hardware and allowing users to gather more experiment data when using virtual detectors (C++)- Transformed the collision prevention for third-party devices to use asynchronous communication introducing a simpler for extension design and enabling a more flexible microscope configuration (C++, gRPC)

TEM microscope software development contract for the Thermofisher Scientific provided by the Sioux Technologies.- Added support for third-party STEM detectors into microscope software, enabling flexible configuration options and enhancing scientific research capabilities, contributing to the further integration of at least 3 third-party detectors- Introduced the alternating scan mode, improving the user experience and decreasing the acquisition duration 10 times on average in Line Based Drift Compensation 4D STEM acquisition scenarios- Developed 4D STEM Virtual Detector as a Proof of Concept to demonstrate the possibility of a STEM data acquisition with a camera when usage of dedicated STEM detectors is detrimental to the data quality

- Implemented the RTMP publisher for the secure video terminal software to add group call use cases- Created and packaged for a Linux distribution a custom display manager able of login credentials input using the TV remote to achieve better user experience in the typical software use case- Added support of the x265/HEVC video codec to the telecommunication software to make the product reach industry standard

- Introduced the Burstall & Bornat memory model for the open-source static verification tool CPAchecker to improve verdict precision in cases where pointer data is used- Improved the source code analysis for the CPAchecker tool to decrease the amount of incorrect verdicts due to verification software errors