Henrik Sandberg is a Professor at the Division of Decision and Control Systems , KTH Royal Institute of Technology , Stockholm, Sweden. He holds the title of Deputy Head of Division and is affiliated with the School of Electrical Engineering and Computer Science . Education: MSc in Engineering Physics (1999) PhD in Automatic Control (2004) from Lund University Postdoctoral position at Caltech (pre-2007) Research Interests: Focus on cyber-physical systems security , power systems , model reduction , and fundamental limitations of control systems . Key sub-areas include attack detection , networked control , privacy-preserving estimation , and resilient control architectures . Publications: Over 150 papers across IEEE Transactions and Automatica , covering topics like stealthy attacks , distributed control , LQG optimization , and thermodynamic costs in filtering . Recent work includes LWE-based encrypted control and Bayesian deception mechanisms . Scientific Awards: Best Student Paper Award Finalist at IEEE CASE 2014; Best Student-Paper Award at IEEE CDC 2004. Grants & Projects: Leads the DYNACON project (WASP Cybersec cluster) and collaborates on CERCES (critical infrastructure resilience). Serves as examiner for multiple advanced courses in cybersecurity and control systems. Contact: Email: hsan@kth.se Phone: +46 (0)8 790 7294 Room: A:607, Malvinas Väg 10, Stockholm
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 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.
Kåre Synnes is a Professor in Pervasive and Mobile Computing at Luleå University of Technology, where he is affiliated with the Department of Computer Science, Electrical and Space Engineering. He is an active researcher and educator, recognized as an "Excellent lärare" (Excellent Teacher) and maintains his office in Luleå at location A3305a. Professor Synnes conducts research in pervasive computing and multimedia communication, with significant applications in eHealth. His work bridges theoretical computer science with practical implementations in distributed systems. He is also an affiliated researcher at the Centre for Distance-spanning Technology (CDT), focusing on technologies that enable communication across geographical boundaries. His recent publications demonstrate a clear trajectory toward sustainable computing solutions, with emphasis on circular economy applications, supply chain management, and environmental impact assessment. His research integrates computer science with economic and sustainability principles, showing how digital technologies can address contemporary environmental challenges through innovative auction systems, behavior analytics, and resource management frameworks. IST Prize winner as co-founder of Marratech AB Synnes has been deeply involved in European research projects since 1995, including multiple Framework Programme projects (FP4 through FP7). His work as an expert/reviewer for European projects since 2009 demonstrates his standing in the research community. His entrepreneurial success with Marratech AB, which was acquired by Google to form the basis for Google+ Hangouts, shows his ability to translate research into impactful commercial applications. Professor Synnes maintains strong connections with industry through his European project work and his entrepreneurial experience. His research group likely focuses on pervasive computing applications with real-world implementations, particularly in eHealth contexts, though specific lab details aren't provided in the available information.
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.
Adam Wickberg is a researcher in the Division of History of Science, Technology and Environment at KTH Royal Institute of Technology in Stockholm. He serves as co-director of the VR Excellence Centre for Anthropocene History and deputy director of the KTH Environmental Humanities Lab . His work critically examines the intersections of digitalization, sustainability , and the Anthropocene , focusing on their social, political, and historical dimensions. He leads the research project The Mediated Planet: Claiming data for environmental SDGs and has held visiting positions at the Max Planck Institute for the History of Science in Berlin. Education : Not explicitly stated His research spans media studies, environmental history, critical data studies , and postcolonial science and technology studies . Key themes include: Digital twins and marine futures AI ethics for climate justice Colonial histories of environmental data Temporal dimensions of Anthropocene governance Environing media as epistemological tools Planetary datafication systems Recent publications explore how data infrastructures shape environmental governance and how historical media practices inform contemporary sustainability challenges. He has contributed to journals like New Media and Society , Nature , and Critical Inquiry , while engaging in public debates through op-eds in Dagens Nyheter and Aftonbladet . Teaching : Courses include Artificial Intelligence and Sustainable Development (AK122V), Environmental History (AK2210), and The Anthropocene (AK126V). Labs/Teams : Leads the Environmental Humanities Lab and collaborates with the WASP-HS Community .
Pan Xu is a tenure-track assistant professor with joint appointments in the Department of Biostatistics & Bioinformatics, Department of Computer Science, and Department of Electrical & Computer Engineering at Duke University. Previously, Xu was a Postdoctoral Scholar Research Associate at Caltech's Department of Computing and Mathematical Science and earned a Ph.D. in Computer Science from UCLA. Xu's research focuses on developing computationally- and data-efficient machine learning algorithms with strong empirical performance and theoretical guarantees. Xu's research interests center around Machine Learning with broad applications in Artificial Intelligence, Data Science, Optimization, Reinforcement Learning, and High Dimensional Statistics. The research specifically targets real-world problems in Bioinformatics and Healthcare, with recent work emphasizing distributionally robust decision making, efficient exploration strategies, and multi-agent systems. Xu has developed novel algorithms that address the challenges of exploration in sequential decision making and robustness to distributional shifts between training and deployment environments. Xu's recent publications demonstrate a strong trend toward developing theoretically grounded yet practical algorithms for reinforcement learning and bandit problems, with particular emphasis on distributionally robust methods, efficient exploration techniques, and applications to healthcare. The work spans both theoretical analysis (providing minimax optimal regret bounds) and practical implementations (validated on benchmarks like Atari games and real healthcare datasets). Whitehead Scholar award from Duke University School of Medicine (2023) Best Paper Award at ACM FAccT 2023 for Queer In AI paper PIMCO Postdoctoral Fellowship in Data Science (2022) TMLR Featured Certification (2023) NSF award on approximate sampling based exploration (2023) Xu actively mentors multiple Ph.D. students across Duke's Biostatistics & Bioinformatics, Computer Science, and Electrical & Computer Engineering programs, with several alumni now pursuing doctoral studies at top institutions. The research group has secured competitive funding including an NSF award for approximate sampling based exploration for sequential decision making. Xu serves as an action editor for TMLR and as an area chair for major conferences including ICML, NeurIPS, AAAI, ICLR, and AISTATS. Xu leads a dynamic research group focused on sequential decision making, with projects spanning theoretical algorithm development, implementation of practical systems, and applications to healthcare and bioinformatics. The group maintains active collaborations across Duke's medical and engineering schools, with recent work applying machine learning to epidemic forecasting during the pandemic.
Professor Isto Huvila is a leading scholar at Uppsala University's Department of ABM (Archives, Libraries, and Museums) within the Faculty of Humanities. His academic profile spans information science, digital humanities, and cultural heritage studies with a distinctive focus on documentation practices and information management across diverse contexts. His research interests encompass: Information and knowledge management Social and participatory information practices Documentation and paradata theory Digital humanities and archaeological information systems Health information and e-health services Open data and research data management Recent scholarly output reveals a strong trajectory toward understanding information practices across multiple domains. A significant portion of his work examines paradata in archaeological contexts through the CAPTURE project, investigating how documentation of data creation processes can enhance research transparency and data reuse. He also conducts extensive research on digital inclusion among older adults and immigrant populations regarding e-health services, analyzing both experiences and expectations of these user groups. Professor Huvila publishes in high-impact journals including Journal of Documentation, Information Research, Journal of the Association for Information Science and Technology, and Journal of Medical Internet Research. His interdisciplinary approach connects information science with archaeology, health informatics, and digital humanities, yielding practical insights for improving documentation standards, research data management, and e-health service design. His 2025 book 'Paradata: Documenting Data Creation, Curation and Use' represents a major contribution to the field, alongside influential review articles like 'Trends in information behavior research, 2016-2022' in the Annual Review of Information Science and Technology. His work bridges theoretical and practical concerns in information science, making substantive contributions to both academic knowledge and real-world applications in cultural heritage institutions and healthcare information systems.
Pontus Johnson is a Professor at the KTH Royal Institute of Technology in Stockholm, Sweden. He leads the Center for Cyber Defense and Information Security (collaborating with Swedish Armed Forces, FRA, MSB, FOI, FHS) and serves as vice director of Cybercampus Sweden since 2024. His research focuses on cybersecurity , enterprise architecture analysis , and probabilistic threat modeling , particularly through his development of the Meta Attack Language (MAL) for simulating cyber attacks on networked systems. Education: MSc in Computer Science, Lund Institute of Technology (1997) PhD in Computer Science, KTH (2002) Docent title, KTH (2007) Leadership Roles: Director, Center for Cyber Defense and Information Security (2013–present) Vice Director, Cybercampus Sweden (2024–present) Board Member, Swedish Research Council (2025–present) Deputy Chair, Swedish Royal Academy of Engineering Sciences (IVA) Board (2024–present) His work spans cybersecurity research , attack simulation methodologies , and enterprise architecture frameworks . He has developed tools like securiCAD (acquired by Google) and pwnPr3d for probabilistic threat modeling. His 15 most recent publications highlight advancements in graph-based attack simulations , automated security assessments , and AI applications in cyber defense . Scientific recognition includes: Listed among Tech Awards Sweden's 50 Most Influential People in Swedish Tech (2022, 2023) Discovery of vulnerability in the Universal Turing Machine (2021) He supervises 16 PhD students and alumni (2005–2024), including Simon Gökstorp , Jakob Nyberg , and Sotirios Katsikeas . His academic service includes over 50 program committee roles and leadership positions in international conferences. He contributes to both academic and public domains through media appearances (SVT, Aftonbladet), courses in ethical hacking , and industry collaboration via his role at Google (20% of his time). His research group Software Systems Architecture and Security (SSAS) focuses on predictive security frameworks and system-of-systems analysis.
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.
Xiaoming Hu is a Professor at the Division of Numerical Analysis, Optimization and Systems Theory within the Department of Mathematics at KTH Royal Institute of Technology (Kungliga Tekniska Högskolan) in Stockholm, Sweden. Born in Chengdu, China, he received his B.S. degree from University of Science and Technology of China in 1983, followed by M.S. and Ph.D. degrees from Arizona State University in 1986 and 1989 respectively. After serving as a research assistant at the Institute of Automation, Chinese Academy of Sciences (1983-1984), he was a Gustafsson Postdoctoral Fellow at KTH (1989-1990) before becoming a faculty member. His educational background includes: B.S. in Engineering, University of Science and Technology of China, 1983 M.S. in Engineering, Arizona State University, 1986 Ph.D. in Engineering, Arizona State University, 1989 Xiaoming Hu's research primarily focuses on multi-agent systems, nonlinear feedback stabilization, nonlinear observer design, and sensing and active perception. His work bridges theoretical control theory with practical applications in robotics and autonomous systems. He has made significant contributions to geometric control theory, mathematical systems theory, and nonlinear systems analysis and control. His research often involves developing theoretical frameworks for distributed control, formation control, and cooperative behavior in multi-robot systems. Professor Hu's publication record shows a consistent research trajectory with numerous high-impact publications in top-tier journals like Automatica, IEEE Transactions on Automatic Control, and Systems & Control Letters. His research has evolved from fundamental control theory to more applied problems in robotics and multi-agent systems, while maintaining strong mathematical foundations. Recent work shows increasing focus on safety-critical control, inverse problems in estimation, and networked systems. His scientific contributions include: Development of theoretical frameworks for multi-agent coordination and formation control Advances in nonlinear observer design for robotic systems Contributions to geometric control theory and systems theory Research on distributed estimation and control algorithms Applications of control theory to robotics and autonomous systems Professor Hu teaches several advanced courses including Mathematical Systems Theory, Geometric Control Theory, and Nonlinear Systems: Analysis and Control. He has supervised numerous degree projects at both undergraduate and graduate levels in mathematics, optimization, systems theory, and scientific computing. His teaching reflects his research expertise, providing students with both theoretical foundations and practical applications of control theory.
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.
Elias Jarlebring is a Professor in Numerical Linear Algebra at the Department of Mathematics, KTH Royal Institute of Technology, Stockholm. He has held the position of Full Professor since 2021, following his tenure as Associate Professor (2013-2021) and Dahlquist Research Fellow (2011-2013). His research focuses on numerical analysis, numerical linear algebra, matrix computations, and scientific computing. Jarlebring develops linear algebra algorithms to solve problems from various fields including systems and control, acoustics, electromagnetics, data science, quantum mechanics, and quantum chemistry. He is a core developer of NEP-PACK, a scientific computing software package for nonlinear eigenproblems. His recent publications demonstrate significant contributions to computational methods for nonlinear eigenvalue problems, matrix functions, and parameterized linear systems. The research shows a clear trajectory toward increasingly complex applications in quantum computing, data science, and wave propagation problems. Project grant, Swedish research council (2019) Ruth och Nils-Erik Stenbäcks foundation, junior grant (2019) Göran Gustafsson Prize for junior researchers (2014) Project grant for junior researchers, Swedish research council (2014-2018) Professor Jarlebring has supervised numerous PhD students including Vilhelm Peterson Lithell, Gustaf Lorentzon, Siobhán Correnty, Parikshit Upadhyaya, Emil Ringh, Antti Koskela, and Giampaolo Mele. He has received multiple research grants from the Swedish Research Council and serves as editor for BIT Numerical Mathematics, Linear and Multilinear Algebra, NACO Numerical Algebra Control and Optimization, and CALCOLO. He is actively involved in the numerical linear algebra community as a member of ILAS (International Linear Algebra Society), GAMM Activity Group on Numerical Linear Algebra, and the Nordic Numerical Linear Algebra Association. He also contributes to open source projects, particularly in the Julia programming language ecosystem.
Saurabh Amin is a Professor in the Department of Civil and Environmental Engineering at the Massachusetts Institute of Technology (MIT), where he also serves as the Edmund K. Turner Professor and Undergraduate Officer. He is a Principal Investigator at the Laboratory of Information and Decision Systems and holds affiliations with the Operations Research Center and the Center for Computational Science and Engineering. His educational background includes: B.Tech. 2002, Indian Institute of Technology (IIT) Roorkee M.S. 2004, University of Texas (UT) Austin Ph.D. 2011, University of California (UC) Berkeley Saurabh Amin's research focuses on the design and control of infrastructure systems using game theory and optimization in networks. His work spans three main areas: resilient network control, information systems and incentive design, and optimal resource allocation in large-scale infrastructure systems. By concentrating on critical infrastructure domains including highway transportation, electric power distribution, and urban water networks, his research develops innovative theory and tools to enhance system performance against both stochastic and adversarial disruptions. His approach involves modeling cyber-physical interactions in infrastructures to assess vulnerabilities, developing detection and response tools for failures at various scales, and designing economic incentive schemes that improve aggregate public good while accounting for dependencies and private information among strategic entities. Amin's work bridges mathematical systems theory with practical civil engineering applications, creating a rigorous theoretical foundation for infrastructure resilience that addresses diverse failure mechanisms from natural disasters to deliberate malicious actions. His recent publications demonstrate a strong focus on decarbonization of energy systems, resilient infrastructure planning under climate uncertainty, optimization methods for complex networked systems, and game-theoretic approaches to sustainable infrastructure management. His work increasingly integrates artificial intelligence and machine learning techniques with traditional control theory to address contemporary challenges in infrastructure resilience and sustainability. The research shows a clear trajectory toward addressing climate change impacts on infrastructure systems while maintaining economic efficiency and operational reliability. Professor Amin has received numerous prestigious awards and honors: Common Ground Excellence in Teaching Award, 2025 HSCC Test-of-Time Award, 2024 MIT CEE, Distinguished Service and Leadership Award, 2023 Samuel M. Seegal Prize (SoE) – inspiring students in pursuing and achieving excellence, 2022 Earll M. Murman for Excellence in Undergraduate Advising, 2022 C3.ai Digital Transformation Institute Research Award, 2020 MIT, Ole Madsen Mentoring Award, 2020 MIT, Energy Initiative Research Award, 2020 National Academy of Engineering, China-America Frontiers of Engineering Symposium speaker, 2019 MIT, Robert N. Noyce Career Development Professor, 2015-2018 Google Faculty Research Award, 2015 National Science Foundation CAREER Award, 2015 Siebel Energy Institute Research Award, 2015 MIT, Solomon Buchsbaum AT&T Research Fund Award, 2012 Professor Amin has been actively involved in significant research projects including the C3.ai DTI project on Causal Reasoning for Real-Time Attack Identification in Cyber-Physical Systems and another on Learning in Routing Games for Sustainable Electromobility. He serves as the chief scientist on multi-institutional NSF grants, including the $9 million Foundations of Resilient Cyber-Physical Systems (CPS) project. His teaching portfolio includes courses such as 1.008 Engineering for a Sustainable World, 1.104 Sensing and Intelligent Systems, 1.020 Engineering Sustainability: Analysis and Design, and 1.208 Resilient Networks. As Undergraduate Officer, he plays a key role in shaping the educational experience for civil and environmental engineering students at MIT. Professor Amin leads the Resilient Infrastructure Networks Lab at MIT, where his team develops theoretical foundations and practical tools for infrastructure resilience. The lab focuses on the intersection of control theory, game theory, and optimization applied to cyber-physical infrastructure systems. Current research directions include pandemic-resilient urban mobility and hurricane-resilient smart grid operations, reflecting the lab's commitment to addressing pressing societal challenges through rigorous systems engineering approaches.
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
