معرفی
Björn Lisper is a Professor at Mälardalen University, Sweden, affiliated with the School of Innovation, Design and Engineering and the Division of Computer Science and Software Engineering. His research focuses on formal methods, real-time systems, embedded software, static analysis, and high-level synthesis. He has contributed to advancements in WCET analysis, machine learning applications in testing, and compiler optimization techniques. His work emphasizes practical industrial applications, particularly in automotive and multi-core systems.
Research Interests:
- Real-Time Systems & WCET Analysis
- Static Program Analysis
- High-Level Synthesis for FPGAs
- Machine Learning in Software Testing
- Formal Methods & Verification
- Embedded Systems Design
Publications span topics like neural network accelerators, automated testing frameworks, and compiler optimizations, reflecting a blend of theoretical and applied computer science. His work is characterized by collaboration between academia and industry to bridge gaps in embedded software predictability and performance.
