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

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Jonas Eliasson is a Visiting Professor at Linköping University's Department of Science and Technology (ITN), focusing on Communications and Transport Systems. He concurrently serves as Director of Transport Access at the Swedish National Transport Administration and chairs the Planning & Construction committee of the Royal Academy of Engineering Sciences. Previously, he was Director of the Stockholm City Transportation Administration (2016–2019) and a professor at the Royal Institute of Technology (KTH) from 2007 to 2016. His research emphasizes transport policy design and evaluation, including cost-benefit analysis, transport pricing, railway capacity allocation, and public acceptability of policies. He advises governments on sustainable transport planning, congestion pricing, and socio-economic appraisals. His work bridges theoretical frameworks and practical implementation, with a focus on accessibility, equity, and climate targets. Key research themes include infrastructure cost overruns, traffic demand reduction strategies, and the integration of passenger and freight transport systems. Recent publications analyze policy impacts, forecasting methods, and carbon-neutral transportation systems. His interdisciplinary approach addresses both technical and socio-political dimensions of transport challenges. Eliasson collaborates with research groups like Railway and Public Transport and contributes to initiatives like the 'Next Generation Smart Transportation Systems' project. Despite extensive professional roles, no formal student advisees are listed. His work is disseminated through journals like Transportation Research Part A and policy reports for national and regional governments.

• Transport Policy
• Cost-Benefit Analysis
• Transport Pricing
• +۵ مورد دیگر

Nir Piterman is a Professor in Computer Science at the University of Gothenburg's Department of Computer Science and Engineering. Previously, he was a Lecturer and later Reader (Associate Professor) at the University of Leicester (2010-2019), following postdoctoral research at EPFL (2005-2007) and a Research Fellowship at Imperial College London (2007-2010). PhD from Weizmann Institute of Science (2005), supervised by Amir Pnueli Postdoc at EPFL with Tom Henzinger (2005-2007) Research Fellow at Imperial College London (2007-2010) Lecturer at University of Leicester (2010-2019), promoted to Reader in 2012 Universitets Lektor (Associate Professor) at University of Gothenburg (2019-2021), promoted to Professor in 2021 His research focuses on formal verification, automata theory, and synthesis from temporal specifications. Current work under the ERC Consolidator Project dSynMA extends reactive synthesis to multi-agent systems, exploring frameworks combining message passing and variable sharing, algorithmic analysis of games with partial information, and logic extensions for agent interaction. He has supervised eight PhD students, including Prabhat Kumar Jha (path planning in game solving), David Lidell (automata constructions for LTL with past), and Claudia Cauli (cloud infrastructure security reasoning, 2022), with theses covering program verification, temporal logic, and game algorithms. ERC Consolidator Grant (2021-?, dSynMA) Editor-in-Chief, Formal Methods in System Design Editor, Acta Informatica Nir has taught courses such as Principles of Concurrent Programming (Chalmers, 2019-2025), Advanced C++ Programming (University of Leicester, 2012-2017), and Synthesis from Temporal Specifications (University of Buenos Aires, 2010). He actively recruits PhD candidates and has hosted postdoctoral researchers at multiple institutions.

• formal verification
• automata theory
• model checking
• +۴ مورد دیگر

