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.

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

Oct 02, 2025 Licentiate Proposal Approved
Jan 02, 2025 Sttt Journal
Jan 01, 2025 Compsac 2025
Oct 01, 2023 Aisola 2023
Sep 01, 2023 Phd Start