جست‌وجوی استاد و پژوهشگر

Per Krusellمشاهده پروفایل

استاد

• Macroeconomics
• Inequality
• Climate Economics
• +۵ مورد دیگر

Per Krusell is Professor of Economics at Stockholm University and holds the Torsten and Ragnar Söderberg Chair at the Institute for International Economic Studies (IIES). He is a Fellow of the Econometric Society and served as President of the European Economic Association in 2020. He is currently the Secretary of the Prize Committee for the Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel. Education: PhD in Economics, University of Minnesota Research Interests: Per Krusell’s research spans macroeconomics , inequality , climate economics , labor markets , and political economy . He has made foundational contributions to understanding incomplete markets, wealth distribution, optimal taxation, and the macroeconomic effects of climate change. His work often integrates dynamic stochastic general equilibrium (DSGE) models with heterogeneous agents to study long-run outcomes and policy impacts. Publications Trend: His recent publications (2022–2025) reflect a strong focus on climate policy , integrated assessment modeling , and macro-labor dynamics . Key themes include carbon taxation, labor supply responses to productivity growth, fiscal multipliers in heterogeneous-agent settings, and the macroeconomic consequences of vaccination and epidemic control. Awards & Honors: Fellow of the Econometric Society Torsten and Ragnar Söderberg Chair in Economics President, European Economic Association (2020) Secretary, Nobel Prize Committee in Economic Sciences Advising & Grants: While specific student names are not listed, his leadership roles in global economic associations and policy committees indicate extensive academic advising and grant involvement in macroeconomic policy and climate economics. Labs & Teams: He is affiliated with the Institute for International Economic Studies (IIES) at Stockholm University, a leading research institute in macroeconomics and international economics.

Sara Stymneمشاهده پروفایل

مدرس ارشد

• Computational Linguistics
• Natural Language Processing
• Cross-lingual NLP
• +۷ مورد دیگر

Sara Stymne is a Senior Lecturer in Computational Linguistics at the Department of Linguistics and Philology, Uppsala University, where she has been working since 2012. She initially joined as a post-doc (2012-2015), then worked as a researcher (2015-2017), and served as an assistant professor (2017-2023) before her current position as Senior Lecturer. Prior to Uppsala, she was a researcher at Linköping University's Department of Computer and Information Science. Dr. Stymne earned her PhD in Computational Linguistics from Linköping University in 2012 with the thesis 'Text Harmonization Strategies for Phrase-Based Statistical Machine Translation,' following a Licentiate degree in Computational Linguistics (2009) and a Master's degree in Cognitive Science (2006), both also from Linköping University. During her doctoral studies, she spent the autumn of 2010 and spring of 2009 at Xerox Research Centre Europe in Grenoble, France. Her primary research interests focus on cross-lingual natural language processing and digital humanities, with particular emphasis on multilingual dependency parsing. Dr. Stymne is passionate about applying computational linguistics to solve research questions in other fields, including language history, literary analysis, and political science. Her earlier work concentrated on machine translation, with specific interests in discourse-aware translation, compound processing, and error analysis. She has made significant contributions to the development of language technology tools for analyzing dialogue, narrative, and stylistic features in literature. Analysis of Dr. Stymne's recent publications reveals a strong focus on cross-lingual and cross-domain natural language processing. Her work spans multiple subfields including dependency parsing across genres and topics, discourse relation analysis in low-resource languages like Egyptian Arabic, direct speech identification in Swedish literature, and causality detection in governmental documents. A notable trend is her application of NLP techniques to digital humanities problems, particularly in analyzing literary texts and historical language change. Her research often involves creating and utilizing specialized datasets for specific linguistic phenomena across multiple languages. Dr. Stymne actively supervises graduate students, having guided numerous master's and bachelor's theses on topics ranging from speech recognition to multilingual parsing and causality detection. She leads or participates in several research projects including 'Fictional prose and language change' (funded by VR, 2021-2023) and 'Enabling climate-resilient development' (funded by Marianne and Marcus Wallenberg Foundation, 2023-2027), demonstrating her commitment to interdisciplinary research with practical applications. Her work has resulted in several notable software resources including uuPronPred for cross-lingual pronoun prediction, uuparser for dependency parsing, and Docent for document-level machine translation. Within the Computational Linguistics and Language Technology group at Uppsala University, Dr. Stymne contributes to multiple research initiatives focused on developing language technology tools for digital humanities applications. Her team works closely with literary scholars and historians to create computational methods for analyzing large corpora of literary texts, particularly focusing on Swedish literature across different historical periods. Her research bridges the gap between theoretical computational linguistics and practical applications in the humanities, creating new methodologies for quantitative analysis of literary and historical texts.

