معرفی
Simin Nadjm-Tehrani is a Professor and Head of Unit at Linköping University's Department of Computer and Information Science (IDA), leading the Real-time Systems Laboratory (RTSLAB) since 2000. She holds a PhD in Computer Science from Linköping University (1994) and previously served as a full professor at the University of Luxembourg (2006–2008). Her research focuses on cybersecurity, dependability in distributed systems, and formal methods for safety-critical applications.
Key research areas include adaptive anomaly detection in critical infrastructures, energy-efficient protocols, and formal analysis of safety protocols. She leads the NEST-project on AI for cyber attack identification and contributes to the Wallenberg AI, Autonomous Systems and Software Program (WASP). Her work addresses challenges in smart grids, edge computing, and secure communication protocols.
Publications emphasize practical applications of formal verification in tree ensembles, SCADA systems, and avionics. She organized the 2019 CRITIS conference and collaborates with industry on edge computing benchmarks and secure IoT architectures. Her educational contributions include curriculum design for problem-based learning (PBL) and gender equity initiatives in computer science.
Professional roles include leadership in the Software and Systems (SAS) division at IDA, where she oversees interdisciplinary projects combining safety and security constraints. Current efforts target resilient information systems for societal functions like energy and transportation.
