1995 …2024

Julkaisut ja projektit vuosittain

Henkilökohtainen profiili

Biografia

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.

Tutkimuksen mielenkiinnon kohteet

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 systems. The code is available in this repository.

Asiantuntemus YK:n kestävän kehityksen tavoitteista

Vuonna 2015 YK:n jäsenvaltiot sopivat 17 maailmanlaajuisesta kestävän kehityksen tavoitteesta köyhyyden poistamiseksi, planeetan suojelemiseksi ja vaurauden takaamiseksi kaikille. Tämän henkilön työ edistää seuraavia kestävän kehityksen tavoitteita:

  • SDG 3 – Hyvä terveys ja hyvinvointi
  • SDG 4 – Laadukas koulutus
  • SDG 9 – Teollisuus, innovaatiot ja infrastruktuuri

Sormenjälki

Sukella tutkimusaiheisiin, joissa Ivan Porres Paltor on aktiivinen. Käsitteet on luotu henkilön julkaisuja ja asiasanoja louhimalla. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
  • 1 Samanlaiset profiilit