Mads Dam is a Professor in Teleinformatics at the School of Computer Science and Communication at Kungliga Tekniska Högskolan (KTH), where he heads the Department of Theoretical Computer Science. His research focuses on computer security, formal methods, and program logics, with particular emphasis on the formal modeling and verification of low-level hardware and software execution platforms for security and application isolation. His educational background includes: PhD in Computer Science from the University of Edinburgh (1990) MSc in Computer Engineering from Aalborg University, Denmark BSc in Information Technology from Aalborg University, Denmark Mads Dam's research interests center on computer security, formal methods, and program logics. His current work focuses on the formal modeling and verification of low-level hardware and software execution platforms such as hypervisors and OS kernels and their underlying hardware. He has made significant contributions to information flow security, verification of microarchitectural systems, and network programming language security. His research bridges theoretical foundations with practical security applications. His recent publications show a strong trend toward verifying low-level systems, with a focus on information flow security for processors, network programming languages (particularly P4), and microarchitectural vulnerabilities. His work combines formal methods with practical security concerns, developing verification techniques that address real-world security challenges in hardware and software systems. The research spans theoretical foundations in temporal and epistemic logics to practical applications in network security and processor verification. His scientific awards and recognition include: Two framework grants from the Swedish Foundation for Strategic Research A junior individual grant from the Swedish Foundation for Strategic Research Project grants and a five-year research fellowship from the Swedish Research Council (VR) Project grants from Ericsson, Microsoft Research, US Air Force, and Vinnova (the Swedish Innovation Agency) Mads Dam has been a principal investigator on numerous research projects and has supervised many graduate students. He has been a partner in several European projects including HATS, S3MS, VerifiCard, LOMAPS, and UaESMC. His research has been supported by substantial grants from major funding bodies, reflecting the significance and impact of his work in computer security and formal methods. He is a founding member of several research centers at KTH, including Access, the CASTOR software research center, and the CDIS center for cyber defense and information security. These centers bring together researchers from multiple disciplines to address complex challenges in cybersecurity and software engineering.

• computer security
• formal methods
• program logics
• +۳ مورد دیگر

Danilo Brozovic is a Senior Lecturer in Business Administration at the University of Skövde, specifically within the School of Business and the Department of Commerce and Entrepreneurship. He maintains his office in Room E219 and serves as a course coordinator for multiple undergraduate and graduate business courses, each carrying 7.5 credits. His academic work spans teaching, research, and project leadership within the business administration domain. Brozovic's research interests focus on entrepreneurial resilience, particularly in family businesses and small-to-medium enterprises (SMEs), strategic flexibility in business growth, value creation processes, and service ecosystems. He has extensively examined organizational resilience during crises, including the COVID-19 pandemic's impact on retail and tourism sectors. His work also explores sustainability in business models, food tourism, societal collapse scenarios, and the evolution of service systems. Brozovic employs diverse methodologies including literature reviews, scenario-based analyses, and empirical studies to investigate how organizations adapt to multiple crises and changing market conditions. His publication record demonstrates a strong trend toward interdisciplinary research connecting business administration with futures studies, sustainability science, and crisis management. Recent work shows increasing focus on entrepreneurial resilience in the face of multiple concurrent crises, with projects examining how SMEs navigate complex challenges. His research bridges theoretical frameworks like service-dominant logic with practical business applications, particularly in tourism, retail, and family business contexts. Brozovic leads the research project 'Entrepreneurial resilience in small and medium-sized enterprises in the face of multiple crises' (July 2023 - June 2025), which develops knowledge about how SMEs manage multiple concurrent crises. His collaborative approach is evident in numerous co-authored publications with researchers like Börje Boers, Marco Tregua, and Hiroaki Saito across various business disciplines.

• Entrepreneurial Resilience
• Family Business
• Strategic Flexibility
• +۷ مورد دیگر

Erik Stolterman is a Professor of Informatics at Indiana University Bloomington and holds a concurrent position as Professor of Interaction Design at Umeå University. He serves as Senior Executive Associate Dean at the School of Informatics, Computing and Engineering at Indiana University. With a PhD from Umeå University (1991), his work focuses on design theory, interaction design, and the societal impacts of information technology. Education: PhD in Interaction Design, Umeå University, 1991 Research Interests: Design philosophy and methodologies Role of design in technology-driven societal transformation Critical perspectives on digitalization Design thinking as a cross-disciplinary framework Awards: 2017 Honorary Doctorate, Faculty of Information Technology, University of Gothenburg Stolterman actively contributes to academic communities through editorial roles, such as leading MIT Press's Design Thinking/Design Theory book series. His work bridges theoretical and applied dimensions of design, emphasizing ethical and systemic considerations in technology development.

