جستجوی استاد راهنمای دانشگاهی

Dr. Hui Han is a Senior Lecturer at Luleå University of Technology (LTU) in Sweden, working within the Machine Learning Group with a Wallenberg AI, Autonomous Systems and Software Program (WASP) professorship. She is affiliated with the Department of Computer Science, Electrical and Space Engineering, specifically within the Embedded Intelligent Systems LAB. Her office is located in Luleå at room A3424. Dr. Han earned her Ph.D. in Industrial Engineering from the Technical University of Madrid (UPM), Spain. Following her doctoral studies, she completed postdoctoral research at the Data Science department of Fraunhofer IESE in Germany and later served as a postdoctoral fellow in the Department of Computer Science at the Norwegian University of Science and Technology (NTNU), Norway. Dr. Han's research focuses on data science with specific expertise in Edge AI and TinyML (Tiny Machine Learning). She leads research efforts in developing sustainable modeling for Sustainable Supply Chain Management, particularly in reverse logistics and circular economy. Her work also encompasses social commerce and Industry 4.0 applications. As the first author, she has published 17 papers including 10 journal papers, 4 conference papers, and 3 magazine papers, accumulating over 1,000 citations according to Google Scholar. Her publications appear in high-impact journals such as Technological Forecasting & Social Change (IF 13.3), Expert Systems with Applications (IF 8.5), and Education and Information Technologies (IF 5.5). Dr. Han's teaching portfolio includes Management Information Systems, Project in Industrial AI, and TinyML. She has created an introductory TinyML course available on her YouTube channel. Her research spans multiple interdisciplinary areas including Industry 4.0, IoT, Cloud Computing, Big Data Analytics, Cyber-Physical Systems, Multicriteria decision support systems (particularly Fuzzy TOPSIS), Complex Relationships Analysis (PLS-SEM), Data Science, TinyML, Edge AI, Random Forest techniques, Information Systems, Social commerce, E-commerce, Sustainable Supply Chain Management, Reverse logistics, Closed-loop Supply Chains, Circle Economy, and Healthcare applications. Her Embedded ML for Health Project demonstrates practical applications of TinyML in healthcare, using Arduino Nano 33 BLE Sense and OV7675 Camera for melanoma detection through image processing and machine learning algorithms. This project showcases her ability to apply theoretical research to real-world healthcare challenges.

• Edge AI
• TinyML
• Sustainable Supply Chain Management
• +۷ مورد دیگر

Seif Haridi is a Professor at KTH Royal Institute of Technology in Stockholm, Sweden, specializing in parallel and distributed computing systems. He holds dual roles as Chair-Professor of Computer Systems and Chief Scientific Advisor at RISE SICS. His research integrates systems engineering with theoretical foundations, focusing on programming systems, distributed computing, and big data technologies. Key contributions include co-designing SICStus Prolog, the Mozart Programming System, and Apache Flink, as well as leading the development of HOPS, a European big data platform awarded the IEEE Scale Prize 2017. He has led major EU projects like EIT-Digital’s cloud computing initiative and co-founded startups such as LogicalClocks and HiveStreaming. His teaching includes courses on distributed algorithms and peer-to-peer computing at KTH. Notable awards include the European Data Science Technology Innovation 2019. His work spans systems like HOPS, Flink, and Kompics, emphasizing scalability and robustness in distributed environments. Current projects include CDA (Continuous Deep Analytics) and ExtremeEarth for geospatial data analysis. Research interests include distributed algorithms, consensus protocols, and cloud-native systems. His lab’s contributions to scalable storage (e.g., HopsFS) and stream processing (Apache Flink) highlight his impact on both academia and industry.

• Parallel Computing
• Distributed Computing
• Cloud Computing
• +۴ مورد دیگر