Danica Kragicمشاهده پروفایل

استاد

• Robotics
• Computer Vision
• Machine Learning
• +۳ مورد دیگر

Danica Kragic is a Professor of Computer Science at the School of Electrical Engineering and Computer Science at the Royal Institute of Technology (KTH) in Stockholm, Sweden. She serves as the Director of the Centre for Autonomous Systems and leads the Robotics, Perception and Learning Lab at KTH. Her research focuses on advancing robotics capabilities through computer vision and machine learning approaches. MSc in Mechanical Engineering from the Technical University of Rijeka, Croatia (1995) PhD in Computer Science from KTH (2001) Professor Kragic's research primarily centers on robotics, computer vision, and machine learning, with particular emphasis on robotic manipulation, grasp planning, and human-robot interaction. Her work bridges theoretical foundations with practical applications, exploring how robots can understand and interact with objects in complex environments. She investigates how visual and tactile sensing can be integrated to improve robotic perception and manipulation capabilities, with applications ranging from industrial automation to assistive robotics. Her recent publications demonstrate a strong focus on advanced grasp planning techniques, tactile sensing for manipulation, and mathematical representations for robotic control. Kragic's research shows increasing integration of machine learning approaches with traditional robotics frameworks, particularly in the areas of grasp synthesis, object recognition, and human-robot collaboration. Her work spans theoretical contributions in mathematical representations of grasps to practical implementations of robotic systems capable of adapting to novel objects and situations. 2007 IEEE Robotics and Automation Society Early Academic Career Award IEEE Fellow ERC Starting Grant (2012) Member of The Royal Swedish Academy of Sciences Member of The Royal Swedish Academy of Engineering Sciences Honorary Doctorate from Lappeenranta University of Technology Professor Kragic's research has been supported by major funding bodies including the EU, Knut and Alice Wallenberg Foundation, Swedish Foundation for Strategic Research, and Swedish Research Council. While specific student names aren't listed in the provided information, her publication record suggests extensive mentorship of PhD students and postdoctoral researchers in robotics and computer vision. Her lab, the Robotics, Perception and Learning Lab, serves as a hub for interdisciplinary research connecting computer science, engineering, and cognitive science perspectives on robotic systems. As Director of the Centre for Autonomous Systems at KTH, Kragic oversees a major research initiative focused on advancing autonomous technologies. Her Robotics, Perception and Learning Lab brings together researchers working on visual perception, machine learning, and robotic manipulation, with particular emphasis on developing systems that can understand and interact with objects in unstructured environments. The lab's work spans theoretical foundations of robotic manipulation to practical implementations of systems capable of learning from experience.

• Computer Networks
• Network Security
• Machine Learning in Networking
• +۳ مورد دیگر

Mariano Scazzariello is a Lecturer at KTH Royal Institute of Technology, Sweden, affiliated with the School of Electrical Engineering and Computer Science and the Department of Network and Systems Engineering. He teaches the course 'Network Systems with Edge or Cloud Datacenters (IK2227)'. His research focuses on advanced networking topics including machine learning in networks, high-speed packet processing, network emulation, and software-defined networking innovations. His work spans contributions to network emulation tools like Kathará and Megalos, stateful packet processing at terabit scales, and leveraging large language models (LLMs) for network configuration and vulnerability detection. Recent research emphasizes low-latency protocols (e.g., SRv6/DetNet integration) and GPU-centric networking on commodity hardware. Mariano’s publications (2020–2025) highlight expertise in network function virtualization, ASIC-based switching, and optimizing network configurations through AI-driven approaches. He has pioneered frameworks for evaluating routing protocols and virtualizing large network scenarios at scale.

• Electrical Power Networks
• Predictive Maintenance
• Renewable Energy Integration
• +۷ مورد دیگر