• Interaction Design
• Design Theory
• Design Philosophy
• +۳ مورد دیگر

Jonny Holmström serves as Professor at Umeå University's Department of Informatics and directs the Swedish Center for Digital Innovation (SCDI), which he co-founded. He holds an additional affiliation as Professor at the Centre for Transdisciplinary AI, focusing on bridging theoretical research with practical AI applications across sectors including forestry, banking, and public services. His work appears in premier journals such as MIS Quarterly, Information Systems Journal, and Journal of Information Technology. His research centers on digital innovation, transformation, and entrepreneurship, examining how organizations navigate digital change through platform governance, AI integration, and entrepreneurial storytelling. Recent work investigates generative AI's impact on business model design, data work practices, and organizational transformation, emphasizing practical frameworks for managing digital transitions while addressing resistance and ethical considerations. Analysis of his 15 most recent publications (2024-2026) reveals a dominant focus on generative AI's organizational implications, particularly its role in reshaping platform governance, facilitating innovation through prompting, and transforming business models. Concurrent themes include digital platform evolution, data flow management in innovation networks, and citizen-centric digital government design, reflecting a consistent emphasis on practical implementation challenges in real-world contexts. Holmström leads significant research initiatives including a 28 MSEK program at Umeå University and the Kempe Foundation-funded SCDI AI Business Lab. His current project 'Using No-Code AI to Teach Machine Learning in Higher Education' (2024) aims to democratize AI education. He serves on editorial boards for CAIS, EJIS, Information and Organization, and JAIS, and heads the Swedish Center for Digital Innovation research group while participating in 'AI and society' collaborations. He founded and directs the Swedish Center for Digital Innovation (SCDI), which operates the SCDI AI Business Lab exploring practical AI applications for businesses. His work integrates with the Centre for Transdisciplinary AI to advance cross-sector AI implementation, particularly in public services and sustainable business models within the circular economy framework.

• digital innovation
• digital transformation
• digital entrepreneurship
• +۳ مورد دیگر

Dilian Gurov is a Professor in Computer Science at KTH Royal Institute of Technology, associated with the Digital Futures Faculty and the Division of Theoretical Computer Science. He also coordinates the Doctoral Programme in Computer Science at the CSC school. Before joining KTH in 2002, he earned a Ph.D. from the University of Victoria, Canada (1998), and worked at the Swedish Institute of Computer Science (1997-2002). His research focuses on software specification and verification, including contracts, program models, logics, and tools, as well as multi-agent strategic planning involving knowledge-based strategies in imperfect information settings. Key contributions include the CAV Distinguished Paper Award 2023 for 'Automatic Program Instrumentation for Automatic Verification' and an EASST award for 'Checking Absence of Illicit Applet Interactions: A Case Study' (2004). He leads projects funded by VR (SEFROS, ContraST) and Vinnova (AVerT2) and collaborates with industries like Scania on formal verification of C programs. His service roles span over 30 conference committees and organization roles, including PC memberships for iFM, TAP, and ISoLA. Teaching responsibilities include courses such as 'Formal Methods,' 'Program Semantics and Analysis,' and 'Knowledge in Games with Imperfect Information.' His work emphasizes practical applications of formal methods, bridging academic research with industry needs through collaborations and tool development (e.g., CVPP, ProMoVer, TriCo).

• Software Specification and Verification
• Multi-Agent Strategic Planning
• Formal Methods
• +۳ مورد دیگر

Robert Larsson serves as Senior Lecturer at the Division of Public Health Sciences within Mälardalen University's School of Health, Care and Social Welfare. He concurrently holds the administrative role of Head of Internationalisation and International Coordinator for the School since August 2021. His research and teaching expertise centers on workplace health promotion, organizational health interventions, and leadership dynamics in public sector organizations. Key focus areas include sustainable working life practices, health program implementation methodologies, and evaluation frameworks for public health initiatives. His work bridges academic theory with practical applications in public health systems. Professional affiliations include active engagement with international academic networks through his coordination role, though specific collaborations aren't detailed in the source material. Contact is facilitated via institutional email and office location in Västerås.

