Eugen worked on the EPFL-LAP/dynamatic repository, focusing on improving the correctness of the HLS Verifier component. During this period, he addressed a critical issue related to floating point comparison by implementing a dedicated NaN-equality check for both float and double types, following the IEEE 754 standard. Using C++ and leveraging his expertise in floating point comparison, Eugen ensured that two NaN values are now treated as equal, resolving a known mismatch that previously affected verification accuracy. Although the scope was limited to a single bug fix, the work demonstrated careful attention to detail and a strong understanding of numerical correctness.