Lina Bertling Tjernberg is a Professor at the Department of Electrical Engineering, KTH Royal Institute of Technology, and Deputy Head of the School of Electrical Engineering and Computer Science (EECS) with responsibility for research conditions and impact. She served as Director of KTH's Energy Platform during 2018-2024 and holds memberships in IVA (Swedish Royal Academy of Engineering Sciences) and the IEEE Power & Energy Society. Research Focus: Applying mathematics (statistics, optimization, life cycle assessment) to enhance reliability and predictive maintenance in electric power systems, with emphasis on future electricity grids integrating microgrids, battery storage, HVDC, nuclear/pumped/hydro/wind/solar power, hydrogen, and electrified transport. Collaborations: Engaged with Comillas Pontifical University (Madrid), Addis Ababa University, Norwegian University of Science and Technology (NTNU), and IEA Wind. Key Research Trends: Recent articles highlight advancements in microgrid control (2025), SMR nuclear energy integration (2025), AI-driven asset management (2024), hydrogen sector coupling (2024), and renewable forecasting techniques (2024). Awards: 2021 Power Woman of the Year 2022 Energy Power List (Sweden’s top 20 energy influencers) Leadership Roles: Swedish Electromobility Center (SEC) board Chair of Swedish Electrical Standards (SEK Svensk Elstandard) Member, IEEE PES ISGT Europe steering committee

• Developmental Biology
• Neurosciences
• Dopamine Neurons
• +۴ مورد دیگر

Thomas Perlmann is a Professor in Molecular Developmental Biology at the Karolinska Institutet , leading research at the Department of Cell and Molecular Biology and serving as Director of the Stockholm Branch of the Ludwig Institute for Cancer Research. He also holds the position of Secretary General of the Nobel Assembly and Nobel Committee for Physiology or Medicine since 2016. Ph.D. , Karolinska Institutet, 1991 M.Sc. , Stockholm University, 1987 Research Interests : The Perlmann lab investigates the specification and maintenance of dopamine neurons in the central nervous system, with a focus on transcriptional regulation , signaling pathways , and regenerative medicine applications for Parkinson’s disease and other neurodegenerative disorders. His work bridges developmental biology and neuroscience , emphasizing the role of transcription factors in neuronal identity and function. Recent Research Trends : Perlmann’s recent publications highlight the use of single-cell RNA sequencing to dissect dopamine neuron heterogeneity , epigenetic regulation during development, and transcriptomic changes in Parkinson’s disease models. His studies increasingly leverage multiomics and bioinformatics to map neuronal lineage trajectories and gene expression dynamics. Scientific Awards : Royal Medal by HM the King (2025) Nicholson Lecturer, Rockefeller University (2011) Göran Gustafsson Prize in Molecular Biology (1999) Eric K. Fernström Young Investigator Prize (1997) Advising & Collaborations : While no student names are explicitly listed, Perlmann collaborates extensively with researchers such as Malin Parmar , Agnete Kirkeby , and Per Svenningsson on projects related to neuronal development and cell therapy . His lab receives funding from institutions like the Ludwig Institute for Cancer Research . Labs & Teams : The Perlmann Lab at Karolinska Institutet includes researchers like Linda Gillberg , Laura Lahti , and Behzad Yaghmaeian Salmani , who work on mouse models , single-cell transcriptomics , and bioinformatics to study dopamine neuron biology.

• Trustworthy Machine Learning
• Conformal Prediction
• Explainable Artificial Intelligence
• +۲ مورد دیگر

Henrik Boström is a Professor of Computer Science specializing in Data Science Systems at the Division of Software and Computer Systems, KTH Royal Institute of Technology. His research focuses on trustworthy machine learning , with emphasis on conformal prediction (for confidence-calibrated predictions) and explainable AI . He is the developer of Python packages crepes (conformal classifiers/regressors) and xrf (explainable random forests). His primary research domains include: Developing robust methods for uncertainty quantification in predictive models Creating interpretable machine learning frameworks Optimizing ensemble techniques for high-dimensional data Applying ML to healthcare informatics and industrial diagnostics Analysis of his recent publications reveals strong emphasis on: (1) advancing conformal prediction theory for trustworthy AI, (2) enhancing interpretability of complex models like random forests and GNNs, and (3) developing efficient algorithms for uncertainty-aware learning in domains including healthcare, graph data, and high-dimensional regression. He serves as examiner for multiple degree projects and teaches courses including Programming for Data Science (ID2214) and Research Methodology and Scientific Writing (II2202) . He leads development of open-source tools for conformal prediction and model interpretation.

