Edin Jelačić - PhD Researcher
Verifiable AI & Safety-Critical Systems
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:
- Publications - Peer-reviewed papers
- Projects - Research collaborations
- CV - Academic background
- Licentiate - My licentiate thesis
- Bookshelf - Things I’m reading, also on Goodreads
- People - My supervisors
Feel free to get in touch via email or LinkedIn if you want to chat about AI safety, robotics, or systems engineering.
news
| Jun 15, 2026 | Licentiate thesis presented |
|---|---|
| Jun 03, 2026 | HASCO paper published at AEiC 2026 |
| Oct 02, 2025 | Licentiate Proposal Approved |
| Jul 08, 2025 | CPU load forecasting paper at COMPSAC 2025 |
| Feb 22, 2025 | Cache miss prediction article in STTT |