2025 – Present
Software Engineering Researcher
- Project: Improving the usability of LiquidJava , a liquid type system for Java, through enhanced verification feedback, extended IDE support, and a better overall developer experience.
- Verification Feedback: Redesigned diagnostics and implemented traceable predicate simplification, counterexamples, and actionable hints to make verification failures easier to understand and resolve.
- IDE Integration: Enhanced the VS Code extension with syntax highlighting, autocomplete, hover information, and interactive views for exploring diagnostics, inspecting the verification context, and visualizing typestate protocols.
- Verifier Improvements: Improved verification robustness and predictability through multiple error reporting, complete project verification, and closer alignment with Java syntax and semantics.
- Contributions: 120+ merged pull requests to the verifier and 80+ to its VS Code extension.
- Supervisors: Alcides Fonseca and Catarina Gamboa
- Funding: FCT | LASIGE