Lucas Lima is a Lecturer at UFRPE. His main research interest is in System/Software Engineering, with an emphasis on: system modelling, hidden formal methods, knowledge graphs and ontologies, formal analysis, components, verification and validation of real-time systems.