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