Find Academic Supervisors

Cyrille ArthoView profile

Associate Professor

• Software Engineering
• Formal Methods
• Cybersecurity
• +5 more

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

Nir PitermanView profile

Professor

• formal verification
• automata theory
• model checking
• +4 more

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.

• computer security
• formal methods
• program logics
• +3 more

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.

• Physiology
• Sports Science
• Molecular Biology
• +3 more

Tommy Lundberg is a Senior Lecturer and Docent in Physiology at Karolinska Institutet. He works at the Department of Laboratory Medicine, Division of Clinical Physiology. His email address is tommy.lundberg@ki.se, and his postal address is H5 Laboratoriomedicin, H5 Klinisk Fysiologi Gustafsson, 141 52 Huddinge. Lundberg is affiliated with the university library and has held positions since 2022. Research Interests: Lundberg's research focuses on skeletal muscle mass and function adaptation, particularly in athletic performance, disease contexts, aging, and transgender individuals undergoing hormone therapy. He investigates molecular, metabolic, morphological, and functional responses to resistance and aerobic exercises. His work also explores biological maturity selection biases in youth sports, bio-banding applications in soccer and ice hockey, and the impact of anti-inflammatory drugs on muscle hypertrophy. Article Trends: Lundberg's recent publications (2025–2024) cover topics like sex differences in disc golf, muscle atrophy in space exposome, longitudinal hormone therapy effects in transgender individuals, and bio-banding in youth sports. Earlier works delve into molecular pathways in muscle hypertrophy, concurrent training effects, mitochondrial function, and imaging techniques (CT/MRI) for muscle assessment. Scientific Recognition: Most prominent young researcher in Sport Science, Swedish Central Association for Sport Promotion (SCIF), 2017 Teaching and Editorial Roles: Lundberg teaches human physiology and sports science in nursing, physiotherapy, and biomedical analytics programs. He leads a contract education course in advanced exercise physiology and contributes to a PhD course on scientific writing. He is an Associate Editor for Frontiers in Physiology - Exercise Physiology (2022) and a member of the editorial board for Translational Exercise Biomedicine (2024). Collaborations and Expertise: He collaborates with the Swedish Football Association and Swedish Ice Hockey Association on bio-banding studies. Lundberg served as an invited speaker at the ACSM Annual Meeting (2024) on transgender athletes and as an expert panelist for World Rugby's transgender workshop (2020). His supervision includes Andrea Tryfonos (2021) and thesis evaluations at Mid Sweden University and Linköping University.

Mattias BrunströmView profile

Assistant Professor

• Cardiovascular Disease
• Hypertension
• Aortic Diseases
• +3 more