Andreas Brännström is a postdoctoral fellow at the Department of Computing Science , Umeå University, Sweden. His research focuses on formal logic-based methods for modeling and verifying manipulation, deception, and influence in communication , with applications in cybersecurity and social engineering. He employs frameworks such as Answer Set Programming, Formal Argumentation, and Description Logic to analyze mental states, belief change, and dialogue strategies in autonomous systems. His work intersects artificial intelligence , computational ethics , and human-agent interaction . Key research themes include: Formal verification of deceptive communication Computational empathy modeling Trust-based argumentation systems Behavior change interventions for autism Human-aware planning in hybrid AI Cross-cultural affective knowledge representation Recent publications analyze manipulation dialogues , critical friend agents , and emotion-aware planning using formal methods. The research contributes to responsible AI and trustworthy human-agent collaboration . Current projects include strategic argumentation frameworks (2020-2024) and collaborative mixed-reality tools for autism support. He is affiliated with the Formal Methods for Trustworthy Hybrid Intelligence research group and contributes to Responsible Artificial Intelligence initiatives.

• Formal Logic
• Cybersecurity
• Social Engineering
• +۷ مورد دیگر

Dominik Drexler is a Research Fellow at Linköping University's Department of Computer and Information Science (IDA), part of the Artificial Intelligence and Integrated Computer Systems (AIICS) division. He completed his PhD at IDA in 2025, focusing on integrating learning and artificial intelligence planning to develop intelligent agents that exploit subgoal structures. His work bridges System 1 (learning-based) and System 2 (reasoning-based) approaches in AI, emphasizing hierarchical planning and policy reuse. He is a recipient of the 2024 Lawson Scholarship for excellence in international collaboration and the 2023 Optimal Planning Track Award at the International Planning Competition. **Education**: Bachelor's and Master's in Computer Science (specializing in AI) from the University of Freiburg, Germany. PhD in Computer Science at Linköping University (2025). **Research Focus**: Combining learning and classical planning to create agents that learn hierarchical policies and subgoal structures. Development of expressive policy languages and sketch-based methods for decomposing planning problems. Applications in autonomous systems and generalizable planning algorithms. **Contributions**: Open-source tools like DLPlan , Vanir , and Odin for state feature extraction and optimal planning. Active in international collaborations through the Wallenberg Autonomous Systems Program (WASP). **Teaching & Supervision**: Transitioning to expanded teaching and student supervision roles while continuing research. **Affiliations**: Member of the AIICS division and the Faculty of Science and Engineering at LiU.

• Artificial Intelligence
• Machine Learning
• Classical Planning
• +۳ مورد دیگر

Professor Stefan Holmlid is affiliated with the Department of Computer and Information Science (IDA) at Linköping University, leading the Human-Centered Systems (HCS) division. His research focuses on the intersection of design with theoretical and practical domains such as service design, policy design, and systemic innovation. He actively contributes to the Just Transitions Graduate School, a SEK 39 million initiative funded by Formas, addressing just climate transitions. His academic background includes pioneering work on service design methodologies, nomadic welfare systems, and public sector transformation. Notable projects include investigating policy prototyping, urban service futures, and the application of design in complex development contexts. Holmlid has published extensively on topics like service materiality, governance frameworks, and climate justice. Research interests span service design theory, policy innovation, sustainability transitions, and participatory design practices. His work bridges design disciplines with public policy, emphasizing systemic approaches to societal challenges. Holmlid’s contributions include conceptual frameworks for network-conscious service design and ethical considerations in robotic care systems. Advising and grants highlight his role in shaping academic and policy landscapes: the Just Transitions initiative exemplifies his commitment to equitable climate solutions. Collaborative projects with international institutions and NGOs underscore his global impact. He is a core member of Linköping University’s design research community, contributing to educational programs and institutional innovation.

• Service Design
• Public Policy Design
• Sustainability and Climate Transition
• +۵ مورد دیگر

