During June 2025, thesing focused on stabilizing type resolution in the MontiCore/monticore repository, addressing a critical bug affecting the handling of void type symbols. By refactoring the SymTypeVoid constructor to use BasicSymbolsMill.globalScope() instead of the deprecated scope API, thesing improved the reliability of symbol resolution across code generation and tooling. This Java-based solution targeted the static analysis components, ensuring that void types are consistently and correctly resolved throughout the codebase. The work demonstrated strong debugging and code maintenance skills, with clear documentation and precise commit messages that enhance future traceability and support ongoing quality in the project.