Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Prof. Dr. Stefanie Hellweg serves as a Full Professor for Ecological Systems Design at the ETH Zürich , Department of Civil, Environmental and Geomatic Engineering. She is Deputy Head of the Institute of Environmental Engineering and leads groundbreaking research at the intersection of industrial ecology, life cycle assessment, and circular economy systems. PhD in Environmental Engineering (ETH Zürich, 2000) Industrial Engineering Degree (Karlsruhe University, 1996) Her research develops advanced methodologies for environmental impact assessment of products and technologies, focusing on: Life Cycle Assessment (LCA) with correlated uncertainty modeling Circular economy implementation in chemical and energy sectors Industrial symbiosis optimization for heat and nutrient flows Urban wastewater systems redesign for resource recovery Chemical pollution analysis in plastic materials Key publication trends reveal expertise in: Hybrid wastewater treatment systems Energy-efficient greenhouse cultivation Exergy analysis for sustainability metrics Machine learning applications in environmental modeling Policy-relevant industrial ecology studies She actively participates in global sustainability initiatives as: President of the International Society of Industrial Ecology (ISIE) Member of UN Environment's International Resource Panel Editorial board member for leading environmental journals
Prof. Dr. Barbara Kraus is the Chair of Quantum Algorithms and Applications at the Technical University of Munich (TUM), affiliated with the TUM School of Natural Sciences. She previously held academic positions at the University of Innsbruck, where she founded her research group in 2010. Education : Physics and Mathematics at the University of Innsbruck; Post-doctoral work at MPI for Quantum Optics and University of Geneva. Her research focuses on foundational problems in quantum information theory, particularly entanglement in multipartite systems, quantum simulation, and verification of quantum processors. She develops theoretical tools for quantum many-body systems and explores applications in quantum computing, emphasizing error characterization and experimental validation. Recent publications highlight advancements in Hamiltonian learning, symmetry-resolved entanglement detection, and multipartite state transformations. Her work bridges theoretical quantum physics with practical implementations, including Rydberg platforms and quantum metrology. Key Awards : START Prize (2010), Ignaz L. Lieben Award (2013), Boltzmann Prize (2011), Südtiroler Sparkasse Research Prize (2019). She supervises doctoral students and postdocs in quantum information theory, with a focus on stabilizer states, quantum networks, and entanglement measures. Her courses at TUM include Quantum Information , Quantum Algorithms , and workshops on entanglement manipulation.
Assoc Prof Ying Chen is an Associate Professor at the National University of Singapore , affiliated with the Department of Mathematics, Asian Institute of Digital Finance (as Academic Director of PhD Program in Digital FinTech 2022–2024), Risk Management Institute (2019–2023), Department of Statistics and Data Science (2019–2023), and Department of Economics (2018–2023). She also contributes to NUS Graduate School for Integrative Sciences and Engineering since 2016. Research Interests include: AI forecasting and quantum computing for finance Nonstationary time series and functional data analysis Energy data analytics and precision medicine Network autoregression and spatial-temporal modeling Explainable AI and citation metrics Portfolio liquidation and market-making algorithms Article Trends demonstrate expertise in: Adaptive forecasting for gas flows and electricity prices Blockchain network influence detection Quantum computing applications in finance Functional autoregression with mixed predictors Credit rating fairness and explainability High-resolution implied volatility modeling Scientific Awards include: ISI Elected Member (2016–) International Statistical Institute Council (2023–2027) IASC Scientific Secretary (2017–2019, 2023–2025) Advisory roles for EU FIN-TECH and xAIM projects
Vaishak Belle is a Reader in Logic and Learning at the School of Informatics, University of Edinburgh, and serves as Director of Research and Innovation at the Bayes Centre (40% position). His academic career focuses on the critical intersection of artificial intelligence, formal logic, and machine learning systems. His research spans multiple domains within AI: Neurosymbolic AI integration approaches Logic-based machine learning frameworks Ethics, fairness, and responsibility in AI systems Generative AI and its societal impact Robotics with advanced reasoning capabilities Causal modeling and probabilistic reasoning Belle leads a research laboratory dedicated to advancing neurosymbolic AI, which combines the explainability of symbolic systems with the learning capabilities of neural networks. His recent work has explored abduction in logical frameworks, formal languages for AI safety, and the relevance of logic for general-purpose AI systems. He has made significant contributions to bridging the gap between theoretical AI foundations and practical applications. His publications demonstrate consistent focus on creating AI systems that can reason formally while learning from data, with applications ranging from robotics to ethical decision-making frameworks. His research addresses fundamental challenges in developing trustworthy, explainable AI that can operate safely in complex environments. Beyond technical research, Belle is actively engaged in AI education through executive programs on AI leadership and ethics, and has contributed to public understanding through his children's book "The girl and the robot" which explores human-robot relationships and emotional projection onto artificial agents. He maintains an active presence in the international AI research community, regularly participating in major workshops including Dagstuhl seminars on neurosymbolic AI, and collaborating with researchers across disciplines from computer science to philosophy.
Howard Elman is a Professor in the Department of Computer Science at the University of Maryland, with affiliations to the Institute for Advanced Computer Studies (UMIACS) and as an Affiliate Professor in the Department of Mathematics. His research spans numerical analysis, computational fluid dynamics, and uncertainty quantification, focusing on iterative solvers for partial differential equations. Education: PhD in Computer Science, Yale University (1982); BA in Mathematics, Columbia University (1975); Stuyvesant High School (1971) Elman's research integrates Scientific Computing with Numerical Linear Algebra , Computational Fluid Dynamics , and Uncertainty Quantification . His work addresses Stochastic Galerkin Methods , Reduced-Order Modeling , and Low-Rank Approximations for PDEs with random data. Recent publications emphasize Surrogate Models and Deep Learning in Bayesian inverse problems. His scientific awards include SIAM Fellowship (2009) and roles as Associate Editor for journals like Mathematics of Computation and SIAM Journal on Scientific Computing . He served as SIAM Editor-in-Chief (1998-2004) and Vice President for Publications. Contact: helman@umd.edu | Office: 4210 Iribe Center | Courses: AMSC/CMSC 460 Computational Methods
Aaron D. Ames is the Bren Professor of Mechanical and Civil Engineering, Control and Dynamical Systems, and Aerospace at the California Institute of Technology (Caltech). He serves as the Booth-Kresa Leadership Chair and Director of the Center for Autonomous Systems and Technologies since 2025. His academic journey includes a BS in Mechanical Engineering and BA in Mathematics from the University of St. Thomas (2001), followed by an MA in Mathematics and a PhD in Electrical Engineering and Computer Sciences from UC Berkeley (2006). Research Interests span theoretical and experimental work in hybrid systems, nonlinear control, and bipedal robotic locomotion. Specific focus areas include: Control Barrier Functions (CBFs) for safety-critical systems Powered prostheses and robotic assistive devices Legged locomotion for bipedal and quadrupedal robots Cyber-physical systems and autonomous control Model predictive control and real-time optimization Humanoid robotics and geometric safety filters Recent publications emphasize risk-aware control, safety verification, and locomotion on constrained environments, with applications to drones, exoskeletons, and quadrupedal robots. His work often integrates theoretical advancements with practical validation through the AMBER Lab. Scientific Awards & Honors : NSF CAREER Award (2010) Donald P. Eckman Award (2015) Leon O. Chua Award (2005) Bernard Friedman Prize (2006) Teaching includes graduate courses on nonlinear control, hybrid systems, and robotics at Caltech, alongside prior roles at Georgia Tech and Texas A&M. He leads the AMBER Lab (Bipedal Robotics) and has secured major grants from the National Science Foundation, NASA, and industry partners like Miso Robotics and SRI International.
Univ-Prof. Dr. med. Malek Bajbouj serves as Director of the Institute for Affective Neuroscience and Emotion Modulation at Charité – University Medicine Berlin's Campus Benjamin Franklin (CBF), operating within the Department of Neurology, Neurosurgery and Psychiatry (CC 15). His position integrates clinical leadership with translational neuroscience research focused on severe mental illnesses. Dr. Bajbouj's research program centers on affective neuroscience and emotion dysregulation mechanisms in psychiatric disorders, particularly schizophrenia spectrum conditions and depression. He pioneers multimodal intervention approaches combining neuromodulation (tDCS), oxytocin augmentation, mindfulness therapies, and digital health tools. His work emphasizes translational biomarker development using neuroimaging, machine learning, and physiological stress parameter analysis to personalize treatment for treatment-resistant populations. Analysis of his 2023-2025 publications reveals three dominant research trajectories: (1) novel treatment combinations for negative symptoms in schizophrenia (oxytocin + mindfulness, yoga therapy); (2) real-world implementation of neuromodulation (at-home tDCS protocols, technical efficacy monitoring); and (3) global mental health responses to crises (pandemic impacts on vulnerable groups, culturally adapted refugee interventions). His methodology consistently employs rigorous randomized controlled trials with embedded biomarker studies. As director of his eponymous institute, Dr. Bajbouj leads a multidisciplinary team conducting neuroimaging studies, clinical trials, and international collaborations focused on emotion modulation pathways. The institute coordinates research across CC 15's clinical infrastructure at CBF Building V, with particular emphasis on bridging laboratory neuroscience with clinical psychiatry through the DepressionDC and OXYMIND trial frameworks.
Jason Ritt is an Associate Professor of Brain Science (Research) and Scientific Director of Quantitative Neuroscience at the Robert J. and Nancy D. Carney Institute for Brain Science, Brown University. He holds affiliations with the Data Science Institute and collaborates across disciplines on quantitative research methods. Education : B.S., M.A., and Ph.D. in Neuroscience from Boston University (1997–2003). Research : Focuses on neural processing during active sensing and neuroengineering for neurostimulation. Combines electrophysiology, optogenetics, and theoretical approaches in rodent models. Develops closed-loop systems for studying sensory neural prosthetics and brain-machine interfaces. Key areas include synaptic diversity, neurocontrol algorithms, and sensory restoration. Teaching : Instructs NEUR 2100 NeuroPracticum, integrating hands-on neuroscience research training.
Vibhav Gogate is a Professor and Associate Head of Research at University of Texas at Dallas, specializing in machine learning and artificial intelligence. His research focuses on probabilistic graphical models, statistical relational learning, and integrating deep learning with graphical models. Professor Gogate has received numerous awards including the NSF CAREER Award (2017), Outstanding Researcher Award (2022, 2017), and Best Paper awards at top AI conferences. His research funding includes projects from NSF and DARPA. Education: PhD, University of California, Irvine MS, University of Maine BS, University of Mumbai Recent Publications: His research spans probabilistic inference, tractable models, and neural network approaches for efficient reasoning, with publications in NeurIPS, AAAI, UAI, and AISTATS. Recent work focuses on scalable inference methods and explainable AI systems for complex domains. Research Funding: Secured over $8M in grants from DARPA and NSF for projects in explainable AI and probabilistic reasoning. Teaching: Regularly teaches graduate and undergraduate courses in Machine Learning, Artificial Intelligence, and Advanced Statistical Methods.
Constantinos Daskalakis is the Armen Avanessians (1982) Professor in the MIT Schwarzman College of Computing and the Department of Electrical Engineering and Computer Science (EECS). He joined MIT in 2009 and is a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL), affiliated with the Laboratory for Information and Decision Systems (LIDS) and the Operations Research Center (ORC). His research focuses on theoretical computer science, with emphasis on game theory, machine learning, and high-dimensional statistics. Education: Ph.D. in Computer Science (not explicitly stated, but implied by tenure and awards). Research interests include computational complexity of Nash equilibria, multi-item auctions, machine learning algorithms, and causal inference. His work bridges game theory, economics, probability, and statistics, with applications in AI and healthcare. Key contributions include resolving long-standing problems in computational game theory and developing efficient methods for statistical hypothesis testing. He has been recognized with the 2018 Nevanlinna Prize, ACM Grace Murray Hopper Award, and the Kalai Game Theory Prize. Affiliations: CSAIL, LIDS, ORC, and the Foundations of Data Science Institute. Active in multi-agent learning, bias mitigation in data, and generative models.
Noah J. Cowan is a Professor of Mechanical Engineering at Johns Hopkins University's Whiting School of Engineering, with secondary appointments in Computer Science, Electrical & Computer Engineering, and Neuroscience. He is the founder and director of the Locomotion in Mechanical and Biological Systems (LIMBS) Laboratory, part of the Laboratory for Computational Sensing and Robotics. His research focuses on neuromechanics, robotics, and control theory, bridging neuroscience, biomechanics, and engineering. Cowan's work investigates how organisms achieve precise locomotion and applies these insights to advance robotics, neuroprosthetics, and rehabilitation technologies. Education: B.S. Electrical Engineering (Ohio State, 1995), M.S. and Ph.D. Electrical Engineering & Computer Science (University of Michigan, 1997/2001). Postdoctoral fellowship at UC Berkeley (2001–2003) before joining Johns Hopkins. Research Interests: Neuromechanics of motion, bio-inspired robotics, multisensory integration in animals (e.g., electric fish, Drosophila), and sensorimotor control in clinical contexts like cerebellar ataxia. His lab studies how neural circuits interact with biomechanics to produce movement, with applications to robotic design and neurological disorder treatments. Awards & Recognition: Presidential Early Career Award for Scientists and Engineers (2010), IEEE Fellow, NSF CAREER Award (2009), and multiple teaching and research excellence awards at Johns Hopkins. His work has been published in top journals like Nature , Proceedings of the National Academy of Sciences , and IEEE Transactions on Robotics . Outreach & Mentorship: Longtime mentor for high school and undergraduate students in STEM, leading programs like the Baltimore Ingenuity Project and WISE. Served as team leader for the STEM Achievement in Baltimore Elementary Schools (SABES) initiative. Key Projects: Development of the LIMBS Lab’s VR systems for animal studies, bioelectric navigation technologies for medical devices, and collaborations with clinicians on upper limb movement disorders. His team’s research on electric fish and fruit flies has revealed principles of adaptive control applicable to robotics and AI.
Miyuki Hino is an Assistant Professor in the Department of City and Regional Planning and an Adjunct Assistant Professor in the Environment, Ecology, and Energy Program at the University of North Carolina at Chapel Hill. She holds a Ph.D. in Environment and Resources from Stanford University and a B.S. in Chemical Engineering from Yale University. Her research focuses on climate hazards, governance, and public policy , with emphasis on equitable adaptation to climate change. Key areas include sea level rise impacts, flood risk on property markets, and managed retreat strategies. She has conducted extensive work on floodplain development policies, household relocation programs, and community resilience frameworks. Dr. Hino's interdisciplinary approach integrates environmental science, urban planning, and social equity . She collaborates with academic and municipal partners, such as the Center for Urban and Regional Studies and Annapolis, MD local governments, to develop actionable solutions for climate adaptation. Her work bridges technical analyses (e.g., sensor networks, machine learning) with policy design to ensure both effectiveness and justice in climate responses. Recent projects emphasize preventing future 'trapped households' by analyzing zoning policies and market dynamics that drive risky development. She advocates for climate-smart growth strategies to balance economic needs with environmental safety, while addressing disparities in vulnerability across communities. Her research has been featured in Science Advances , Nature Climate Change , and interdisciplinary journals. She actively engages with policymakers to translate findings into practical measures, such as equitable buyout programs and floodplain management reforms.
Cheng Zhang is an Assistant Professor in the Department of Computer Science & Engineering at Texas A&M University. His research focuses on computer vision, machine learning, artificial intelligence, and cyber-physical systems. He holds a Ph.D. from The Ohio State University (2022), an M.S. from Beijing University of Posts and Telecommunications (2016), and a B.Eng. from Tianjin University (2013). His work emphasizes high-fidelity 3D garment generation, text-to-image systems, and addressing challenges in long-tailed data for instance segmentation. Key achievements include the 2023 Best Paper Finalist at ICCV and the 2022 Ohio State University Graduate Research Award. Selected publications span top venues like ACM SIGGRAPH Asia, ECCV, and ICCV, showcasing contributions to generative models, view synthesis, and calibration techniques in computer vision.
Prof. Dr. Mirko Hornung is a Professor of Aircraft Design at the TUM School of Engineering and Design, Technische Universität München. His research focuses on conceptual aircraft design, integration of propulsion systems, and evaluation of aviation technologies in operational contexts. Education and Career: PhD in Aeronautical Engineering from the University of the Bundeswehr (2003), awarded a research prize for work on reusable space transport systems. 2003–2009: Worked at Airbus Group (EADS) on military air systems, propulsion integration, and program management. Executive Director of Research & Technology at Bauhaus Luftfahrt, a think tank for long-term aviation developments. Research Interests: Aircraft design optimization, including hybrid energy systems, electric propulsion, and UAV technologies. Environmental sustainability in aviation, such as hydrogen-powered aircraft and lifecycle assessment. Aerodynamic and structural analysis, including flutter suppression and composite materials. Key Publications Highlight Trends: Focus on hybrid-electric and hydrogen propulsion for reducing environmental impact. Advancements in UAV design, including morphing wings and autonomous systems. Integration of AI-driven tools for propulsion optimization and lifecycle analysis. Scientific Awards: EADS Promotion Award (1995) Research Prize for Thesis on Reusable Space Transport Systems (2003) Advising & Grants: Directs research at Bauhaus Luftfahrt, collaborating on future aviation concepts. Engaged in interdisciplinary projects like FLEXOP UAV demonstrator and Ce-Liner eMobility studies. Labs/Teams: Active in the Aircraft Design Professorship at TUM and leadership roles at Bauhaus Luftfahrt, focusing on next-generation aviation technologies.