• Public Health
• Workplace Health Promotion
• Organizational Health Interventions
• +۴ مورد دیگر

Professor Tomas Jansson serves as faculty at Lund University's Faculty of Engineering within the Department of Biomedical Engineering, holding concurrent roles as Supervisor, Head of Office for Biomedical Engineering, Project Manager for Medical Ultrasound, Director of Medicon Bridge, and member of both LTH's Engineering Health and LU's Light and Materials profile areas. His research centers on ultrasound-based diagnostic and therapeutic innovations, particularly utilizing iron oxide nanoparticles as ultrasound contrast agents for early cancer detection and surgical guidance. Current work also explores virtual reality systems for mobility assessment in visually impaired populations through the AUDOMNI sensory supplementation project. Key research domains include nanoparticle engineering, ultrasonics, transducer development, and lymph node imaging. Recent publications demonstrate dual research thrusts: (1) advanced ultrasound techniques for gastrointestinal disease diagnosis using ultra-high frequency imaging and nanoparticle-enhanced magnetomotive ultrasound, and (2) virtual reality-based mobility assessment tools with audio feedback systems for blind navigation. These efforts directly support UN Sustainable Development Goals in health and well-being. Professor Jansson actively supervises doctoral candidates including J. Berggreen (AI ultrasound applications) and J. Isaksson-Daun (AUDOMNI navigation system), while securing major funding from the Swedish Research Council and Mrs. Berta Kamprad's Cancer Foundation for prostate cancer nanotechnology projects extending through 2029. He leads the Ultrasound group infrastructure within Biomedical Engineering and participates in academic outreach through initiatives like the Medicinteknik i Skåne conference organization.

• Ultrasound Imaging
• Nanoparticle Engineering
• Medical Diagnostics
• +۳ مورد دیگر

Martin Bech serves as Senior Lecturer at Lund University's Department of Clinical Sciences within the Medical Radiation Physics division and holds a concurrent postdoctoral position at Technical University Munich's Physics department E17 since 2009. He is an active LINXS Fellow contributing to the Integrative Pharmacology and Drug Discovery Working Group 3 and Opportunities in Imaging initiatives. His academic credentials include: PhD from Niels Bohr Institute, University of Copenhagen (2009) Master of Physics from Niels Bohr Institute, University of Copenhagen (2006) Bachelor's degree from Niels Bohr Institute, University of Copenhagen (2004) Bech's research pioneers advanced X-ray methodologies for biomedical applications, specializing in grating interferometer-based phase contrast and dark-field imaging to visualize soft tissues previously undetectable with conventional radiography. His work bridges physics and clinical medicine through Micro-CT development using both synchrotron radiation and laboratory X-ray tubes, enabling high-resolution tissue analysis without contrast agents. This research directly addresses critical diagnostic challenges in cancer detection and vascular disease. His publication trajectory demonstrates rapid methodological evolution from foundational grating interferometry (2008) to compact light source adaptation (2009) and clinical translation via standard X-ray tubes (2009), reflecting a strategic shift toward accessible medical imaging technologies. Recognition includes: Carlsbergs Mindelegat for Brygger I.C. Jacobsen Scholarship (2005) As a LINXS Fellow, Bech actively shapes Scandinavia's neutron and X-ray research infrastructure through thematic working groups and young researcher initiatives, though specific grant details and advisory roles remain undocumented in source materials. His laboratory operations at Lund integrate synchrotron and laboratory-scale imaging systems to advance preclinical diagnostic frameworks.

• X-ray phase contrast and dark-field imaging using grating interferometer
• Soft tissue biomedical imaging
• Micro-CT imaging using synchrotron radiation and x-ray tubes