Mariela Morveli is a postdoctoral researcher in Artificial Intelligence at Umeå University's Department of Computing Science. She works within the Formal Methods for Trustworthy Hybrid Intelligence research group, focusing on argumentation frameworks, intelligent agents, and explainable AI. Education: Ph.D., Federal University of Technology of Parana (Brazil) M.Sc., Federal University of Rio de Janeiro (Brazil) B.Sc., National University of San Agustin of Arequipa (Peru) Her research spans argumentation theory, multi-agent systems, and explainable AI, with emphasis on goal reasoning, activity reasoning, and handling uncertainty through formal methods. She has developed frameworks like QuAD-V for transparent task delegation and explored probabilistic models for argumentation systems. Recent work trends show strong focus on contrastive explanations , gradual semantics , and hybrid reasoning mechanisms that integrate symbolic and probabilistic approaches. Her publications address challenges in human-agent interaction , trust modeling , and conflict resolution in dynamic environments. She contributes to the field through rule-based argumentation systems , rhetorical argument strength calculations , and neuro-symbolic architectures like SATyrus for constraint processing.

• Artificial Intelligence
• Computer Science
• Argumentation
• +۶ مورد دیگر

Mohamed Faouzi Atig is a Professor in Computer Systems at the Department of Information Technology, Uppsala University. His career spans roles as Senior Lecturer (2018-2021), Associate Senior Lecturer (2014-2018), and Researcher (2012-2018) at the same institution. He obtained his Doctoral Degree in Computer Science from the University of Paris Diderot-Paris 7 (2010) and a Master in Engineering from Tunisia Polytechnic School (2005). Current Role: Professor in Computer Systems Institution: Uppsala University Research Focus: Model checking, verification of infinite-state systems, weak memory models, automata theory, string constraints, concurrent program analysis His research explores formal methods for concurrent programs, weak memory models (TSO/PSO/POWER), automata theory for verification, and SMT solvers for string constraints. Recent work integrates graph neural networks with word equation solving and advances stateless model checking techniques. Key article trends include Weak Memory Model Verification (TSO, PSO, POWER) Stateless Model Checking Algorithms String Constraint Solvers (TRAU, Norn) Timed Automata and Multi-Pushdown Systems Mohamed Faouzi Atig has led collaborations on fence insertion procedures, timed pushdown automata, and database-driven system verification. His contributions are recognized through publications in top-tier conferences and journals.

• Model Checking
• Program Verification
• Concurrency
• +۷ مورد دیگر

Patrick Lambrix is a Professor and Head of the Division for Database and Information Techniques at Linköping University's Department of Computer and Information Science (IDA). He holds a MSc in Mathematics and Computer Science from KU Leuven and a PhD from Linköping University. His expertise spans semantic web technologies, ontology engineering, and sports analytics. He leads the Database and Web Information Systems group and co-founded the Sports Analytics research group at IDA. Research interests include knowledge engineering applications in materials science and life sciences, ontology alignment, and performance metrics in sports. He coordinates the Master in Computer Science program and serves as Director of Studies. Notable contributions include award-winning systems in ontology debugging and completion, and organizing the Linköping Hockey Analytics Conference (LINHAC). Education: MSc (Mathematics & Computer Science, KU Leuven, 1988/1990), PhD (Linköping University, 1996) Leadership Roles: Head of ADIT Division, Director of Studies, WASP program participant Research Groups: Database & Web Info Systems, Semantic Web, Sports Analytics Publications focus on ontology engineering advancements and sports analytics innovations, with recent work on hockey performance metrics and ontology alignment methodologies. His teams collaborate with industry and sports organizations to apply semantic technologies in real-world scenarios.

• Semantic Web
• Databases
• Knowledge Engineering
• +۳ مورد دیگر