• Condensed Matter Physics
• Materials Science
• Quantum Physics
• +۶ مورد دیگر

Anna Delin is a Full Professor at KTH Royal Institute of Technology since 2011, leading research on magnetic and quantum phenomena in materials. She heads the WISE research school (wise-materials.org) and served as Deputy Head of the School of Engineering Sciences (SCI) from 2018–2022. Her expertise spans condensed matter physics, with a focus on nanomagnetism, skyrmions, spin-lattice couplings, and topological materials. Education: PhD in Condensed Matter Physics from Uppsala University (1998). Key awards include Naturvetarpriset (1998), Royal Swedish Academy of Sciences Research Fellowship (2007), Thuréus Prize (2018), and Edlundska Prize (2024). She has held visiting roles at ICTP, Los Alamos National Lab, and the Fritz Haber Institute. Research interests include magnetic skyrmions, magnonics, spintronics, and ultrafast demagnetization. Recent publications focus on spin-lattice dynamics, topological materials, and quantum analogs of classical magnetic models. Her work bridges theory and experiment, with contributions to tools like SpinView for computational magnetism analysis. Teaching includes roles as examiner for the Degree Project in Applied Physics and teacher for Sustainable Development in Engineering Physics. She actively participates in materials design initiatives and semantic data processing for big research data. Lab affiliations include her own research group at KTH and collaborations through WISE. Current projects explore skyrmion stabilization, magnon entanglement, and quantum spin systems, with implications for next-generation spintronic devices.

Max Kochمشاهده پروفایل

استاد

• Capitalist Restructuring and Welfare
• Ecological Sustainability
• Climate Change
• +۷ مورد دیگر

Max Koch is a Professor at Lund University's School of Social Work, specializing in the intersection of social policy, ecological sustainability, and postgrowth theories. His research explores how capitalist restructuring impacts welfare, inequality, and climate action, with a focus on sustainable welfare systems and degrowth. Current projects: 'Economic Elites in the Climate Change Transformation' (PI, 2023-2028), 'Regulating the Polluter Elite' (2024-2027), 'FLYWELL' (2023-2026). Former projects: 'Postgrowth Welfare Systems' (2021-2025), 'Sustainable Welfare for a New Generation' (2020-2023). He teaches political economy, social inequality, and ecological sustainability at Lund University, directing the 'Social Policy in Europe' course. As a Visiting Scholar, he has collaborated with institutions in Spain, the Netherlands, Scotland, and Chile. His work contributes to UN Sustainable Development Goals (SDGs) related to climate action and reduced inequalities. Scientific award: Atlas Prize (2019) for degrowth research. Editorial roles: Environmental Values, advisory boards for ORSI and Collorative Future Making. Recent publications analyze planetary boundaries, postgrowth welfare models, and climate policy synergies. His research emphasizes interdisciplinary approaches combining social practices with policy innovation.

• Medical Imaging
• Radiation Detectors
• Biomedical Engineering
• +۳ مورد دیگر

