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.
Angela Capel Cuevas is an Assistant Professor of Quantum Information Theory/Theoretical Quantum Computation at the University of Cambridge's Department of Applied Mathematics and Theoretical Physics (DAMTP). Previously, she held a Junior Professorship at Eberhard Karls Universität Tübingen (2021-2024) and was an MCQST Distinguished PostDoc at TU München (2020-2021). Her research focuses on the intersection of quantum information theory and quantum many-body systems, particularly studying thermalization dynamics via quantum functional inequalities. She is a recipient of the Simons Emmy Noether Fellowship and Forbes 30 Under 30 (Spain 2023). Education: PhD in Mathematics, Universidad Autónoma de Madrid/ICMAT (2015-2019) Master in Computational Engineering and Mathematics, URV/UOC (2016-2018) Bachelor in Mathematics, Universidad de Granada (2009-2014) Research: Angela's work applies analytic and geometric tools to quantum systems, emphasizing decay of correlations in Gibbs states and quantum dissipative evolutions. Key topics include entropy inequalities, modified logarithmic Sobolev inequalities, and thermalization rates in spin chains. Her recent work bridges quantum functional analysis with practical implications for quantum computing and thermalization phenomena. Grants & Roles: PI of CRC TRR 352 'Mathematics of Many-Body Quantum Systems' (7M€) Co-PI of QuantERA project TouQan (1.25M€) Organized workshops at BIRS and Tübingen (2023-2024) Awards: Simons Emmy Noether Fellowship (2023) Forbes 30 Under 30 (2023) Vicent Caselles RSME-FBBVA Award (2022) Labs/Teams: Leads a group studying quantum dissipative systems and thermalization at DAMTP. Collaborates with institutions globally on quantum functional inequalities and Gibbs state properties.
Belkis Ezgi Arikan is a researcher at Justus Liebig University Giessen , affiliated with the Department of Psychology and Sports Science . Her work focuses on sensorimotor integration, tactile suppression, and neural mechanisms underlying action-outcome monitoring. She collaborates with Prof. Dr. Fiehler and Dr. Voudouris on project A4 (Predictive somatosensory processing during voluntary movements). Department: Psychology and Sports Science Collaborators: Dr. Dimitris Voudouris, Prof. Dr. Katja Fiehler Her research investigates: How the brain processes self-generated vs. externally generated sensory feedback Neural correlates of tactile suppression networks Role of cerebellum and angular gyrus in temporal recalibration Modulation of BOLD responses during action monitoring Recent publications reveal trends in predictive coding , sensorimotor recalibration , and neural suppression mechanisms across tactile, visual, and multisensory domains. Her work employs neuroimaging techniques like fMRI and behavioral paradigms to study self-motion perception and feedback processing. She contributes to understanding how the brain distinguishes self-initiated from external sensory events, with implications for motor learning and perceptual timing mechanisms.
Mahdi Khodayar is an Assistant Professor of Computer Science at the University of Tulsa . He holds a Ph.D. in Electrical Engineering from Southern Methodist University (2020) and M.Sc./B.S. degrees in Artificial Intelligence and Software Engineering from K.N. Toosi University of Technology (2015, 2013). His research focuses on AI and machine learning applications in power systems, transportation systems, computer vision, and spatiotemporal pattern recognition. B.Sc. in Computer Engineering (2013), K.N. Toosi University of Technology M.Sc. in Artificial Intelligence (2015), K.N. Toosi University of Technology Ph.D. in Electrical Engineering (2020), Southern Methodist University Khodayar’s research bridges deep learning with energy systems , including fault detection in power grids, renewable energy forecasting, and traffic scene understanding. His work leverages graph neural networks , reinforcement learning , and generative models for robust spatiotemporal analysis. Recent publications highlight his focus on graph-based architectures for power systems, hybrid deep reinforcement learning in energy forecasting, and unsupervised domain adaptation in remote sensing. His work integrates physics-informed modeling with probabilistic frameworks . Scientific Awards : NSF ECCS Division Funding (2022) US DOT FHWA Grant (2023) Zelimir Schmidt Award for Early Career Research (2023) Honors Student Award (2015), K.N. Toosi University Khodayar has been funded by the NSF , US Department of Transportation , and the TU Cyber Fellows program . He serves as an associate editor for IEEE Transactions on Transportation Electrification and other journals.
Qianwen Wang is a tenure-track Assistant Professor in the Computer Science department at the University of Minnesota, Twin Cities. Her research combines interactive visualization with interpretable machine learning to foster intuitive, efficient, and reliable Human-AI collaboration. She actively seeks motivated students, research assistants, and interns to join her dynamic research team at UMN CS. Dr. Wang's research focuses on three primary themes: Human-AI Collaboration, where she designs tools to facilitate Human-AI interaction; Automatic & Intelligent Visualization, where she develops techniques to make visualizations accurately interpreted and easily used; and VIS+(X)AI in Biomed/Healthcare, where she studies how visualization and explainable AI can promote scientific discoveries in biomedicine and healthcare. Her work has made significant contributions to visualization, human-computer interaction, and bioinformatics, with particular applications in biomedical knowledge graphs and single-cell omics analysis. Her recent publications demonstrate a strong trend toward integrating visualization with large language models and graph neural networks for biomedical applications. She has published extensively at top venues including IEEE VIS, ACM CHI, and Nature Medicine, with a focus on making AI systems more interpretable and useful for domain experts, particularly in healthcare contexts. Her work often bridges theoretical advances in visualization with practical applications in genomics and healthcare. Two IEEE VIS Honorable Mention Awards (2022, 2024) Best Paper Award from IMLH@ICML 2021 Two Best Abstract Awards from BioVis ISMB (2021, 2022) HDSI Postdoctoral Research Fund Award Research covered by MIT News and Nature Technology Features Dr. Wang actively contributes to the academic community through service roles including General Chair for ISMB BioVis, VisNotes and Poster Chair for IEEE PacificVis, and Program Committee member for IEEE VIS, ACM CHI, and ACM IUI. Her research has been supported by various grants that enable her team to develop innovative visualization techniques and explore their practical applications in biomedical domains. Her research group maintains an active presence in the visualization and HCI communities, with members participating in major conferences and workshops. The lab focuses on creating tools that bridge the gap between complex AI models and human understanding, with particular emphasis on making these technologies accessible and useful for domain experts in biomedical research.
Prof. Matthias Nießner is a Professor at the Technical University of Munich , where he leads the Visual Computing Lab . Prior to this, he held a Visiting Assistant Professor position at Stanford University . His work bridges computer vision , graphics , and machine learning , focusing on 3D reconstruction , semantic scene understanding , and AI-driven video synthesis . Prof. Nießner has published over 150 works in top venues like SIGGRAPH , CVPR , and ECCV , with several receiving best paper awards (SIGCHI’14, HPG’15, SPG’18, SIGGRAPH’16 Emerging Tech). His research has garnered international media attention, including features in the New York Times , Wall Street Journal , and MIT Technological Review , as well as TV demonstrations (e.g., Jimmy Kimmel Live for Face2Face technology). Awards : TUM-IAS Rudolph Moessbauer Fellowship (2017–ongoing) Google Faculty Award (2017) Nvidia Professor Partnership Award (2018) ERC Starting Grant (2018, €1.5M) Eurographics Young Researcher Award (2019) Research Trends : 3D Gaussian Splatting for real-time rendering Neural Radiance Fields (NeRF) with mesh supervision Audio-driven facial animation via diffusion models Latent space diffusion for 3D scenes Self-supervised and zero-shot methods for 3D and image analysis As a co-founder and director of Synthesia Inc. , he drives democratization of synthetic media. His YouTube channel has over 5 million views, reflecting his impact beyond academia.
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.
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.
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 .
Gauri Joshi is an Associate Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with affiliate appointments in the Machine Learning Department and Robotics Institute. Her work focuses on system-aware algorithms for distributed machine learning, combining optimization, probability, and coding theory to address communication and computational constraints in edge networks. MIT Ph.D. in EECS (2016) IIT Bombay B.Tech/M.Tech in Electrical Engineering (2010) Research themes include federated learning with communication efficiency, erasure coding for non-linear computations, and reinforcement learning for heterogeneous queueing systems. She leads the Optimization, Probability and Learning (OPAL) lab , affiliated with the Parallel Data Lab (PDL), CyLab, and FLAME Center. Recent publications highlight advances in: federated fine-tuning with low-rank adaptation, robust PCA for model aggregation, privacy-preserving prediction mechanisms, and adaptive reinforcement learning for job dispatching systems. Her group has received 15+ paper awards across SIGMETRICS, MobiHoc, and NeurIPS workshops. Scientific recognition includes: IEEE Goldsmith Lecturer (2025), MIT Technology Review '35 Innovators Under 35' (2022), ONR Young Investigator Award (2023), NSF CAREER (2021), and ACM SIGMETRICS Best Paper (2020). She has advised 20+ graduate students, many now at tech giants like Google, Apple, and Meta. Service contributions span program co-chair roles (MLSys 2025), associate editorships (IEEE/ACM Transactions on Networking), and workshop organization (ICML, NeurIPS). Her NSF AI-EDGE Institute leadership (2021-present) drives next-generation intelligent edge networks for robotics and aerospace applications.
I-Hong Hou is a Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He holds a B.S. in Electrical Engineering from National Taiwan University (2004), and M.S./Ph.D. in Computer Science from the University of Illinois, Urbana-Champaign (2008/2011). His research focuses on wireless networks, cloud/edge computing, and machine learning with notable contributions to real-time systems and network optimization. Education : B.S., Electrical Engineering, National Taiwan University, 2004 M.S., Computer Science, University of Illinois at Urbana-Champaign, 2008 Ph.D., Computer Science, University of Illinois at Urbana-Champaign, 2011 Research Highlights : Hou’s work emphasizes Age of Information (AoI) , distributed learning, and scheduling algorithms for edge computing. He has pioneered frameworks integrating machine learning with network protocols, such as deep reinforcement learning for restless bandits and second-order optimization for wireless systems. His methods address real-time communication challenges in multi-hop networks and dynamic environments. Awards : Best Paper Awards at ACM MobiHoc (2017, 2020) Best Student Paper, WiOpt 2017 C.W. Gear Outstanding Graduate Student Award, UIUC Advising & Grants : Advised PhD student Siqi Fan (graduated 2024). His research has been supported by grants exploring edge-cloud reconfiguration, real-time video delivery, and neural Whittle index networks. Recent work includes optimizing freshness of information in multi-user systems and developing threshold-optimal policies for complex decision-making. Labs/Teams : Leads the Computer Engineering and Systems Group (CESG) at Texas A&M, collaborating on projects blending networking, machine learning, and distributed systems.
Mayank R. Mehta is a Professor at the University of California, Los Angeles (UCLA), holding joint appointments in the Departments of Physics & Astronomy, Neurology, and Neurobiology. He is a member of the Brain Research Institute and the W. M. Keck Center for Neurophysics at UCLA. His research bridges experimental and theoretical neuroscience, focusing on how neuronal networks encode space-time, the role of brain rhythms in learning and memory, and the impact of sleep and virtual reality on neural dynamics. His recent publications highlight breakthroughs in understanding hippocampal spatiotemporal selectivity, dendritic activity during behavior, and the causal influence of visual cues on memory neurons. Notable findings include the discovery that dendrites generate ten times more spikes than neuronal cell bodies and the modulation of hippocampal theta rhythms in virtual reality. Research Themes: Neurophysics of spatial-temporal coding Dendritic contributions to learning Virtual reality and brain plasticity Neural oscillations in memory consolidation Key Collaborators: Bert Sakmann (Max Planck Florida Institute) Thomas Hahn (Bernstein Center Heidelberg/Mannheim) Maryam Ghorbani (UCLA) Mehta's lab at UCLA trains graduate and postdoctoral researchers in cutting-edge techniques combining hardware development, electrophysiological recordings, and biophysical modeling. His work has significant implications for treating learning and memory disorders like Alzheimer's disease.
Ming-Syan Chen is a distinguished academic holding dual roles as a Distinguished Research Fellow and Director of the Research Center for Information Technology Innovation (CITI) at Academia Sinica, Taiwan, and a Distinguished Professor jointly appointed across multiple departments at National Taiwan University (NTU), including Electrical Engineering (EE), Computer Science and Information Engineering (CSIE), and the Graduate Institute of Communication Engineering (GICE). His career spans academia and industry, with prior roles as a research staff member at IBM Watson Research Center and leadership positions in Taiwan's technology sector. Education: He earned a B.S. in Electrical Engineering from National Taiwan University, followed by M.S. and Ph.D. degrees in Computer, Information, and Control Engineering from the University of Michigan, Ann Arbor. Research Interests: Chen's work focuses on databases, data mining, machine learning, multimedia networking, and cloud computing. He has authored over 350 papers and holds numerous patents, contributing to foundational advancements in query processing, data management, and networked systems. Award Highlights: Recipient of ACM and IEEE Fellowships, National Chair Professorship (lifetime honor), Teco Award, Pan Wen Yuan Distinguished Research Award, and IBM's Outstanding Innovation Award. His contributions span research, teaching, and technology commercialization. Leadership & Service: Former Dean of NTU's College of Electrical Engineering and Computer Science, CEO of Taiwan's Networked Communication Program, and Editor-in-Chief of the International Journal of Electrical Engineering. He has chaired international conferences and served on editorial boards of journals like IEEE TKDE and VLDB. Labs & Teams: Leads the Network Database Laboratory and collaborates on national initiatives in information and communication technologies. His research groups focus on data science, distributed systems, and social network analysis.
Dr. Juan Alvaro Gallego is a Senior Lecturer (equivalent to Associate Professor) in the Department of Bioengineering at Imperial College London's Faculty of Engineering. He leads the Behaviour and Neural Dynamics Lab (Be.Neural), a multidisciplinary team focused on understanding neural mechanisms underlying motor control and spinal cord learning, with applications in developing neural interfaces to restore movement in conditions like Parkinson’s disease and paralysis. His research integrates behavioral experiments, neural recordings, data analysis, and computational models, funded by the ERC, EPSRC, ARIA, and industry partners like InBrain Neuroelectronics and Meta Reality Labs. Research interests include motor control, neural dynamics, and clinical applications of neural engineering. The lab collaborates across systems neuroscience and biomedical engineering, aiming to translate fundamental discoveries into therapeutic technologies. Key areas of focus include neural manifolds, synaptic plasticity in motor learning, and closed-loop neuroprosthetics for tremor management. Funding sources include the European Research Council, Engineering and Physical Sciences Research Council, and industry collaborations. The Be.Neural Lab’s work is showcased on their dedicated website (https://beneural.ic.ac.uk).