Marjan Sirjani is a Professor at Mälardalen University, affiliated with the School of Innovation, Design and Engineering, and the Division of Computer Science and Software Engineering. Her research focuses on cybersecurity, formal verification, and cyber-physical systems, with notable contributions to actor-based modeling (e.g., Timed Rebeca) and tools like AFRA for model analysis. She specializes in integrating formal methods into safety-critical systems, including automotive cybersecurity, ROS2 robotics, and blockchain-based IoT systems. Her work emphasizes rigorous analysis of protocols, concurrency, and real-time constraints. Recent projects include the CRYSTAL framework for CPS assurance, Tiny Twins for runtime attack detection, and applying LLMs for automated test generation. She also explores semantic segmentation in construction and compositional analysis of distributed systems. Publications highlight advancements in protocol learning, controller synthesis for safety, and model-driven development. Her research bridges theoretical foundations (e.g., automata theory, temporal logics) with practical applications in autonomous systems, medical device interoperability, and smart mobility. Labs/Teams: Involved in the Rebeca tool development (AFRA) and collaborative projects on CPS security. Grants: Not explicitly listed but implied through project involvement.

• Cybersecurity
• Formal Verification
• Cyber-Physical Systems
• +۷ مورد دیگر

Michael Minock is an Associate Professor in Computing Science at Umeå University. His research focuses on the intersection of AI and relational databases, particularly in natural language interfaces, semantic tractability, and knowledge representation. He has led significant projects such as the VR grant (2015-04953) and EU STREP SpaceBook (2011–2014). Minock also co-founded C-Phrase Technologies AB and teaches courses on databases and large language models. B.S. in Computer Science (Honors), University of Michigan Ph.D. in Computer Science, UCLA His research explores the logical foundations of database query languages, emphasizing higher-order logic in natural language interfaces. Recent work integrates LLMs into database management systems. Key publication trends include query containment analysis, cooperative question answering, and context-aware navigation systems. Subfields span natural language processing, spatial databases, and semantic reasoning. Scientific Awards: Pell Grants Michigan Competitive Scholarship DARPA AASERT Award Minock's teaching includes courses on database management and LLM applications in IT. He actively contributes to open-access publications and maintains a strong interdisciplinary focus across AI, logic, and real-world database challenges.

• Natural Language Interfaces
• Knowledge Representation
• Databases
• +۴ مورد دیگر

Claes Thorén is a Senior Lecturer at the Department of Informatics and Media, Uppsala University, Sweden, where he has held academic positions since 2013 (Researcher 2013-2014, Senior Lecturer 2014-present). His research investigates the societal and organizational consequences of digitalization with particular focus on technological disengagement, resistance, and disillusionment in contemporary post-digital contexts. His educational background includes: Master of Arts in Cultural Studies (with distinction) from University of East London (2006-2008) Bachelor of Arts in English Literature from Wilfrid Laurier University, Canada (2003-2005) Bachelor of Science in Information Systems from Systems Analysis program (1995-1998) Thorén's research explores digital disconnection and resistance phenomena through frameworks of cultural theory, practice theory, and socio-materiality. He examines how individuals and communities navigate technological saturation by seeking meaningful encounters beyond digital interfaces, analyzing non-use practices across diverse contexts from tabletop gaming to religious communication. His work reveals how analogue alternatives and disconnection strategies emerge as responses to digital disillusionment. Analysis of his 15 most recent publications (2016-2025) shows consistent investigation of post-digital resistance across multiple domains. Key trends include examination of digital disenchantment signals in social media, analogue aesthetics in digital landscapes, and institutional tensions in technology implementation. His interdisciplinary approach bridges media studies, organizational communication, and cultural sociology to understand how societies renegotiate technology relationships in an era where digital saturation has become normalized.

• Digital Disengagement
• Technology Resistance
• Digitalization and Society
• +۴ مورد دیگر

