Bosnia Edin Jelačić - PhD Researcher Sweden

Verifiable AI & Safety-Critical Systems

prof_pic_edin.jpg

Mälardalen University

Västerås, Sweden 🇸🇪

I’m a PhD researcher at Mälardalen University studying how to build AI systems we can actually trust. My background spans robotics, software engineering, and now verifiable AI, all with a focus on making systems that people can depend on.

Currently, I’m working on the PerFlex project with collaborators at Volvo Cars, Hitachi Energy, and Ericsson. The research looks at how to preserve system properties like execution time and power consumption when using machine learning, and how to verify that these properties hold.

In June 2026 I presented my licentiate thesis, Machine Learning for Predictive Modeling and Abstraction in Industrial-Scale Systems. Its most recent paper, HASCO, was published at AEiC 2026: it compiles natural-language accident reports into executable driving simulations for testing automated vehicles.

Before my PhD, I worked as a software engineer at Cosylab building critical systems for radiation therapy machines. That experience taught me why safety matters.

Explore my work:

Feel free to get in touch via email or LinkedIn if you want to chat about AI safety, robotics, or systems engineering.

news