About

SerVal (Security, Reasoning and Validation) conducts research in security and reliability in software engineering, with a particular focus on AI, data science and decision-making. This research is applied across a variety of domains, including FinTech, energy and industry 4.0. We focus both on fundamental as well as applied research topics, in partnership with public entities and world-class companies.

bug_report

Software Engineering, Analysis and Testing

Software maintenanceCode evolutionTest generationMutation testingAnomaly detectionTest flakinessDebugging

neurology

AI, Machine Learning and Data Science

Bias and fairnessRobustnessDistribution shiftAdversarial attacksDeep learningData imbalanceTransfer learning

check_box

Formal Verification and Optimization

Model checkingSoftware and system variabilityCyber-physical systemsModel-driven engineeringDesign space exploration