If you made any changes in Pure these will be visible here soon.

Personal profile


Dr. Eng. Ivan Porres is a professor in Software Engineering and the head of Computer Science and Engineering subjects at Åbo Akademi University. His research work focuses on trustworthy software & AI, specially the design, verification and validation of mission critical software-intensive systems, software engineering for AI and AI for software engineering.

Research interests

You can find my latest arXiv preprints here.

We are developing a method and tool for validation of software and system models for cyber-physical systems named STGEM. STGEM uses generative machine learning to produce scenarios for adaptive testing. STGEM is one of the best research tools for falsification of formal requirements for cyber-pysical system worldwide. The code is available in this repository.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being
  • SDG 4 - Quality Education
  • SDG 9 - Industry, Innovation, and Infrastructure


Dive into the research topics where Ivan Porres Paltor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles