Some days ago we celebrated the Master’s defense of Elder Rodrigues Jr., under the supervision of Prof. Leonardo. During his Master’s, Elder worked on a methodology and framework to manage coding conventions as structured models, and to automatically derive checkers by model transformation.
The defense was in remote format, due to the pandemic. Despite that, it originated a rich and interesting discussion with the members of the committee. The methodology proposed in his dissertation also generated two international publications, which confirm the quality of the work. Congratulations!