Mats Danielsson is a Professor at KTH Royal Institute of Technology, leading the Medical Imaging research group within the Department of Particle Astrophysics and Medical Imaging. He has coordinated major projects like the ERC Advanced Grant for the Si3 project (starting 2024) and the EIC Pathfinder's 1MICRON project (starting 2025). His work focuses on advancing photon-counting detectors, X-ray technologies, and medical imaging systems. Notable recognitions include the 2024 KTH Innovation Award and the 2022 Hans Wigzell Science Prize. Danielsson has co-founded companies such as Sectra Mamea AB and C-RAD AB, and holds 135 patents with over 150 scientific publications. Education: MSc (1990) and PhD (1996) from KTH, followed by postdoctoral research at Lawrence Berkeley National Lab (1996–1998). He joined KTH in 1999, where he has held his current professorship since then. His research spans medical imaging, detector innovation, and radiation physics applications in healthcare. Research Interests: Development of high-resolution CT detectors, photon-counting technologies, compact X-ray sources, and AI-driven image processing. His recent work emphasizes minimizing radiation exposure while enhancing diagnostic precision through novel detector designs and machine learning algorithms. Key Projects: ERC Si3 project (3D detector for nuclear medicine), EIC 1MICRON (micrometer-scale imaging), and MedTechLabs collaboration with Karolinska Institutet. He has pioneered innovations such as MicroDose mammography and advanced photon-counting spectral CT systems. Awards: KTH Innovation Award (2024), Hans Wigzell Prize (2022), IVA membership (2017), Polhem finalist (2014), and INGVAR Award (2004). Advising & Grants: Over 150 scientific publications, 135 patents, and leadership in multi-institutional projects. Teaches courses on medical imaging and modern physics at KTH. Labs/Teams: Director of the Medical Imaging Group at KTH, co-founder of MedTechLabs, and collaborator across academia and industry in medical imaging innovation.

Jennifer K. Ryanمشاهده پروفایل

استاد

• Numerical Analysis
• High-Order Numerical Methods
• Discontinuous Galerkin Methods
• +۴ مورد دیگر

Jennifer K. Ryan is a Professor and Division Head for Numerical Analysis, Optimization & Systems Theory at the Department of Mathematics, KTH Royal Institute of Technology, Stockholm. She is affiliated with the Digital Futures Faculty, a cross-disciplinary research center jointly established by KTH, Stockholm University, and RISE Research Institutes of Sweden. Her research focuses on developing numerical schemes for extracting enhanced accuracy from simulations, with applications in imaging, data analysis, and fluid dynamics. Ryan’s work emphasizes improving computational efficiency through theoretical insights and practical algorithms. Her academic roles include teaching courses like Numerical Methods for Differential Equations II and supervising student projects in numerical analysis. She has contributed to the SIAC MAGIC toolbox, a software package for accuracy-enhancing filtering techniques. Ryan’s research group actively explores discontinuous Galerkin methods, SIAC filtering, and multi-resolution analysis, addressing challenges in computational physics and engineering. Her publications span high-order numerical methods, mesh adaptivity, and applications in plasma physics and wave equations. Projects include error estimation for boundary integral methods and developing filters for noisy data. Ryan collaborates internationally, contributing to both theoretical advancements and practical implementations in computational science.

• Numerical Analysis
• Partial Differential Equations
• Wave Propagation
• +۷ مورد دیگر

Olof Runborg is a Professor in Numerical Analysis at the Royal Institute of Technology (KTH) in Stockholm, Sweden. He works in the Division of Numerical Analysis, Optimization and Systems Theory within the Department of Mathematics at KTH. His research focuses on developing and analyzing numerical methods for partial differential equations, particularly for wave propagation problems. His educational background includes: MSc in Electrical Engineering from KTH (1992) BSc in Economics & Business Administration from SSE (1994) PhD in Numerical Analysis/Applied Mathematics from KTH (1998) Postdoc at Paris VI University (1999) Postdoc at Princeton University's Program in Applied and Computational Mathematics (2000-2001) Became Docent at NADA in 2003 Appointed Professor at KTH in 2010 Professor Runborg's research centers on the numerical treatment of partial differential equations, with special emphasis on wave propagation problems. His work spans multiple areas including high-frequency waves, multiscale phenomena, numerical homogenization, uncertainty quantification, multiresolution analysis, Gaussian beams, and mesh generation. A recurring theme in his research is developing methods to solve computationally expensive problems more efficiently while maintaining accuracy. His approach often involves coupling different numerical methods or reformulating equations to create more efficient computational approaches. His research has applications across physics and engineering domains where wave phenomena are important. An analysis of his recent publications (2015-2025) shows continued focus on high-frequency wave propagation with expanding applications to areas like the Landau-Lifshitz equation for magnetic materials and elastic wave propagation. His work bridges theoretical numerical analysis with practical computational techniques, often developing novel methods like the WaveHoltz iteration for solving the Helmholtz equation. The publications demonstrate increasing attention to uncertainty quantification and multiscale methods while maintaining strong theoretical foundations in error analysis. Professor Runborg teaches several courses at KTH including Numerical Methods (basic course), Applied Numerical Methods, Numerical Algorithms for Data-Intensive Science, and Selected Topics in Numerical Analysis II. He serves as examiner for degree projects in Scientific Computing. His teaching reflects his research expertise in numerical methods and computational mathematics, providing students with both theoretical foundations and practical implementation skills. Beyond his core research, Professor Runborg has engaged in interesting side projects, such as his analysis of 'Numbers on the Web' where he investigated the frequency of numbers 11-1000 in web content, revealing patterns related to dates, time, computer systems, and cultural phenomena. This demonstrates his broader interest in data analysis and computational approaches to understanding patterns in information.

