معرفی
Ivan Porres Paltor is a Professor in Software Engineering at Åbo Akademi University's Faculty of Natural Sciences and Engineering, Information Technology department. His research focuses on trustworthy software & AI, particularly in cyber-physical system validation and adaptive testing.
- Developed STGEM - a leading tool for formal requirement falsification in cyber-physical systems using generative machine learning
- Active in multiple research projects: MADNESS Centre of Excellence (antimicrobial resistance solutions), FAST Doctoral Network, and Virtual Sea Trial
His work contributes to:
- UN Sustainable Development Goals (SDGs)
- Advancements in mission-critical software verification
- Integration of AI for software engineering and software engineering for AI
Key research areas:
- Formal requirement validation through generative adversarial networks
- Scenario-based testing for adaptive systems
- Metamorphic relations in test case generation
- Technical report frameworks for system verification
۰مقاله منتشرشده
