Subhasish Mitra is the William E. Ayer Professor of Electrical Engineering and Computer Science at Stanford University, holding dual appointments in both departments. He leads the Stanford Robust Systems Group and serves on the leadership team of the Microelectronics Commons AI Hardware Hub under the US CHIPS and Science Act. His research spans Robust Computing, NanoSystems, Electronic Design Automation (EDA), and Neurosciences, with breakthroughs in X-Compact test compression, carbon nanotube computing, and 3D integration. He has held international roles like the Carnot Chair at CEA-LETI and Visiting Professorships globally. Education & Honors: Recipient of over 40 awards including the IEEE Computer Society’s Harry H. Goode Memorial Award, ACM/IEEE’s A. Richard Newton Technical Impact Award, and the Intel Achievement Award. He earned top academic accolades from IIT Kharagpur and Jadavpur University, and is a Fellow of ACM and IEEE. Research Impact: Pioneered first-of-their-kind systems like the carbon nanotube computer and monolithic 3D integration. His work on robust computing techniques like QED validation and X-Compact compression has industry-wide adoption, saving billions in manufacturing costs. Collaborates with industry leaders like Intel, Google, and Samsung. Publications & Grants: Over 400 publications, including award-winning papers in DAC, ISSCC, and IEEE journals. Leads grants from NSF, DoE, and industry partnerships. His lab explores cutting-edge topics like neuromorphic computing, 3D thermal scaffolding, and AI hardware acceleration. Administration & Outreach: Serves as Associate Chair (Faculty Affairs) for Stanford’s Computer Science Department. Recognized by students for mentorship, and frequently invited to global forums like the World Economic Forum and National Academy of Engineering.
Professor Nancy W. Y. Law is a leading scholar in Learning Sciences and Technology at the University of Hong Kong's Faculty of Education . She has served as Founding Director of the Centre for Information Technology in Education (CITE) (1998-2013) and currently holds the Chair of Learning Sciences and Technology . Her career spans over 25 years of international comparative studies, policy analysis, and large-scale educational innovation. Current roles: Associate Dean (Strategic Development), HKU Key affiliations: Sciences of Learning Strategic Research Theme (co-convener) Research Expertise Her work focuses on technology-enhanced learning , digital literacy , knowledge building communities , and multilevel educational change . She pioneered network models of teacher innovation and socio-technical frameworks for sustainable pedagogical transformation, particularly in STEM education and Cyberbullying prevention . Scientific Leadership With over 25 major research grants (2000-2023) exceeding HK$50 million, she leads projects like: Learning and Assessment for Digital Citizenship Jockey Club Self-directed Learning in STEM Design-Aware Learning Analytics A Fellow of the International Society of Learning Sciences and recipient of the HKSAR Humanities and Social Sciences Prestigious Fellowship , she has supervised numerous international comparative studies including SITES 2006, ICILS 2013, and longitudinal digital citizenship research (2019-2021).
Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.
Eduardo Miranda is a Professor of Civil and Environmental Engineering at Stanford University. He specializes in structural engineering, with a focus on performance-based earthquake engineering. His work involves analyzing ground motion impacts on structures and society, and developing methods to improve seismic design and construction. He holds a PhD from the University of California, Berkeley (1991), an MSc from UC Berkeley (1988), and a Civil Engineering degree from UNAM (1986). Education: PhD in Structural Engineering, UC Berkeley (1991) MSc in Structural Engineering, UC Berkeley (1988) Civil Engineer, National Autonomous University of Mexico (UNAM) (1986) Research Interests: His primary research areas include seismic risk assessment, ground motion analysis, and the development of computational tools for structural analysis. He investigates the directional effects of earthquakes on building responses and has contributed to methodologies for regional seismic risk evaluation. His work also focuses on improving seismic isolation techniques and nonstructural component design. Recent Research Trends: Miranda’s recent publications emphasize directional ground motion effects, particularly in earthquakes like those in Türkiye and Taiwan. He explores novel friction models for seismic isolation bearings and evaluates the seismic performance of structures on soft soils. His work bridges theoretical analysis and practical application, aiming to enhance building resilience. Advising & Grants: No specific grants or advisees are listed, but his research is funded through collaborations with institutions like EERI and StEER for field assessments and computational studies. Labs/Teams: Collaborates with the Stanford Earthquake Engineering Research (StEER) Group, contributing to post-earthquake reconnaissance reports and regional risk assessments.
Maksym Andriushchenko is an incoming faculty member at the ELLIS Institute Tübingen and Max Planck Institute for Intelligent Systems , where he will lead the AI Safety and Alignment group as a principal investigator. Currently, he is a Doctoral Assistant at the Theory of Machine Learning Laboratory (TML) within the Department of Computer Science (IINFCOM) at Swiss Federal Institute of Technology in Lausanne (EPFL) . His work focuses on AI safety, adversarial robustness, and alignment of large language models (LLMs) with societal values.
Arthur Gretton is a Professor at University College London (UCL), leading the Gatsby Computational Neuroscience Unit and serving as director of the Centre for Computational Statistics and Machine Learning. He also works as a Research Scientist at Google DeepMind. His research focuses on causal inference, representation learning, and nonparametric hypothesis testing with applications in machine learning and computational neuroscience. Academic Affiliations Gatsby Computational Neuroscience Unit, UCL Centre for Computational Statistics and Machine Learning, UCL Google DeepMind Arthur's research spans several key areas in modern machine learning, including: Kernel methods for causal effect estimation and two-sample testing Deep learning architectures for proxy causal learning with complex confounding Adaptive gradient flows for generative modeling Nonparametric statistical tests with theoretical guarantees Applications in distributional reinforcement learning and Bayesian inference His work addresses both methodological advancements and practical implementations, particularly for high-dimensional data settings. Recent publications demonstrate his focus on causal inference with hidden confounders (AISTATS 2025), deep learning adaptivity in instrumental variable regression (ICLR 2025), and novel approaches to two-sample testing with adaptive kernel selection (NeurIPS 2024). He has also contributed extensively to distributional reinforcement learning and hypothesis testing frameworks. As an advisor, he supervises multiple PhD students including Jakub Wornbard, Zikai (Steve) Shen, and Zonghao (Hudson) Chen, while co-supervising others. His methodological contributions are implemented in various software packages available at the Gatsby Unit, including tools for kernel-based covariate shift correction, independence testing, and maximum mean discrepancy calculations.
Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .
Ji Zhu is the Susan A. Murphy Collegiate Professor of Statistics at the University of Michigan, Department of Statistics. He holds affiliations with the Michigan Institute for Data Science (MIDAS) and the Michigan Integrated Center for Health Analytics and Medical Prediction (MiCHAMP). His research focuses on statistical machine learning, network analysis, and health science applications. Education: B.Sc. in Physics (Peking University, 1996), M.Sc. and Ph.D. in Statistics (Stanford University, 2000 and 2003). Notable awards include the NSF CAREER Award (2008), Fellowships from the ASA (2013) and IMS (2015), and recognition as a Web of Science Highly Cited Researcher (2014–2020). Research interests span statistical methodologies for networks, survival analysis, and high-dimensional data. He co-authored influential papers on community detection, network cross-validation, and latent space models. Current editorial roles include Editor-in-Chief of the Annals of Applied Statistics and Action Editor for the Journal of Machine Learning Research. Advising: Supervised over 50 students and postdocs, many now in academia and industry. Notable former advisees include Tianxi Li (University of Minnesota), Yuan Zhang (Ohio State University), and Weijing Tang (Carnegie Mellon University). Labs/Teams: Active in interdisciplinary projects at MIDAS and MiCHAMP, focusing on healthcare analytics and predictive modeling for diseases like hepatitis and cardiovascular outcomes.
Dr. Juan Manuel Berbel Pineda is a full Professor at the Department of Business Organization and Marketing at Universidad Pablo de Olavide, Spain. His academic work focuses on tourism economics, sustainable tourism practices, and international business strategies, particularly within the hotel industry and textile sector. Key research areas: Tourism Economics, Sustainable Tourism, International Business Strategy Affiliated with IMEGS (Innovation and Marketing for a Sustainable Global Environment) research group Doctoral Programs: Innovation, Entrepreneurship and Family Business His research explores tourism competitiveness and internationalization patterns through empirical studies on hotel chains in Latin America, fair trade impacts in emerging economies, and post-COVID-19 rural tourism development. Analysis of 15 recent publications reveals strong emphasis on structural equation modeling, cross-cultural comparisons, and market segmentation strategies. Current academic activity includes international collaborations with institutions like Massey University, Varna University of Management, and University of Mauritius. His 2020 work on Ecuadorian chia seed exports demonstrates methodology for EU market selection using 7-dimensional indicators, while his sustainable tourism studies provide frameworks for pandemic-era tourism revival through non-overcrowding strategies.
Karthik R. Narasimhan is a Professor at Princeton University's School of Engineering and Applied Science in the Department of Computer Science. Previously, he earned his PhD from MIT under Regina Barzilay and served as a visiting research scientist at OpenAI during 2017-18. His research focuses on the intersection of language and decision-making, building autonomous agents that learn from both experience and human knowledge. His research spans multiple high-impact areas including language agents (Text-DQN, CALM, ReAct, Tree of Thoughts), reinforcement learning (h-DQN, Multi-Objective RL), and AI safety (Toxicity in ChatGPT, DataMUX). He has developed critical datasets and benchmarks such as WebShop, InterCode, SWE-bench, and SILG that have become standard evaluation tools in the field. Current work emphasizes agent capabilities, software engineering automation, and multimodal interaction. His publication trends show strong focus on practical agent deployment (SWE-agent, Tree of Thoughts), safety evaluation (Probing AI Safety), and efficiency improvements (DataMUX). Recent work increasingly addresses real-world challenges in software engineering, security, and human-AI collaboration through rigorous benchmarking. Co-author of foundational GPT (2018) paper Key developer of Text-DQN (2015), CALM (2020), ReAct (2022), Tree of Thoughts (2023) Creator of influential benchmarks: WebShop (2022), SWE-bench (2023), InterCode (2023) He actively advises students through Princeton's computer science program, with research supported by multiple grants focused on autonomous agent development and language-based decision systems. His GitHub repositories (nlp-datasets, text-world-player) demonstrate strong community engagement in open-source research tools. Current projects include advancing language agent capabilities through Reflexion (2023) and Tree of Thoughts (2023) frameworks while addressing critical safety and efficiency challenges.
Ming Hu is a Professor and University of Toronto Distinguished Professor of Business Operations and Analytics at Rotman School of Management, University of Toronto. He serves as Area Coordinator for the Operations Management & Statistics Area and holds editorial leadership roles including Editor-in-Chief of Naval Research Logistics and Associate Editor for multiple top journals. MS in Applied Mathematics, Brown University (2003) PhD in Operations Research, Columbia University (2009) His research focuses on sharing economy , social operations , and platform economics , examining how operational decisions can maximize societal benefit. Key areas include crowdfunding , two-sided markets , crowdsourcing , and group buying , with applications to DEI , sustainability , and AI-empowered operations . Recent work analyzes spatial operations in delivery systems, algorithmic fairness , and climate change adaptation in agricultural supply chains. His publications span top journals like Management Science and Operations Research , covering topics from blockchain traceability to quantum-inspired optimization . Scientific recognitions include: Wickham Skinner Early-Career Research Award (2016) Best Operations Management Paper in Management Science (2017) 2018 Poets & Quants Best 40 Under 40 MBA Professors As an Amazon Scholar (2022–) and Chair of Chain Analytics Institute (2023–), he bridges academic research with industry applications in AI-driven logistics and sustainable operations.
Andrew Head is an Assistant Professor at the University of Pennsylvania in the Computer and Information Science department. His research focuses on human-computer interaction, programming, and reading, particularly in developing technology for interactive reading and reasoning. He advises PhD students Alyssa Hwang, Hita Kambhamettu, Litao Yan, Jeffrey Tao, and Jessica Shi, and co-leads the Penn Human-Computer Interaction (Penn HCI) group with Danaé Metaxa. His work is published in top venues like ACM CHI, UIST, and ICSE. Research Interests: Andrew's work bridges interactive systems with programming environments, aiming to enhance how scientists and programmers interact with their tools. Key areas include AI-assisted code understanding, math notation accessibility, and medical note interpretation through interactivity. He employs user studies to identify needs and builds interactive systems to address them. Recent Article Trends: His publications emphasize systems-centric HCI approaches, integrating AI into code and document interfaces. Topics span code explanation (e.g., Ivie), property-based testing (e.g., Tyche), math notation augmentation (e.g., FreeForm), and medical informatics (e.g., Explainable Notes). Recent work also explores notebook environments (e.g., Bolt-on, Tyche) and literate programming (e.g., Colaroid). Scientific Awards: Distinguished Paper Award, ICSE 2024 Best Paper Awards at CHI (2024, 2023, 2022, 2019), UIST (2023, 2018), and others. Nominated for Best Paper at CHI 2023 and VL/HCC 2015. Advising & Grants: Andrew advises multiple PhD students and has secured significant grants, including a $1M NSF award for 'Property-based Testing for the People' (2024). His group collaborates with Penn’s MindCORE center and teams like PLClub and PennNLP. Labs & Teams: He co-leads the Penn HCI group, which works closely with other Penn research teams and labs. The group focuses on creating interactive tools that enhance scientific and programming workflows, supported by grants and cross-institutional partnerships.
Terry C. Lansdown is an Associate Professor in the School of Social Sciences and Department of Psychology at Heriot-Watt University. His expertise lies in Human Factors, particularly focusing on driver safety, workload management, and attentional distraction in transportation contexts. Prior to his academic role, he worked as a senior researcher at the Transport Research Laboratory, contributing to numerous EU-funded and government-sponsored projects. His research integrates ergonomics principles with real-world applications, addressing issues like automated driving systems, social distractions in vehicles, and occupational health in construction industries. Key research interests include: Driver behavior and road safety Human factors in automated systems Workload and attentional demands in complex tasks Health and safety in small-to-medium enterprises (SMEs) He has led studies on pandemic response strategies, such as the CHARIS project analyzing behavioral adherence during the COVID-19 crisis. Lansdown’s work frequently bridges psychological theory with practical interventions, including text messaging campaigns to improve construction worker safety and experimental designs to evaluate automation failure responses. Collaborations span academic and industrial sectors, with publications addressing topics ranging from UV exposure in outdoor workers to the cognitive impacts of in-vehicle distractions. His contributions align with UN Sustainable Development Goals related to health (SDG 3) and sustainable cities (SDG 11).
Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.
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.