Hedvig Kjellströmمشاهده پروفایل

استاد

• Computer Vision
• Artificial Intelligence
• Human-Computer Interaction
• +۶ مورد دیگر

Hedvig Kjellström is a Professor at the Division of Robotics, Perception and Learning within the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology. She holds significant affiliations with the Swedish e-Science Research Centre and the Max Planck Institute for Intelligent Systems in Germany. Her work spans multiple interdisciplinary domains and she serves as Editor-in-Chief for CVIU and was Program Chair for CVPR 2025. Her research centers on Computer Vision as a sub-field of AI, with three interconnected themes: Computational Aesthetics (exploring aesthetic aspects of human communicative behavior), Communicative Behavior (developing models of how humans and animals perceive and produce non-verbal communication), and Embodied Artificial Intelligence (creating methodologies for robots and autonomous agents to perceive the world through sensors, primarily vision). Her work has significant applications in medical diagnostics, animal welfare, human-robot interaction, and creative arts. Analysis of her recent publications reveals a strong trend toward multimodal AI systems that integrate vision, language, and action understanding. Her research increasingly focuses on animal-centered applications, particularly equine pain detection and behavior analysis, while maintaining strong foundations in human communication modeling, gesture recognition, and 3D reconstruction techniques. The interdisciplinary nature of her work bridges computer science with veterinary medicine, neuroscience, and performing arts. Hedvig Kjellström actively supervises numerous PhD and Master's students across various projects and maintains extensive collaborations with institutions including Karolinska Institutet, Swedish University of Agricultural Sciences, and international partners. Her research is supported by major funding bodies including WASP, VR, and SeRC. She leads or participates in several notable projects including OrchestrAI (communication between conductor and orchestra), ANITA (Animal Translator), MARTHA (3D horse motion analysis), and STING (synthesis and analysis with transducers and invertible neural generators). Her work with ACAI (Animal Centered Artificial Intelligence), which she co-founded and directs, demonstrates her commitment to applying AI for animal welfare.

• Power System Control
• Smart Grids
• Communication Systems
• +۱۱ مورد دیگر

Lars Nordström is a Professor at the Division of Electric Power and Energy Systems within KTH Royal Institute of Technology, Stockholm, Sweden. His work bridges control systems , communication networks , and power systems , with a focus on future architectures, functionality, and quality aspects of ICT for power grid operations. He has led initiatives such as the Swedish Centre of Electric Power Engineering and served as Thematic Leader for Smartgrids in KIC InnoEnergy. In 2014, he was a Visiting Professor at Washington State University. Education : Ph.D., MSc.EE Nordström's research explores the intersection of smart grids , machine learning , and cybersecurity for power systems. Key areas include: Wide-Area Monitoring and Control (WAMC) systems Decentralized control strategies for DC microgrids Impedance modeling using neural networks Data-driven methods for islanding detection ICT reliability and protocol design for grid operations His recent publications emphasize machine learning applications in power systems, including LSTM networks for EV charging management, graph attention networks for stability monitoring, and digital twin approaches for cyber-attack mitigation. These works span disciplines such as Smart Grids, Power Electronics, and Data Science. Scientific Recognitions : Senior Member, IEEE Senior Member, CIRED Senior Member, Cigre Past Chairman, Swedish IEC TC57 Mirror Committee Nordström actively teaches and examines graduate courses like Communication and Control in Electric Power Systems and Computer Applications and Machine Learning in Electric Power Systems . His work influences industry practices through collaborations on digital substations, energy market analysis, and resilience strategies.

Cyrille Arthoمشاهده پروفایل

دانشیار

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

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