Personal website showcasing research, publications, and blog| zayenz.se
Technology startup leveraging temporal logic and formal verification expertise to enhance safety and reliability in AI-enabled systems and complex software.| imiron.io
Technology startup leveraging temporal logic and formal verification expertise to enhance safety and reliability in AI-enabled systems and complex software.| imiron.io