Mattias Brunström serves as Assistant Professor of Cardiology and Associate Professor of Epidemiology at Umeå University's Faculty of Medicine within the Department of Public Health and Clinical Medicine, Section of Cardiology. He is concurrently a resident physician at Norrlands University Hospital and holds leadership roles as chairman of Sweden's national hypertension working group and scientific secretary of the Swedish Society for Hypertension, Stroke and Vascular Medicine, with active participation in the European and International Societies of Hypertension. His academic foundation includes a 2018 PhD thesis examining blood pressure-lowering treatment effects across different blood pressure levels through systematic reviews and meta-analyses of randomized clinical trials. This doctoral work established his expertise in evidence-based cardiovascular therapeutics and epidemiological methodology. Dr. Brunström's research program centers on cardiovascular disease risk factors, with specialized focus on hypertension pathophysiology and aortic diseases. His group investigates how adolescent blood pressure levels predict future cardiovascular events, examining interactions with obesity, physical fitness, and diabetes to improve risk stratification. They also analyze differential effects of antihypertensive drug classes on cardiovascular outcomes and study risk factors for aortic dissection/rupture to optimize preventive surgical interventions. This work addresses critical gaps in managing the world's leading cause of death, where uncontrolled hypertension contributes to 10 million annual fatalities despite effective treatments. Analysis of his 2024-2025 publications reveals dominant themes in hypertension guideline development, treatment threshold controversies, and cardiovascular risk assessment. His work frequently challenges conventional approaches (e.g., questioning excessive treatment of 'elevated' blood pressure in elderly patients) while advancing evidence for lifestyle interventions and beta-blocker utility. Methodologically, his research leverages large cohort studies (including 1.4 million enlistee data), systematic reviews, and international collaborations through societies like ESH and ISH to translate epidemiological findings into clinical practice. Dr. Brunström leads multiple funded research initiatives including 'Remission of type 2 diabetes through eHealth' (2022-2028) and 'VIPviza' (2013-2027), directing a multidisciplinary team that bridges clinical cardiology, epidemiology, and public health. His advisory role extends to national guideline committees and international hypertension societies where he shapes clinical practice through evidence synthesis and position papers. Based at Norrlands University Hospital's Cardiology Section, his research group operates within Umeå University's strong cardiovascular research ecosystem, maintaining active collaborations with the Swedish National Diabetes Register and international consortia. Their work emphasizes real-world applicability, examining topics like bedtime dosing of antihypertensives and self-report diagnostic tools to overcome barriers in hypertension control where only 25% of affected individuals achieve target blood pressure levels.

Jonny HolmströmView profile

Professor

• digital innovation
• digital transformation
• digital entrepreneurship
• +3 more

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.

• European Studies
• International Relations
• Political Science
• +2 more

Sanimir Resic serves as Dean of the Faculty of Fine and Performing Arts at Lund University while concurrently holding an academic appointment as Associate Professor in the Department of European Studies. He is also a Profile Area Member for Lund University's Human Rights initiative and was previously a Senior Lecturer in Central and Eastern European Studies (currently on leave of absence). His institutional presence spans arts administration, European political studies, and human rights interdisciplinary work. Resic's research concentrates on European integration dynamics, with emphasis on International Relations frameworks and Political Science analyses of Central/Eastern European transitions. His work intersects significantly with Human Rights scholarship through Lund's dedicated profile area, examining governance challenges and socio-political transformations within European contexts. This triangulation of European Studies, human rights, and regional specialization defines his academic contributions. Scientific Awards: No awards documented in source materials While his deanship implies oversight of graduate programs within the arts faculty, specific student supervision details remain unreported. Similarly, research grant portfolios or laboratory affiliations are absent from available records, suggesting primary engagement in theoretical and policy-oriented scholarship rather than lab-based research. His leave of absence from Central and Eastern European Studies indicates temporary reallocation of academic duties toward administrative leadership.

Nils HerttingView profile

Professor

• Local Governance
• Urban Politics
• Network Governance
• +5 more

Nils Hertting is a Professor at Uppsala University's Institute for Housing and Urban Research (IBF) and holds a concurrent position as Senior Lecturer/Associate Professor at the Department of Government. His research centers on local governance, urban politics, and public sector evaluation practices, with specific expertise in deliberative and participative network governance, civil society dynamics, ethnic associations, public space, and policy implementation challenges across Swedish and European contexts. His primary research domains include Local Governance Urban Politics Network Governance Public Sector Evaluation Civil Society Ethnic Associations Public Space Implementation He critically examines how participatory mechanisms function within representative democracy, the role of ethnic associations in urban political integration, and the rationality behind halting implementation in participatory planning processes. Analysis of his 2020-2025 publications reveals consistent thematic focus on participatory governance in urban settings, particularly neighborhood renewal programs and energy community development. His work demonstrates growing emphasis on equity dimensions, institutional dilemmas in collaborative governance, and the normalization of urban entrepreneurialism through subtle de-politicization tactics in city center developments. Hertting co-founded the Seminar for Qualitative Methods at Uppsala's Department of Government, significantly contributing to methodological development in qualitative political science research and advancing rationalistic generalization approaches from single-case studies.

