Hoppa till innehållet
Per Lindgren
Per Lindgren

Per Lindgren

Professor
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
Per.Lindgren@ltu.se
0920-491092
A3316 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.

Research

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.

Relaterade länkar

Teaching

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

Courses

Projects and funding

Project homepages

Publikationer

Konferensbidrag

Cargo-call-stack Static Call-stack Analysis for Rust (2019)

Lindgren. P, Fitinghoff. N, Aparicio. J
Ingår i: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 1169-1176, IEEE, 2019
Artikel i tidskrift

Concurrent Reactive Objects in Rust Secure by Construction (2019)

Lindner. M, Aparicio. J, Lindgren. P
Ada User Journal, Vol. 40, nr. 1
Konferensbidrag

Introducing Certified Compilation in Education by a Functional Language Approach (2019)

Lindgren. P, Lindner. M, Fitinghoff. N
Ingår i: Proceedings Seventh International Workshop on Trends in Functional Programming in Education, s. 65-78, Open Publishing Association, 2019
Konferensbidrag

Verification of Safety Functions Implemented in Rust (2019)

a Symbolic Execution based approach
Lindner. M, Fitinghoff. N, Eriksson. J, Lindgren. P
Ingår i: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 432-439, IEEE, 2019
Konferensbidrag

Embedded Programming adopting Functional Constructs in Rust (2018)

Lindgren. P, Lindner. M, Aparicio. J
Paper presented at : Trends in Functional Programming in Education (TFPIE 2018), Gothenburg, June 14, 2018