Eric Libby is an Associate Professor at Umeå University's Department of Mathematics and Mathematical Statistics, affiliated with the interdisciplinary IceLab research center. His research investigates the evolution of biological complexity through mathematical modeling, focusing on origins of multicellularity, endosymbiosis, and organizational scaling across biological systems. Research examines fundamental transitions in evolutionary history using computational approaches. Key areas include: Evolutionary trajectories between unicellular and multicellular states Endosymbiotic associations and metabolic integration Syntrophic microbial communities and resource exchange Evolutionary significance of phenotypic bet-hedging Research has received support from multiple prestigious sources including the Swedish Research Council, NASA Astrobiology Program, and National Science Foundation. Current projects explore evolutionary constraints in complex systems and agnostic biosignature detection. As head of the Mathematical Biology group, Libby advises doctoral candidates including Oleksandr Cherednichenko (machine learning applications in microbial recognition) and Defne Plattürk (differential equation modeling). The research group develops methodologies for studying biological complexity across scales.

• Evolutionary Biology
• Mathematical Modeling
• Complex Systems
• +۲ مورد دیگر

Rahim Rahmani is a Professor in the Department of Computer and Electrical Engineering (DET) at Mid Sweden University , affiliated with the STC Research Centre . His work focuses on network congestion control, quality of service (QoS), and protocol optimization in heterogeneous and dynamic network environments.

• Networking
• Telecommunications
• Network Congestion Control
• +۷ مورد دیگر

Parosh Abdulla is a Professor in the Division of Computer Systems within the Department of Information Technology at Uppsala University, Sweden. His research focuses on formal methods and program verification with emphasis on concurrent systems, memory models, and verification techniques. With an extensive publication record spanning over three decades, he has established himself as a leading researcher in his field. His primary research interests include formal verification, model checking, concurrent systems analysis, memory models (particularly TSO and PSO), string constraints, timed automata, parameterized verification, and program analysis. His work addresses fundamental challenges in verifying complex software systems, especially those involving concurrency and weak memory models. In recent years, he has expanded his research to include quantum systems verification and the application of machine learning techniques to formal methods. Analysis of his recent publications (2023-2025) reveals a continued focus on advancing verification techniques for concurrent systems, with growing interest in quantum computing verification and the integration of graph neural networks with traditional formal methods. His work demonstrates consistent innovation in reducing the state space explosion problem while maintaining verification completeness. Professor Abdulla has established significant collaborations with researchers including Mohamed Faouzi Atig, Bengt Jonsson, and others, resulting in numerous high-impact publications in top-tier venues. His research has practical implications for developing reliable concurrent software systems and advancing formal verification methodologies. While specific details about his advising activities and grants aren't explicitly mentioned in the available information, his extensive publication record suggests active supervision of graduate students and involvement in multiple research projects. His work likely contributes to formal methods research groups at Uppsala University, focusing on verification tools and theoretical foundations of program analysis.

• Formal Verification
• Model Checking
• Concurrent Systems
• +۶ مورد دیگر

Manfred A. Jeusfeld is a Professor at the School of Informatics, University of Skövde, Sweden. He specializes in multi-level modeling, enterprise architecture, and cybersecurity analysis for critical infrastructure, particularly in energy systems. His research spans conceptual modeling, data warehouses, and product lifecycle management. Current Projects: Leading "Virtual Factories of the Future" (VF-KDO), a long-term research initiative (2018–2026) focused on knowledge-driven optimization for Swedish industry. Completed Projects: Contributed to "ELVIRA" (2017–2020) for infrastructure resilience and "OMI" (2015–2017) for enterprise modeling education. Research Trends: Recent publications emphasize cybersecurity in critical infrastructure, multi-level modeling formalizations, and virtual factory artifact management. Collaborations with researchers like Thomas Kühne and Yuning Jiang highlight his focus on model-driven engineering and smart grid security. Grants & Collaborations: Served as a course coordinator and project leader in EU-funded initiatives (e.g., ELVIRA). Active in international conferences and workshops (MODELS-C, ER Conference).

• Multi-Level Modeling
• Cybersecurity Analysis
• Enterprise Modeling
• +۶ مورد دیگر