Dilian GurovView profile

Professor

• Software Specification and Verification
• Multi-Agent Strategic Planning
• Formal Methods
• +3 more

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).

• Public Health
• Workplace Health Promotion
• Organizational Health Interventions
• +4 more

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.

Hamed NematiView profile

Assistant Professor

• Security of systems software
• Formal methods and program logics
• Interactive theorem proving
• +2 more

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

Vladimir VlassovView profile

Professor

• Machine Learning
• Data-intensive computing
• Cloud computing
• +7 more

Dr. Vladimir Vlassov is a full Professor in Computer Systems at the Division of Software and Computer Systems (SCS) , Department of Computer Science (CS) , School of Electrical Engineering and Computer Science (EECS) , KTH Royal Institute of Technology , Stockholm, Sweden. He leads the AVA project in ALEC2, an AI-powered system for mental health care. He is a member of the Distributed Computing research group (DC@KTH) . Education & Roles: Holds a PhD and is a member of ACM and IEEE. Previously visited MIT (1998) and UMass Amherst (2004). Teaches courses on Data Mining , Distributed Systems , and Concurrent Programming . Research Interests: Focus on scalable AI, Cloud computing, distributed systems, and NLP for mental health. Projects include ExtremeEarth (Copernicus data analytics) and EMJD-DC (distributed computing PhD program). Grants & Projects: Principal Investigator in ALEC2 (adaptive mental health care) and ExtremeEarth (EU H2020). Led EU projects like ENCORE (manycore systems) and PaPP (embedded systems). Labs & Teams: Directs the Distributed Computing group, contributing to Hopsworks (machine learning feature store) and Maggy (hyperparameter optimization).

• Global History
• Colonial and Postcolonial Studies
• Diplomatic History
• +3 more

Birgit Tremml Werner is an academic at Linnaeus University, affiliated with the Linnaeus University Centre for Concurrences in Colonial and Postcolonial Studies. She holds a Mag. phil. and Dr. phil. in History from the University of Vienna, with a minor in Japanese Studies. Her career includes postdoctoral research at the University of Tokyo (2013–2015), a HERA project at the University of Zurich (2016–2019), and a visiting professorship at the University of Vienna (2019/20). She teaches global history, colonial studies, and diplomatic history, focusing on East and Southeast Asia before 1900. Her research explores early modern diplomatic practices, colonial encounters, and intercultural relations in Southeast Asia. Education: M.A. and Ph.D. in History from University of Vienna Postdoctoral research at University of Tokyo (revising her dissertation) Research Interests: Global history, colonial and postcolonial studies, diplomatic history, early modern Southeast Asia, intercultural diplomacy, and imperial expansion. She leads projects like EcoDip SEA, examining diplomatic practices in 17th–18th century Southeast Asia, challenging Eurocentric narratives. Her work emphasizes Southeast Asian agency in political and economic developments. Publications: Over 10 peer-reviewed articles and book chapters, including works on Spanish-Japanese relations, Qing-Russian diplomacy, and global intellectual history. She co-edited a handbook on early modern diplomacy and hosts the global history podcast 15past15 . Awards: Secured H2020 MSCA funding (EcoDip SEA project, 2020–2023). Co-founded the Global Diplomacy Network to advance transregional diplomatic history. Grants and Teaching: Supervised BA/MA theses in Japanese and global history. Taught at Linnaeus University’s Colonial and Postcolonial Studies program, emphasizing theories and methods in global history. Shared research through global seminars with students in the Philippines and Spain. Labs/Teams: Member of the Linnaeus University’s Colonial Connections and Comparisons Research Cluster and the Concurrences Center.

• Distributed Computing
• Distributed Algorithms
• Fault-Tolerance
• +8 more

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/Parallel Computing
• Information Visualization
• Fault-Tolerant Communication Mechanisms
• +4 more

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.