Hamed Nemati is an Assistant Professor at the Division of Network and Systems Engineering under the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden. He was previously a Visiting Assistant Professor at Stanford University and a Research Group Leader at the Helmholtz Center for Information Security (CISPA) , where he also worked as a PostDoc and Research Fellow. Education : PhD in Computer Science from KTH Royal Institute of Technology Research Interests : Security of systems software, formal methods and program logics, interactive theorem proving, machine code analysis, applied machine learning Current Projects : Systematic verification of multi-language security protocols, hardware-software co-design for Spectre mitigation, capability-based access control models Scientific Awards : WASP (Wallenberg AI, Autonomous Systems and Software Program) faculty member Teaching Activities : Formal Methods in Security (Fall 2020-2023) at CISPA/Saarland University Digital Forensics and Incident Response (EP2780) (Fall 2024) at KTH

• Security of systems software
• Formal methods and program logics
• Interactive theorem proving
• +۲ مورد دیگر

Nazanin Emami serves as Professor and group leader for polymer-tribology research within the Division of Machine Elements at Luleå University of Technology's Department of Engineering Sciences and Mathematics, Sweden. She concurrently holds roles as Core Group member and Working Group 2 (Material development and processing) member for LINXS's Advanced Rheometry for Neutron and X-ray Science theme. Her research centers on Polymer tribology mechanisms governing friction and wear in polymers and composites, with specialized focus on biotribology applications in biological joint environments (hip/knee), lubrication dynamics in physiological systems, and development of bio-compatible orthopedic materials for load-bearing joint implants. This work bridges mechanical engineering with biomedical applications through experimental analysis of material performance under physiological conditions. Scientific recognition: LINXS Fellow She leads an active research group advancing polymer-tribology methodologies, particularly investigating material degradation pathways in orthopedic contexts and developing next-generation implant materials with enhanced mechanical properties for arthroplasty applications.

• Polymer Tribology
• Biotribology
• Orthopedic Materials
• +۳ مورد دیگر

Marina Papatriantafilou is an Associate Professor in the Department of Computer Science and Engineering at Chalmers University of Technology and University of Gothenburg. Her research focuses on distributed computing, fault-tolerance, parallel algorithms, and concurrency control. She has contributed to methods for fault-tolerant distributed systems, visualization tools for distributed algorithms, and scalable overlay networks. Her academic roles include teaching advanced courses on distributed systems, computer communication, and operating systems. She advises graduate students in areas like distributed algorithms and parallel computing. Key research interests include lock-free synchronization, memory reclamation, and self-stabilizing systems. She has authored over 100 publications in top-tier conferences and journals, with recent work on data streaming frameworks, energy-sharing optimization, and vehicular network processing. Professional involvement includes roles in program committees for conferences like OPODIS, SWAT, and SSS, plus membership in research evaluation boards for Swedish and European funding agencies. She pioneered educational tools like the Lydian environment for distributed algorithm visualization.

• Distributed Computing
• Distributed Algorithms
• Fault-Tolerance
• +۸ مورد دیگر

Philippas Tsigas is a Professor at the Department of Computer Science and Engineering at Chalmers University of Technology. He leads the Distributed Computing and Systems Research Group and has held roles as co-leader of research initiatives such as the PEPPHER project. His research spans distributed/parallel computing, information visualization, and fault-tolerant communication mechanisms. He has supervised numerous PhD students, including Yi Zhang, Håkan Sundell, and Farnaz Moradi. Research interests include lock-free data structures, multicore algorithms, secure network services, and visualization tools like Lydian and DataMeadow. Notable awards include Best Paper Awards at IPDPS 2003 and SNS 2012. His work has been published in top venues like IEEE Transactions on Parallel and Distributed Systems and ACM Journal of Experimental Algorithmics. Awards highlight contributions to lock-free algorithms and network modeling. Students have contributed to projects like NBmalloc (memory reclamation) and GPU Quicksort. Collaborations with institutions like SSF and VR have supported his research. Tsigas is also involved in teaching distributed systems and mentoring early-career researchers.

• Distributed/Parallel Computing
• Information Visualization
• Fault-Tolerant Communication Mechanisms
• +۴ مورد دیگر