Gary Koenig is Associate Professor of Chemical Engineering at the University of Virginia. His research program focuses on advanced materials for energy storage systems, particularly lithium-ion batteries and flow batteries. He holds a PhD from University of Wisconsin-Madison and completed postdoctoral research at Argonne National Laboratory. His group develops novel electrode architectures, including thick sintered electrodes and all-active-material designs, to improve battery energy density and rate capability. Research spans materials synthesis, electrochemical characterization, and transport modeling to overcome limitations in current energy storage technologies. Honors include the NSF CAREER Award (2017) and Fulbright Research Fellowship (2020). Recent publications examine electrode processing techniques, lithium extraction methods, and transport phenomena in battery systems. His work demonstrates innovations in electrode design that enable higher energy densities while maintaining cycling stability. He has taught courses including Applied Statistics, Chemical Reaction Engineering, and Energy Technology Options.
Elsa A. Olivetti is the Jerry McAfee (1940) Professor in Engineering and Professor of Materials Science and Engineering at MIT, and a MacVicar Faculty Fellow. She leads the Olivetti Group, focusing on sustainable materials design, recycling strategies, and computational models for environmental and economic impact assessment. Her work bridges materials science with sustainability, emphasizing circular economy principles and decarbonization. Education: B.S. in Engineering Science from University of Virginia (2000); Ph.D. in Materials Science and Engineering from MIT (2007). Her doctoral research centered on lithium-ion battery electrode materials. She joined MIT’s Department of Materials Science and Engineering (DMSE) in 2014 as an Assistant Professor, later advancing to full Professor. She co-directs the MIT Climate & Sustainability Consortium and chairs the MIT Climate Nucleus. Research interests include: sustainable materials systems, recycling-friendly material design, waste mining, and AI-driven materials discovery. She develops models for cost prediction, environmental impact analysis, and policy-relevant supply chain dynamics. Notable contributions include high-throughput zeolite design and battery recycling frameworks. Awards include the Bose Teaching Award (2021), NSF Early Career Award (2018), and Minerals, Metals & Materials Society Early Career Fellowship (2019). Her work emphasizes education and curriculum development, including courses for MIT’s Climate Scholars program. Labs/Teams: Olivetti Group (MIT), MIT Climate & Sustainability Consortium. Active in global sustainability initiatives, focusing on materials for energy transition and climate resilience.
Christopher J. Stein is an Associate Professor of Theoretical Chemistry at the Technical University of Munich (TUM), part of the TUM School of Natural Sciences. His research focuses on theoretical (electro-)catalysis, developing electronic-structure models and solvation/embedding methods to understand and optimize catalytic processes. He leads the Stein Group, which integrates computational chemistry with high-throughput simulations to advance energy materials and battery technologies. His work emphasizes realistic modeling of catalyst behavior under operational conditions and has contributed to advancements in quantum embedding and automated reaction mechanism exploration. Education and Career: Earned his PhD in Theoretical Chemistry, with postdoctoral research at Caltech (2017-2020). Became an Associate Professor at TU Munich in 2023. He previously held roles at Karlsruhe Institute of Technology and contributed to projects like the BIG-MAP Materials Acceleration Platform. Research Interests: Theoretical chemistry, electrochemical interfaces, battery materials, high-throughput computational methods, and machine learning integration. His group explores topics like solid electrolyte interphases, charge transfer mechanisms, and automated workflows for materials discovery. Awards: While no explicit awards are listed, his contributions to materials acceleration platforms and theoretical catalysis have been widely recognized in the field. His work has been featured in journals like Journal of Chemical Physics , Chemical Science , and Angewandte Chemie . Labs/Teams: Leads the Stein Group at TUM, collaborating with institutions like the Munich Data Science Institute and MIRMI. His lab focuses on computational tools for accelerating energy material development, including quantum embedding and cloud-based simulations.
Dr. Yiran Chen is the John Cocke Distinguished Professor at Duke University's Department of Electrical and Computer Engineering, leading the NSF AI Institute for Edge Computing (Athena) and the Duke Center for Computational Evolutionary Intelligence (DCEI). A global leader in neuromorphic computing, emerging memory systems, and edge AI, he holds prestigious roles including IEEE Fellow and Editor-in-Chief of IEEE Transactions on Circuits and Systems for AI. His research spans machine learning accelerators, security-hardened hardware, and co-design of EDA tools with LLMs. With over 700 publications and 96 patents, he has been awarded 15 paper awards and 17 nominations, including rare Technical Achievement Awards from IEEE societies. He advises over 60 PhD students and 4 postdocs, many of whom hold academic positions worldwide. His work bridges academia and industry, contributing to startups and venture capital through his board roles. Education: B.S. (Tsinghua, 1998) → M.S. (Tsinghua, 2001) → Ph.D. (Purdue, 2005). Career path: Assistant/Associate Professor at University of Pittsburgh (2010–2014) → Duke since 2014. Awards include the ACM SIGDA Outstanding New Faculty Award (2014), NSF CAREER Award (2013), and the Stansell Family Distinguished Research Award (2022). Research focuses on innovations in: (1) Non-volatile memory architectures for AI acceleration, (2) Hardware-software co-design for edge computing, (3) Security in neuromorphic systems, and (4) Large-scale ML for EDA. His group pioneered ReRAM-based accelerators like ReBNN and MARC, and introduced novel edge AI frameworks like Ecco and Prosperity. These works address scalability, energy efficiency, and real-time performance challenges. Key initiatives include the NSF IUCRC for Alternative Sustainable & Intelligent Computing (ASIC), advancing sustainable computing through novel materials and architectures. His leadership in standard-setting bodies like the IEEE Circuits and Systems Society ensures cutting-edge research translates into industry practices. Grants: Lead PIs for multiple NSF AI Institutes and industry partnerships. Labs: Directs the Athena Institute and DCEI, fostering collaboration between academia and industry. Current projects include quantum computing placement algorithms (QPlacer), federated learning frameworks (FedGPT), and neuro-symbolic architectures.
Diego Calvanese is a Full Professor in Computer Engineering at the Faculty of Engineering of the Free University of Bozen-Bolzano, Italy. He serves as Spokesperson of the Institute of Computer Science and Artificial Intelligence and Director of the Smart Data Factory technology transfer lab at NOI Techpark. As Coordinator of the Intelligent Integration and Access to Data (In2Data) research group, part of the Research Centre for Knowledge and Data (KRDB), he leads significant research initiatives in knowledge representation and data management. Calvanese's research focuses on virtual knowledge graphs for data access and integration, ontology-based data access, description logics, semantic web technologies, graph data management, and verification of data-aware processes. His work bridges theoretical foundations with practical applications through the Ontop framework, which enables SPARQL query answering over OWL 2 QL ontologies connected to external data sources. His research has substantial practical impact, powering the South Tyrol Open Data Hub Knowledge Graph and supporting numerous European and national research projects. With more than 400 refereed publications and over 39,000 citations (h-index 80), Calvanese's recent work demonstrates continued leadership in virtual knowledge graphs, ontology-based data federation, explainable AI through knowledge representation, and integration of complex data types including 3D city models and raster data. His publications show a clear trajectory from theoretical foundations toward increasingly practical and applied research addressing real-world data integration challenges across multiple domains. ACM Fellow (2019) EurAI Fellow (2015) AAIA Fellow Program Chair of PODS 2015 and KR 2020 General Chair of ESSLLI 2016 Calvanese has secured significant research funding through numerous competitive projects including EU H2020 INFRAEOS Project (INODE), Italian PRIN Project (HOPE), FESR Project (IDEE), and EU FP7 IP Project (Optique), totaling close to 6.4M Euro. As an originator and co-founder of Ontopic, the first spin-off of the Free University of Bozen-Bolzano, he has successfully translated research into commercial applications. He serves as Associate Editor of Artificial Intelligence (AIJ) and has participated in over 200 program committee roles for international conferences. As Director of the Smart Data Factory technology transfer lab and coordinator of the In2Data research group, Calvanese bridges academic research with industry applications, focusing on practical implementations of knowledge graph technologies. His work with the KRDB Research Center has established Bozen-Bolzano as a significant hub for knowledge representation and data management research in Europe.
Dr. Ali Kashani is a Senior Lecturer at the University of New South Wales (UNSW) within the School of Civil and Environmental Engineering. His research focuses on sustainable and low-carbon concrete materials, robot-aided construction (particularly 3D printing), and Circular Economy-aligned applications. Leadership in cementitious materials innovation Expertise in 3D printing for construction Advocate for waste valorisation and carbon capture Dr. Kashani has secured approximately $7 million in research funding and holds a patent in lightweight concrete foam. His work spans 70+ publications with 9,000+ citations, including media coverage in the Sydney Morning Herald and The Fifth Estate. He actively contributes to professional organizations such as MECLA, RILEM, and ASTM. Recent research trends include AI and optimization algorithms for sustainable concrete mix design, chloride diffusion modeling, and 3D printing performance analysis. His publications often address waste material integration, durability assessment, and eco-friendly construction practices. Scientific Awards: National and NSW Awards for 'Excellence in Concrete' (Technology and Innovation) from the Concrete Institute of Australia Churchill Fellowship for Digital Construction and 3D Printing sponsored by AVJennings Dr. Kashani serves as Co-Chair of the cement and concrete working group at MECLA and contributes to RILEM and ASTM committees. His email is ali.kashani@unsw.edu.au , and his office is located in the Civil Engineering Building (H20), Level 2, Room CE204, UNSW.
Nathaniel Nucci is an Associate Professor at Rowan University's College of Science & Mathematics, jointly appointed in the Department of Biological & Biomedical Sciences and Physics & Astronomy. His research bridges biophysics, structural biology, and nanotechnology to understand protein behavior in confined environments. Education Ph.D., Biochemistry and Molecular Biophysics, University of Pennsylvania M.S., Biochemistry and Molecular Biology, University of New Hampshire B.S., Biochemistry and Molecular Biology, University of New Hampshire Research Interests Dr. Nucci's lab focuses on: Protein biophysics in crowded/confining environments Reverse micelle technology for biomolecular studies Hydration dynamics of proteins (NMR-based methods) Structural biology of disease-related proteins (PHDs, p53) Drug delivery systems for protein therapeutics Nanoparticle synthesis with protein conjugation Research Trends His recent publications demonstrate expertise in using reverse micelles to study: Protein structural stability under confinement Hydration dynamics of therapeutic proteins Microenvironmental effects on phase-separating proteins Conformational changes in GPCRs Interfacial interactions in biomolecular systems Scientific Awards Gary J. Hunter Excellence in Mentoring Award (2024) College of Science and Mathematics Excellence in Academic Student Support (2022) Teaching Philosophy Emphasizes applied and experiential learning, integrating recent scientific discoveries into classroom practice and promoting hands-on scientific investigation.
Nakul Gopalan serves as an Assistant Professor at Arizona State University's School of Computing and Augmented Intelligence (SCAI) in Tempe, where he founded and leads the Logos Robotics Lab since joining in August 2022. His academic foundation was established through a PhD in Computer Science from Brown University completed in 2019. Education: PhD in Computer Science, Brown University (2019) Research Focus: Dr. Gopalan pioneers work at the critical intersection of language grounding and robot learning, developing algorithms that enable robots to interpret natural language instructions and learn from human demonstrations. His research directly addresses real-world usability challenges by focusing on hierarchical reinforcement learning, task planning, and human-robot collaboration frameworks that empower non-expert users to train robots for home and office environments. Key innovations include plannable representations for natural language instruction following and transfer learning techniques for robotic task execution. Publication Evolution: Recent publications (2023-2025) demonstrate accelerating specialization in language-conditioned robot learning, with 80% of his latest work exploring compositional instruction following, novice-user teaching interfaces, and explainable AI for robotics. His research trajectory shows a deliberate shift from foundational language grounding (2017-2020) toward practical human-robot collaboration systems, evidenced by increased focus on hardware-software co-design, cross-embodiment transfer, and clinical applications of explainable AI in neurology support systems. Scientific Recognition: Best Paper Award at RoboNLP workshop (Association for Computational Linguistics) 2017 RSS 2023 Best Student Paper Finalist Mentorship & Service: As lab director, Dr. Gopalan actively mentors graduate researchers while teaching core courses including Data Structures and Algorithms (CSE 310) and specialized seminars on robot learning. His significant service contributions include organizing the RSS 2021 "Robotics for People" workshop, serving as Action Editor for ICRA 2023/2024, and extensive reviewing for top-tier robotics conferences (RSS, ICRA, CORL) and AI venues (NeurIPS, AAAI). Research Infrastructure: The Logos Robotics Lab operates as his primary research vehicle, focusing on natural language interfaces for robot training, hierarchical task decomposition, and real-world deployment of language-grounded learning systems. Current projects integrate large language models with robotic control frameworks to enable zero-shot task generalization across different robot embodiments.
Prof. Dr. Michael Horn-von Hoegen is a full professor in the Faculty of Physics at the University of Duisburg-Essen , Germany. His research focuses on ultrafast structural dynamics , surface physics , and 2D materials , particularly using electron diffraction and plasmonic imaging techniques. He leads the Horn-von Hoegen Group , which plays a central role in the Collaborative Research Center CRC 1242 Non-Equilibrium Dynamics of Condensed Matter in the Time Domain , where his team investigates driven phase transitions and phonon systems with sub-femtosecond temporal resolution. Location: Office Window MF260, Faculty of Physics, Lotharstr. 1-21, 47057 Duisburg Contact: Tel. +49 (203) 379 1439 | Fax +49 (203) 379 1555 His research spans ultrafast electron diffraction of photo-induced phase transitions in atomic wires and topological materials , with recent breakthroughs on Kibble-Zurek dynamics in the Si(001) surface and chiral plasmon polaritons . The group’s 15 most recent publications (2025-2022) address phenomena such as negative thermal expansion in 2D materials , electron-phonon coupling in Pb/Si heterostructures , and quantum pathway analysis in Bismuth films . These works are categorized under disciplines like Condensed Matter Physics , Nanooptics , and Ultrafast Dynamics , with subfields including Ising Model Transitions , Plasmon Focusing , and Time-Resolved Diffraction . Prof. Horn-von Hoegen serves as DFG Liaison Officer for the University of Duisburg-Essen, providing guidance on Deutsche Forschungsgemeinschaft (DFG) proposals . His group has mentored notable researchers including Dr. Simon Sindermann (postdoc at IBM), Dr. Anja Hanisch-Blicharski (Leopoldina Fellow), Dr. Hichem Hattab (Leopoldina Fellowship), and Dr. Marin Petrovic (Humboldt Fellow). The group’s laboratory facilities include advanced ultrafast electron diffraction and photoemission microscopy systems, enabling studies of atomic-scale processes such as molecular dynamics simulations of laser-excited surfaces and domain wall motion in Si(553)-Au systems .
Pamela Pollet is a faculty member at the Georgia Institute of Technology, specializing in the Department of Chemistry. Her academic work focuses on green chemistry, sustainable processes, chemical education, and flow chemistry. BSc : University of Rouen, France (1994) PhD : Chemistry, University of Rouen, France (2011) Post-doctoral Fellow : University of Bradford, UK (1998); Georgia Institute of Technology, USA (1999) H.D.R : Chemistry, University of Rouen, France (2011) Pollet’s research spans chemical safety, sustainable chemistry, catalysis, and smart solvents. She emphasizes green chemistry & sustainability, integrating undergraduate research into her projects. Her work also explores continuous flow technology for scalable chemical processes and education-focused innovations, including sustainability practices and equity in chemical sciences. Her recent publications highlight trends in chemical education (e.g., active learning in organic chemistry), green chemistry (e.g., CO2-responsive materials), and flow chemistry (e.g., continuous flow polymerization and catalytic reactions). These works reflect interdisciplinary collaboration, industry partnerships, and sustainable methodologies. Scientific Awards: GaTech Safety Ambassador Award, 2017 Vasser-Wooley Excellence in Teaching Award, 2017 Geoffrey G. Eichholz Faculty Teaching Award, 2020 University System of Georgia Chancellor Learning Scholar, 2021 Student Recognition of Excellence in Teaching CIOS Honor Roll, 2022–2024 Class of 1934 Outstanding Innovative Use of Education Technology Award, 2024 Pollet actively contributes to chemical education and laboratory safety , with grants and partnerships focused on academic-industry collaborations (e.g., the Partners in Lab Safety initiative) and educational technology integration.
Niklas Rorsman is a Research Professor at the Microwave Electronics group, part of the Department of Microtechnology and Nanoscience at Chalmers University of Technology . His work focuses on advanced semiconductor devices, particularly gallium nitride (GaN) and silicon carbide (SiC) high-electron-mobility transistors (HEMTs) for microwave and cryogenic applications. Expertise : Semiconductor device physics, microwave electronics, cryogenic transistor characterization Key Technologies : GaN HEMTs, SiC MESFETs, graphene FETs Rorsman's research investigates trapping effects, thermal management, and material optimization in GaN/SiC devices. Recent studies explore field plates for cryogenic stability, recessed ohmic contacts, and high-κ dielectric interfaces. His publications demonstrate a focus on improving device linearity, noise performance, and reliability through structural and process innovations. Selected trends in his work include: Cryogenic GaN HEMTs with superconducting Nb gates Buffer-free AlGaN/GaN heterostructures for high breakdown voltage Graphene integration for millimeter-wave communication systems Advanced SiNx passivation and gate stack engineering Contact: niklas.rorsman@chalmers.se
Mathieu Sauthier is a Professor at the University of Lille, affiliated with the National School of Chemistry of Lille and the Unit of Catalysis and Solid State Chemistry (UCCS). His research focuses on homogeneous catalysis for organic synthesis, emphasizing atom efficiency, greener chemistry, and polyol valorization. He specializes in carbon monoxide and 1,3-butadiene chemistry, including carbonylative Suzuki couplings, hydroformylation, alkoxycarbonylation, and domino reactions under one-pot conditions. His work targets catalyst improvements for activity (TOF), selectivity, and lifetime (TON) while minimizing synthetic steps. 2011–Present: Professor, University of Lille 2002–2011: Assistant Professor, University of Lille 2001–2002: Postdoctoral Researcher, University of Amsterdam 1998–2001: Ph.D. in Homogeneous Catalysis, University of Rennes 1997–1998: Master’s in Porphyrin Synthesis, University of Burgundy His research portfolio includes innovative approaches to domino carbonylative reactions for constructing complex molecules, selective 1,3-butadiene etherification, and nickel-catalyzed hydroalkoxylation for agro-based polyol valorization. He has contributed to nonconventional reaction media in catalysis, such as biphasic aqueous systems and ionic liquids, and has co-authored book chapters on carbohydrate chemistry and C-1 building blocks in organic synthesis. The trends in his publications highlight sustainable methodologies using nickel and palladium catalysts for bioresource conversion (e.g., lignin, sorbitol, glycerol), with a strong emphasis on atom economy and clean reaction conditions. His work spans catalyst design, mechanistic studies, and industrial applications. Professor Sauthier is based at the National School of Chemistry of Lille, Scientific City, Building C7, France. He is part of the UCCS unit, a collaborative research environment associated with CNRS (UMR 8181) and partners like Universiteit van Amsterdam. His laboratory, CASECO (Catalysis and Eco-Compatible Synthesis), drives innovations in greener chemistry.
Jennifer Golden is an Associate Professor in the Department of Pharmaceutical Sciences at the School of Pharmacy , University of Wisconsin-Madison . Her research focuses on synthetic medicinal chemistry to develop novel antiviral and anti-parasitic agents for diseases like alphavirus infections and kinetoplastid parasites. The Golden Lab emphasizes chemical methodology development and structure-activity relationship analysis through collaborations assessing compound efficacy in cell and animal models . Research Projects Quinazolinone Rearrangement: Developing synthetic transformations for amidine formation and ring-fused scaffolds. Anti-Alphaviral Agents: Creating FDA-approved therapeutic candidates for mosquito-borne RNA viruses. Broad-Spectrum Antiparasitics: Optimizing compounds for malaria, African sleeping sickness, and leishmaniasis. Publications highlight her work on ML336 (anti-VEEV), quinazolinone derivatives , and collaborations with experts in high-throughput screening and structural biology . Her lab trains students in hit-to-lead optimization , regioselective synthesis , and medicinal chemistry tactics . Education: B.S. (1996) – Eastern Illinois University Ph.D. (2002) – University of Kansas Postdoctoral Research (2004) – Stanford University
Timothy G. Strein is a Professor of Analytical Chemistry at Bucknell University, where he also held a Presidential Professorship from 2014-2017. He earned his B.S. from North Carolina State University in 1988 and his Ph.D. from Penn State University in 1992, working on electrochemistry at microvoltammetric electrodes with Dr. Andrew G. Ewing. Following a Camille and Henry Dreyfus Postdoctoral Fellowship at Bucknell (1992-1994), he joined the chemistry faculty where he has served as Department Chair (2010-2014), Acting Chair (2006-2007), and Graduate Coordinator (1998-2006, 2015-). His educational background includes: B.S. in Chemistry from North Carolina State University (1988) Ph.D. in Chemistry from Penn State University (1992) Camille and Henry Dreyfus Postdoctoral Fellowship at Bucknell University (1992-1994) Professor Strein's research focuses on bioanalytical chemistry, with particular expertise in capillary electrophoresis (CE), bile salt micelle structure, chiral separations, aqueous NMR spectroscopy, and isothermal titration calorimetry (ITC). His current work (2025) centers on developing rapid, inexpensive methods for chiral separations using CE, investigating the mechanisms that give rise to chiral separations with bile salt micelles by MEKC-CE, and the underlying thermodynamics driving chiral selection. He also conducts collaborative research using NMR to study bile micelle structure and ICP-MS to determine lithium ion concentrations in human blood, correlating endogenous Li levels with neurological health issues. Analysis of his recent publications (2005-2023) reveals a strong focus on chiral separations using bile salt micelles, with particular emphasis on understanding the molecular mechanisms of chiral recognition. His work spans analytical methodology development, fundamental studies of micellar structure, and applications in bioanalysis. The interdisciplinary nature of his research is evident in publications spanning chemistry, biochemistry, materials science, and medical applications. His scientific recognition includes the Henry Dreyfus Teacher/Scholar Award (TH-98-025). His external funding portfolio demonstrates sustained research support: George I. Alden Trust (2025-2030): $150,000 for HPLC instrumentation Bucknell-Geisinger Research Initiative (2024-2025): $20,000 for lithium concentration studies NSF-ROA Supplement (2021-2022): $29,600 for CE-MS interface development NSF-RUI Grant (2018-2021): $211,552 for chiral separation mechanisms Multiple previous NSF, NIH, and private foundation grants totaling over $1.5 million Professor Strein has mentored numerous undergraduate and MS students, many of whom have gone on to successful careers in academia, industry, medicine, and government. His teaching encompasses analytical chemistry, chemical equilibria, instrumental analysis, forensic chemistry, and general chemistry. He has served the department in various leadership roles and promotes undergraduate research as a central component of his scholarly activities.
Allison Sullivan is an Assistant Professor of Computer Science at the University of Texas at Arlington (UTA), where she also serves as the Undergraduate Software Engineering Program Director. She is a member of the Software Engineering Research Center (SERC) at UTA and serves as faculty advisor for UTA's Society of Women Engineers (SWE) club. Dr. Sullivan received her PhD in Software Verification, Validation and Testing (SVVAT) from the University of Texas at Austin in 2017 under Sarfraz Khurshid. Her educational background includes: PhD in Software Verification, Validation and Testing, University of Texas at Austin (2017) M.S. in Software Engineering, University of Texas at Austin (2014) B.S. in Software Engineering, University of Texas at Dallas (2012) Dr. Sullivan's research focuses on two primary areas: Automated Software Engineering : Test/Oracle Generation, Automated Bug Localization and Repair, Mutation Testing, and Regression Testing Formal Methods and Programming Languages : Abstractions, Finite Model Finders, Program Synthesis, and SAT/SMT Solvers She leads the SCOPE lab which focuses on 'showing the correctness of all program executions' and has published extensively on Alloy modeling language applications. Her recent publications demonstrate a strong focus on applying formal methods to software engineering problems, with a growing emphasis on the intersection of large language models and software development practices. Her work spans theoretical foundations, tool development, and empirical studies of how developers use modeling languages. Her scientific achievements have been recognized with: NSF CAREER Award (2024) UTA CSE department Rising Star Research Award (2024) UTA College of Engineering Outstanding Early Career Faculty Award (2025) NSF grant for building an educational tool for software modeling ($400k) Dr. Sullivan has successfully advised two PhD students to completion: Dr. Ana Jovanovic (defended November 2024) and Dr. Anahita Samadi (defended February 2025). She actively mentors undergraduate researchers and has secured significant research funding including the NSF CAREER grant. Her service includes committee roles for major conferences including ASE, ISSRE, and FormaliSE. She leads the SCOPE lab at UTA, which brings together graduate and undergraduate researchers to develop techniques for improving software verification and validation, with particular emphasis on making formal methods more accessible to practitioners.
