Per Lindgren
Per Lindgren

Per Lindgren

Professor, Chaired Professor
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
+46 (0)920 491092
A2307 Luleå

Per Lindgren, Professor Embedded Systems

Academic background and current roles

Since June 2008 Per Lindgren holds the position as chaired professor in Embedded Systems at EISLAB, and manages the Sustainable IT systems Master's (SITS) program. Dr. Lindgren currently heads a group of Ph.D. students in the area of embedded system design, with a focus on real-time, low-power software and hardware architectures with applications to embedded monitoring and control. Dr. Lindgren is a member of the ARTES++ reference group, and member of the ARTEMIS Architecture group, having contributed to the ARTEMIS Tools SRA.

Until January 2010, Dr Lindgren has supervised 6 students to the level of licentiate degree, and 2 students to the level of doctoral degree. After finishing his doctoral studies January 2000, he has held the position of senior lecturer/associate professor, leading education and research in the area of Computer Engineering/Embedded Systems at EISLAB, Luleå University of Technology (LTU).

Dr. Lindgren received a PhD in Computer Engineer (2000) and a Master's degree in Computer Science (1994) at LTU.


My research interests are into component based design of embedded systems. The overall goal is to provide a modeling and implementation framework for systems operating under resource and timing constraints. Topics of interests are methods and tools for, real-time scheduling (for both single and multi-core systems), code generation, resource analysis (CPU/Memory/Power/IO), componentization and composability, and co-simulation.

Related links


Dr. Lindgren is currently examiner and course responsible for courses, student projects and theses in embedded systems.


Projects and funding

Project homepages


Conference paper

Heapless (2018)

Dynamic Data Structures without Dynamic Heap Allocator for Rust
Aparicio Rivera. J, Lindner. M, Lindgren. P
Paper presented at : 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 18-20 July 2018, Porto, Portugal
Conference paper

No Panic! Verification of Rust Programs by Symbolic Execution (2018)

Lindner. M, Aparicio. J, Lindgren. P
Paper presented at : 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 18-20 July 2018, Porto, Portugal
Conference paper

Contract Based Verification of IEC 61499 (2017)

Lindgren. P, Lindner. M, Pereira. D, Pinho. L
Part of: IEEE International Conference on Industrial Informatics (INDIN), s. 132-141, Institute of Electrical and Electronics Engineers (IEEE), 2017, 7819147
Article in journal

End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet (2017)

Lindgren. P, Eriksson. J, Lindner. M, Lindner. A, Pereira. D, Pinho. L
IEEE Transactions on Industrial Informatics, ISSN: 1551-3203, Vol. 13, nr. 1, s. 287-297
Conference paper

A Comparison of Formal Verification Approaches for IEC 61499 (2016)

Blech. J, Lindgren. P, Pereira. D, Vyatkin. V, Zoitl. A
Part of: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, 6-9 Sept. 2016, IEEE conference proceedings, 2016, 7733636