Shoudong Huang is a Professor at the School of Mechanical and Mechatronic Engineering , University of Technology Sydney, and Deputy Director of the UTS Robotics Institute. His research focuses on mobile robot navigation , SLAM , nonlinear state estimation , and surgical robotics . He has published over 200 papers and is recognized as one of the 100 Most Influential Scholars in Robotics (Aminer, 2018). PhD in Automatic Control, Northeastern University (China) Postdoctoral Research Fellow, University of Hong Kong (1998-2000) Research Fellow, Australian National University (2001-2003) Full-time academic roles at UTS since 2004 His work addresses challenges in robot localization across extreme environments (underwater, underground mining, surgical settings) and develops globally optimal SLAM algorithms with guaranteed performance. He has secured over $4 million AUD in external funding, including ARC Discovery grants and industry partnerships. Recent publications emphasize cross-modal calibration (camera-LiDAR), interval analysis for bounded noise , and template-based deformable surface reconstruction . These span applications in autonomous driving, surgical navigation, and UAV guidance. Chancellor’s Medal for Research Excellence (2020) Supervisor of the Year (2023) Best Paper Award (2016 ICARCV) Huang serves as Associate Editor for IEEE Transactions on Robotics and International Journal of Robotics Research , and has held leadership roles in top robotics conferences like IROS and RSS. His collaborations span MIT, USC, Zhejiang University, and industry partners including PMSW Research Pty Ltd and Multiplex Constructions Pty Ltd.
Huan Zhang serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC), with affiliate appointments in the Department of Computer Science and the Coordinated Science Laboratory. His research focuses on building trustworthy AI systems with formal verification techniques to provide provable guarantees for safety-critical applications, particularly in machine learning and neural networks. Dr. Zhang received his Ph.D. in Computer Science from UCLA in 2020, advised by Professor Cho-Jui Hsieh. His academic journey includes an M.S. in Computer Engineering from UC Davis (2014) and a Bachelor of Engineering from Zhejiang University (2012). Prior to joining UIUC, he completed a postdoctoral fellowship at Carnegie Mellon University (2021-2023) with Professor Zico Kolter. Huan Zhang's research program centers on formal verification of machine learning systems, with particular emphasis on neural network verification, AI safety, robustness, and reliability. He pioneered the linear bound propagation-based verification framework that enables formal verification for networks with millions of neurons. His work spans five major research categories: formal verification of machine learning, training trustworthy ML models, machine learning safety and adversarial attacks, reinforcement learning safety, and optimization for scalable machine learning. His CROWN framework (NeurIPS 2018) established a foundational approach for neural network verification through efficient linear bound propagation. His recent publications demonstrate a strategic expansion from foundational verification techniques toward increasingly complex systems including large language models, vision-language models, and robotic control systems. The research trajectory shows a clear progression from theoretical frameworks to practical implementations with real-world applications, particularly in safety-critical domains. His work increasingly bridges formal methods with practical AI deployment requirements. Winner of International Verification of Neural Networks Competition (VNN-COMP) as team leader (2021-2024) Schmidt Futures AI2050 Early Career Fellowship ($300,000 research grant) Adversarial Machine Learning (AdvML) Rising Star Award (2021) IBM PhD Fellowship (2018) Dr. Zhang leads the development of α,β-CROWN, a neural network verifier that has won VNN-COMP 2021-2023, and auto_LiRPA, a PyTorch-based library for perturbation analysis on general computational graphs. He has mentored numerous graduate students from CMU, UCLA, UIUC, and Columbia University. His research is supported by significant funding including the Schmidt Futures fellowship and industry collaborations. He teaches courses including ECE 120, ECE 484, ECE 584, and ECE 598 HZ on topics ranging from computing fundamentals to safe autonomy and machine learning. Dr. Zhang maintains active research collaborations across multiple institutions and is affiliated with UIUC's Coordinated Science Laboratory. His work has significant implications for safety-critical AI applications in autonomous systems, healthcare, and other mission-critical domains where reliability guarantees are essential. He regularly gives guest lectures at institutions including Yale, Stony Brook, and the University of Nebraska Lincoln on formal verification techniques.
Karen I. Winey serves as the Harold Pender Professor in the Department of Chemical and Biomolecular Engineering and Materials Science and Engineering at the University of Pennsylvania's School of Engineering and Applied Science. Her research group employs experimental and computational tools to investigate advanced polymers for energy applications, particularly focusing on proton and ion conductivity for fuel cells and batteries within the Laboratory for Research on the Structure of Matter (LRSM). Dr. Winey's research encompasses: Designing functional polymers to improve proton, hydroxide, and ion conductivity Studying polymer nanocomposites and nanoparticle dynamics in electrochemical devices Developing polymer-to-polymer upcycling methods to convert waste polyolefins to higher value polymers Revolutionizing understanding of ionomer morphologies beyond traditional spherical aggregate models Her recent publications reveal significant advances in sustainable energy materials, particularly fluorine-free alternatives to conventional polymer electrolytes. The research spans fundamental studies of ion transport mechanisms in precisely engineered polymers to practical applications in energy devices. A critical focus is understanding how nanoscale morphology affects macroscopic properties, with particular attention to structure-property relationships in ion-conducting polymers for fuel cells and batteries. Scientific recognition includes: 2025 Turner J. Alfrey Visiting Professor Harold Pender Professorship (endowed chair) NSF DMR Polymers grant awarded July 2025 Dr. Winey actively mentors a diverse research group including PhD students, postdoctoral researchers, and undergraduates. Her lab recently welcomed six summer undergraduates and has celebrated numerous student achievements including qualifying exam successes and award-winning presentations. Current major projects include the Port5 collaboration and the PolyUp project focused on polymer upcycling through dehydrogenation and functionalization strategies. The Winey Group operates within Penn's state-of-the-art Vagelos Laboratory for Energy Science and Technology (VLEST), maintaining active collaborations with institutions including the University of Konstanz in Germany, Florida State University, and Michigan State University. The group regularly hosts international visitors and participates in major conferences including the APS Global Physics Summit.
Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.
Ewain Gwynne is a Professor of Mathematics at the University of Chicago, affiliated with the Committee on Computational and Applied Mathematics (CCAM) and the Statistics Department. He previously held postdoctoral positions at the University of Cambridge and earned his Ph.D. from MIT in 2018 under Scott Sheffield. His research focuses on probability theory, particularly random geometric structures in statistical mechanics, including Schramm-Loewner evolution (SLE), Liouville quantum gravity (LQG), and random planar maps. Education: Ph.D. in Mathematics, MIT (2018); M.Sc., MIT (2015); B.Sc., Northwestern University (2013). Research Interests: Random geometric objects in statistical mechanics Liouville quantum gravity and its metric properties Random planar maps and their scaling limits SLE and its relationship with LQG Random walks on random planar maps Percolation and permutons His recent articles explore topics such as supercritical LQG, Gaussian curvature on random maps, and harmonic balls in LQG. He has advised multiple Ph.D. students and serves as an associate editor for Probability and Mathematical Physics . His work bridges probability theory, geometry, and mathematical physics, with applications to understanding critical phenomena in random systems.
Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.
Michael O'Boyle is a Professor at the University of Edinburgh's School of Informatics, where he serves as Director of the ARM Research Centre of Excellence and the EPSRC Centre for Doctoral Training in Pervasive Parallelism. Holding an EPSRC Established Career Research Fellowship, he leads pioneering work in compiler technology for heterogeneous architectures, bridging theoretical advances with practical high-performance computing applications. Professor O'Boyle's research spans multiple cutting-edge areas including heterogeneous code discovery and optimization, neural machine translation for program synthesis, deep neural network system stack optimization, software-defined hardware, and compiler/architecture co-design. His approach integrates constraint analysis, program synthesis, and machine learning to address complex challenges in high-performance computing across diverse hardware platforms. His recent publications reveal a strong trend toward integrating machine learning with traditional compiler techniques, particularly in neural program synthesis, tensor optimization, and architecture-aware compilation. This work represents a paradigm shift in compiler design, moving from rule-based systems to learning-based approaches that can automatically adapt to diverse hardware targets. IEEE/ACM CGO 2025 Distinguished Paper Award for 'Tensorize: Fast Synthesis of Tensor Programs from Legacy Code' IEEE/ACM CGO 2024 Test of Time Award ACM GPCE 2023 Best Paper Award for 'C2TACO: Lifting Tensor Code to TACOM' ACM ASPLOS 2021 Distinguished Paper Award IEEE HPCA 2021 Best Paper Award for 'Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads' Professor O'Boyle has successfully mentored numerous PhD students who have secured prominent positions in academia (including at Cambridge, Edinburgh, Leeds, and McGill) and industry (including Meta, NVIDIA, Qualcomm, Huawei, and Microsoft). His research is supported by significant funding from EPSRC, ARM, and European projects including Bonseyes and Transmuter, demonstrating strong international recognition and industry impact. He leads the influential Compiler and Architecture Design (CArD) Group at the University of Edinburgh and is a founder of the HiPEAC Network of Excellence, which has grown into a major European initiative connecting researchers and practitioners in high-performance and embedded computing.
Rina Dechter is a Professor of Computer Science at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information and Computer Sciences (ICS). She specializes in automated reasoning, probabilistic and constraint-based graphical models, and causal inference. Dechter has held leadership roles, including Co-Editor-in-Chief of Artificial Intelligence since 2011 and editorial board memberships in journals such as the Constraint Journal and Journal of Machine Learning Research . Education : Ph.D., Computer Science, University of California, Los Angeles (UCLA) M.S., Applied Mathematics, Weizmann Institute B.S., Mathematics and Statistics, Hebrew University of Jerusalem Research Interests : Dechter’s work focuses on computational aspects of automated reasoning, constraint processing, probabilistic reasoning, and causal inference. She develops efficient algorithms for graphical models, emphasizing tractable reasoning tasks and anytime search strategies. Her recent projects include causal decision-making frameworks funded by a $5M NSF grant. Awards : Presidential Young Investigator Award (1991) AAAI Fellow (1994) ACP Research Excellence Award (2007) ACM Fellow (2013) Elected to the American Academy of Arts & Sciences (2025) Grants & Collaborations : She leads a multi-institutional NSF-funded project on causal foundations of AI decision-making. Her work emphasizes trustworthiness in AI through causal models, with applications in robotics and public health.
Rebecca Schulman is an Associate Professor in the Department of Chemical and Biomolecular Engineering at the Whiting School of Engineering, Johns Hopkins University. She holds secondary appointments in Chemistry and Computer Science and is affiliated with multiple interdisciplinary institutes, including the Institute for NanoBioTechnology, the Hopkins Extreme Materials Institute, the Chemistry-Biology Interface Program, the Center for Cell Dynamics, and the Laboratory for Computational Sensing and Robotics. She currently co-directs the Passport to Future Technology Leadership program for PhD students. Research Interests: Schulman's research lies at the intersection of DNA nanotechnology, synthetic biology, and smart materials. Her group develops intelligent, adaptive biomolecular materials and nanostructures by integrating concepts from materials science, biochemistry, circuit design, and soft matter physics. The team focuses on engineering dynamic self-assembly processes using DNA to create reconfigurable materials, molecular circuits, and autonomous soft micro-robots. Key themes include self-healing nanostructures, feedback-regulated crystallization, programmable hydrogels, and synthetic genetic networks for materials control. Publication Trends: Her recent publications demonstrate a consistent focus on using DNA-based chemical reaction networks to program spatial and temporal behavior in materials. The work spans from fundamental mechanisms like catalytic polymerization and crystal growth regulation to applications in soft robotics, self-wiring circuits, and synthetic pattern formation. The research is highly interdisciplinary, combining synthetic biology with materials engineering to achieve life-like functionalities in non-living systems. Scientific Awards: AIMBE Fellowship Award Vannevar Bush Faculty Fellowship Award Hartwell Individual Biomolecular Research Award President’s Early Career Award in Science and Engineering (PECASE) DARPA Young Faculty Award DARPA Directors Fellowship NSF CAREER Award Turing Scholar Award DOE Early Career Award Advising and Grants: Schulman mentors graduate students and leads a vibrant research group focused on next-generation biomolecular engineering. Her work is supported by major federal grants, including the NSF CAREER, DOE Early Career, DARPA, and the Vannevar Bush Fellowship—a prestigious Department of Defense award for basic research. She is actively involved in training future leaders through programs like the Passport to Future Technology Leadership. Labs and Teams: The Schulman Lab at Johns Hopkins is a multidisciplinary team working on DNA-powered materials and molecular programming. The lab is embedded within several collaborative centers, enabling strong cross-departmental and cross-institutional research. Their work combines experimental biochemistry with theoretical modeling to design and implement complex molecular systems.
Prof. Dr. Nina Gantert is a distinguished Professor of Probability Theory at the Technical University of Munich (TUM) , affiliated with the TUM School of Computation, Information and Technology . She has held faculty positions at Karlsruhe Institute of Technology and the University of Münster prior to joining TUM in 2011. Her research focuses on probability theory , particularly stochastic processes , large deviations , and random media . She investigates random walks in random environments as models for transport in disordered systems and explores applications in physics and biology . Recent publications highlight her work on branching random walks , mixing times , biased random walks , and large deviation principles for complex stochastic systems. She has co-authored studies on random walks in dynamical percolation , interacting edge-reinforced processes , and extremal point processes in branching models. Scientific Awards: Elected fellow of the IMS (2016) Her academic career spans institutions including ETH Zürich, University of Bonn, Technical University of Berlin, and TUM. She has supervised numerous Bachelor’s and Master’s theses on topics ranging from mixing time analysis to percolation theory , often collaborating with international co-authors.
Sergio Moreno Gil is a Professor in the Department of Economics and Business Management at Universidad de Las Palmas de Gran Canaria (ULPGC), Spain. He is affiliated with the GIR TIDES research group (Economy, Environment, Sustainability and Tourism) and the Institute of Tourism and Sustainable Economic Development. His academic work focuses on tourism economics, marketing, and sustainability within the Social and Legal Sciences branch. Dr. Moreno Gil's research interests span across multiple dimensions of contemporary tourism. His primary focus areas include sustainable tourism development, destination marketing, sharing economy platforms in tourism, and consumer behavior analysis. He has made significant contributions to understanding tourism in the Canary Islands, particularly through his work with the Canary Islands Tourism Observatory. His research integrates traditional tourism studies with emerging fields like neurotourism and biometric analysis of tourist experiences. His publication record shows a clear trend toward addressing contemporary challenges in tourism. Recent works focus on sustainability in mass tourism destinations, the impact of sharing economy platforms, gastronomic tourism marketing, and collaborative tourism networks. His research demonstrates a strong methodological diversity, employing bibliometric analysis, social network analysis, and empirical studies of tourist behavior. Dr. Moreno Gil has been actively involved in the Canary Islands Tourism Observatory, contributing to annual reports on tourism sustainability in the region. His collaborative work spans across the Ibero-American region, with numerous co-authorships reflecting international research networks in tourism studies.
Catherine Pinel is a Research Director (DR2) at the Institute for Research on Catalysis and Environment of Lyon (IRCELYON, UMR 5256), a joint research unit of the French National Center for Scientific Research (CNRS) and Claude Bernard University Lyon 1. She has held this senior research position since October 2008, following progression from CR1 (1998-2008) and CR2 (1994-1998) roles at the same institution. Her academic journey includes postdoctoral research at Cambridge University (1992-1993) under Professor S.V. Ley and with Professor M. Lemaire (1993-1994). Her educational foundation includes: Diplôme Universitaire de Technologie in Chemistry from Paris XI University (1986) Engineering Degree from École Nationale Supérieure de Chimie de Paris (1989) Advanced Studies Diploma in Organic Chemistry from Paris VI University (1989) PhD in Organic Chemistry from Paris VI University (1992) on chiral ruthenium complexes and enantioselective reductions Habilitation à diriger des recherches from Lyon I University (1999) on catalysis and fine chemistry Dr. Pinel's research pioneers sustainable catalytic processes with emphasis on biomass valorization, green chemistry, and heterogeneous catalysis. Her work bridges fundamental catalyst design with industrial applications, particularly in hydrogenation, oxidation, and biorefinery processes. Current focus areas include catalytic conversion of biomass-derived platform molecules (glucose, succinic acid, polyols), development of bimetallic catalysts, and valorization of hemicellulose streams. Her approach integrates advanced catalyst characterization with reaction engineering to create environmentally benign chemical transformations. Analysis of her recent publication trajectory (2019-2025) reveals evolving expertise from fundamental organometallic chemistry toward applied sustainable catalysis. Key trends include increasing focus on biomass-derived feedstocks (glucose, succinic acid, polyols), development of metal-carbide/nitride catalysts, and optimization of aqueous-phase reactions for industrial biorefineries. Her work demonstrates strong interdisciplinary collaboration across catalysis, materials science, and green chemistry, with growing emphasis on circular economy principles and renewable chemical production. No scientific awards were explicitly mentioned in the source materials. Dr. Pinel actively contributes to academic training through graduate instruction at University of Lyon (Master 2 'Catalysis and Physical Chemistry' since 2007) and University of Savoie (M2 courses in New Catalysts in Organic Chemistry since 1999 and Coordination Chemistry since 2012). While specific grant details aren't provided, her extensive publication record across high-impact journals indicates sustained research funding. She maintains collaborative networks within IRCELYON and internationally, particularly in biomass conversion and catalyst characterization. As a core researcher at IRCELYON (celebrating 60 years of catalysis research in 2021), she operates within a world-class facility housing specialized equipment for catalyst synthesis, characterization (including in situ techniques), and testing. Her work aligns with the institute's focus on sustainable catalysis for energy transition, air/water depollution, and biomass valorization, contributing to France's strategic research priorities in green chemistry.
Amilcare Porporato is the Thomas J. Wu '94 Professor of Civil and Environmental Engineering at Princeton University, with joint appointment at High Meadows Environmental Institute. His research integrates hydrology, ecology, and thermodynamics to study soil-water interactions and sustainable resource management. Education includes: Ph.D. Polytechnic of Milan (1996) M.S. Civil Engineering, Polytechnic of Milan (1992) Research explores nonlinear hydrologic systems, soil moisture dynamics, ecohydrology, and environmental complexity using theoretical and experimental approaches. His work advances understanding of water-biota interactions across scales from pore-level processes to landscape evolution. Honors and Awards: Hydrologic Sciences Award, AGU Borland Lecturer American Geophysical Union Fellow Inaugural Landolt Chair, EPFL Teaches courses on Environmental Thermodynamics (ENV 385/CEE 385) and Ecohydrology (CEE 587/ENV 587).
Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .
Archon Fung is the Winthrop Laflin McCormack Professor of Citizenship and Self-Government at the Harvard Kennedy School. His research focuses on policies and institutional designs that enhance democratic governance, particularly in areas of public participation, deliberation, and transparency. He co-directs the Transparency Policy Project and leads democratic governance programs at the Ash Center for Democratic Governance and Innovation. Fung has authored five books, including Full Disclosure: The Perils and Promise of Transparency and Empowered Participation: Reinventing Urban Democracy , and over fifty articles. He holds degrees from MIT: two S.B. degrees in philosophy and physics, and a Ph.D. in political science. Affiliations: Director of the Ash Center, Faculty Associate of the Ethics Center, Member of the Faculty Committee since 2009. Research Interests: Democratic innovation, participatory governance, transparency in public policy, and institutional design for equitable decision-making. His recent work explores democratic erosion, AI's impact on elections, and inclusive governance frameworks. Fung teaches courses on participation, ethics, and social innovation at the Harvard Kennedy School. He co-founded Participedia, a global platform documenting participatory governance practices. Sponsored projects include initiatives on institutional antiracism, transparent engagement, and sustainable governance reforms. His work emphasizes bridging theory and practice to strengthen democratic institutions globally.
