Shivaram Kalyanakrishnan is an Associate Professor at the Department of Computer Science and Engineering , Indian Institute of Technology Bombay , specialising in Artificial Intelligence and Machine Learning . His research spans sequential decision making , multiagent learning , multi-armed bandits , and humanoid robotics , with applications in robot soccer , computer games , and online advertising . He teaches advanced courses like CS 747: Foundations of Intelligent and Learning Agents and CS 748: Advances in Intelligent and Learning Agents , focusing on end-to-end system design and theoretical analysis. His scientific awards include the Best Student Paper Award at RoboCup International Symposium 2006 and nomination for Best Student Paper Award at AAMAS 2007 . His work on reinforcement learning and policy iteration has been published in leading venues such as IJCAI , ICML , and COLT , with recent contributions to railway scheduling and bandit algorithms. While no explicit list of advisees is provided, his research projects and publications suggest mentorship of students in collaborative efforts. Contact : shivaram@cse.iitb.ac.in .
Samuel J. Gershman is a Professor of Psychology at Harvard University, affiliated with both the Department of Psychology and the Center for Brain Science. He directs the Computational Cognitive Neuroscience Lab (CCNLab), where he investigates how the brain acquires richly structured knowledge about the environment and uses this knowledge to guide adaptive behavior. Gershman received his B.A. in Neuroscience and Behavior from Columbia University in 2007 and his Ph.D. in Psychology and Neuroscience from Princeton University in 2013, followed by postdoctoral training in the Department of Brain and Cognitive Sciences at MIT (2013-2015). His research spans computational neuroscience, cognitive psychology, and machine learning. His primary research interests include learning, memory, decision making, and computational neuroscience. Gershman's work integrates behavioral, neuroimaging, and computational techniques to understand cognitive processes. He has made significant contributions to understanding memory systems, reinforcement learning, and the computational principles underlying human cognition. Analysis of Gershman's recent publications reveals a strong focus on computational approaches to understanding cognitive processes, with particular emphasis on memory systems, decision-making mechanisms, and the intersection of artificial intelligence with cognitive neuroscience. His work often bridges theoretical computational models with empirical neuroscience data, exploring how the brain implements efficient cognitive algorithms. Gershman actively mentors graduate students and postdoctoral researchers, with current advisees working on diverse projects spanning computational modeling, neuroimaging, and behavioral experiments. His lab investigates topics ranging from dopamine signaling to social cognition using a combination of theoretical and experimental approaches. The CCNLab, which Gershman directs, brings together researchers from psychology, neuroscience, computer science, and related fields to explore the computational principles of cognition. The lab utilizes a range of methodologies including behavioral experiments, neuroimaging, computational modeling, and theoretical analysis to address fundamental questions about how the mind works.
Katerina Fragkiadaki is the JPMorgan Chase Associate Professor of Computer Science in the Machine Learning Department at Carnegie Mellon University. She works at the intersection of Artificial Intelligence, Computer Vision, Machine Learning, Language Understanding, and Robotics. PhD from GRASP Lab, University of Pennsylvania Postdoctoral researcher at UC Berkeley (with Jitendra Malik) and Google Research Recipient of NSF CAREER, DARPA Young Investigator, Amazon, Google, Sony, UPMC, and AFOSR awards Organizer of CoRL 2023 Workshop on Generalist Robots ICLR 2024 Program Chair, multiple area chair roles Her research group focuses on developing machines that autonomously improve world models through human-environment interactions, with specific emphasis on: Representation learning and video understanding 2D/3D unified vision-language models Generative simulation and reinforcement learning Real2Sim/Sim2Real robot learning Continual learning and spatial common sense 3D scene reconstruction and dynamics Recent publications highlight advancements in: 3D mesh generation with compositional transformers Unified 2D/3D perception frameworks Physics-aware generative models Diffusion-based robotic manipulation policies Embodied agents with memory prompting Awards include: 2024: DARPA Young Investigator Award 2023: Amazon Faculty Award 2022: Sony Faculty Research Award 2021: UPMC Faculty Research Award 2020: NSF CAREER Award 2019: Google Faculty Award Key collaborations span institutions including UC Berkeley, Google Research, Stanford, MIT, and University of Tsukuba. Her work bridges theoretical innovation with practical applications in: Autonomous robot manipulation 4D world modeling Language-grounded perception Visual dynamics prediction Embodied program synthesis Physics-based simulation engines
Daniel Dominic Kaplan Sleator is a Professor of Computer Science at Carnegie Mellon University's School of Computer Science. He maintains an office in the Gates-Hillman Center (7205 Gates-Hillman) and teaches various courses in algorithms and theoretical computer science. Professor Sleator's research spans several areas of theoretical computer science and algorithms. His primary interests include: Algorithms and Data Structures Amortized Analysis and Competitive Analysis Persistent and Self-Adjusting Data Structures Computational Geometry and Combinatorial Optimization Combinatorial Game Theory and Mathematical Games Music Analysis using Computational Methods His extensive publication record shows a consistent focus on efficient data structures and algorithms. Over the years, his work has evolved from foundational data structures like splay trees and skew heaps to applications in diverse areas such as music analysis and combinatorial games. A notable trend in his work is the development of self-adjusting data structures that achieve excellent amortized performance without maintaining explicit structural constraints. His papers on splay trees, skew heaps, and persistent data structures have become classics in the field. Professor Sleator has made significant contributions across multiple domains of computer science. His work on competitive algorithms for paging and list update problems has been particularly influential, establishing fundamental results in online algorithms. His research extends beyond traditional computer science into interdisciplinary areas like computational music theory, demonstrating the broad applicability of algorithmic thinking. He teaches a variety of courses including Algorithms 15-451/651, Competition Programming 15-295, and specialized topics like mathematical games.
Vivek Shenoy is the Eduardo D. Glandt President's Distinguished Professor at the University of Pennsylvania, with primary appointments in the Department of Materials Science and Engineering and secondary appointments in Bioengineering and Mechanical Engineering and Applied Mechanics. He leads the Multiscale Mechanobiology and Biomaterials Laboratory, which focuses on developing theoretical frameworks and numerical methods to understand complex biological and engineering systems across multiple length scales. Shenoy's research spans mechanobiology, chromatin organization, cell mechanics, and biomaterials. His work addresses the fundamental challenge of modeling how small-scale cellular phenomena couple with long-range tissue-level interactions across micrometers to centimeters. By integrating insights from soft matter physics, solid mechanics, chemistry, and applied mathematics, his group develops multiphysics continuum and mesoscale theories to elucidate mechanisms controlling both biological and engineering systems. His recent publications demonstrate an increasing focus on nuclear mechanics, chromatin organization, and the interplay between mechanical forces and gene regulation. Analysis of Shenoy's publication record reveals a strong interdisciplinary approach, with high-impact papers spanning biophysics, materials science, and cell biology. His work shows consistent evolution from fundamental mechanics of materials to complex biological systems, with recent emphasis on the mechanical regulation of chromatin architecture, cell migration dynamics in 3D environments, and mechanotransduction in development and disease. His publications appear regularly in top journals including Nature, Science, and their affiliated publications, demonstrating significant influence across multiple fields. Eduardo D. Glandt President's Distinguished Professor Multiple publications in Nature, Science, and PNAS Active research program with publications through 2025 Shenoy actively mentors students and postdocs through his laboratory, with numerous co-authored publications indicating strong mentorship. His research program appears to be well-funded through multiple grants supporting his work in mechanobiology and biomaterials. The Multiscale Mechanobiology and Biomaterials Laboratory maintains active collaborations across disciplines and institutions, reflecting the interdisciplinary nature of his research. The Multiscale Mechanobiology and Biomaterials Laboratory, housed within the Department of Materials Science and Engineering at the University of Pennsylvania, serves as the primary research hub for Shenoy's work. The lab maintains an active presence on social media (Twitter: @ShenoyLab) for updates on activities and publications. Their research approach combines theoretical modeling with experimental validation to address fundamental questions at the interface of mechanics, materials science, and biology.
David Duvenaud is an Associate Professor at the University of Toronto , holding a Canada Research Chair in Generative Models and a Schwartz Reisman Chair in Technology and Society . He is cross-appointed to the Department of Computer Science and Department of Statistical Sciences . A Sloan Research Fellow and founding member of the Vector Institute , his work bridges deep probabilistic models , AI safety , and scientific computing . PhD in Machine Learning (University of Cambridge, 2014) Postdoc in Hyperparameter Optimization (Harvard University, 2016) Co-founded Invenia (energy forecasting company) His research spans foundational Neural Ordinary Differential Equations (NeurIPS 2018 Best Paper) and Automatic Chemical Design (ACS Central Science 2018) to recent work on AGI governance (2025) and AI safety (2024). Key contributions include stochastic variational inference , implicit differentiation frameworks , and antisymmetrization layers for quantum Monte Carlo. Recent publications (2024-2025) focus on systemic existential risks from AI , many-shot jailbreaking attacks , and epistemic uncertainty quantification . His group trains energy-based models with scalable MCMC samplers and develops invertible neural architectures (e.g., Residual Flows NeurIPS 2019). He also explores human-AI alignment through LLM Processes (NeurIPS 2024) and Sycophancy in Language Models (ICLR 2024). Canada Research Chair (2025) NSERC Grant (2025) Sloan Research Fellow (2021) Schwartz Reisman Chair (2021) Best Paper Award (NeurIPS 2018) Distinguished Paper Award (ICFP 2021) His students include James Requeima , Jesse Bettencourt , and Raymond Douglas . He teaches courses on Statistical Methods for Machine Learning and Differentiable Inference . Current work (2025) investigates systemic human disempowerment through incremental AI capabilities and sabotage risk mitigation via hyperparameter-aware evaluations.
John P. O'Doherty serves as the Fletcher Jones Professor of Decision Neuroscience within Caltech's Division of Humanities and Social Sciences, holding continuous faculty appointments since 2004 (Assistant Professor 2004-07, Associate Professor 2007-09, Professor 2009-present, Fletcher Jones Professor 2021-present). He previously directed the Caltech Brain Imaging Center (2013-17) and maintains affiliations with the T&C Chen Center for Social and Decision Neuroscience. His educational background includes a B.A. from University of Dublin, Trinity College (1996) and D.Phil. from University of Oxford (2000). His research focuses on computational and neural mechanisms of reward-based learning and decision-making , employing fMRI, intracranial recordings, and mathematical modeling to investigate how the brain solves complex decision problems through evolutionarily conserved algorithms. Key areas include Reinforcement learning systems (model-based/model-free arbitration) Observational and social learning mechanisms Neural representation of value, risk, and uncertainty Computational phenotyping of mental disorders Temporal dynamics of goal persistence Analysis of his 2023-2025 publications reveals dominant trends in computational psychiatry (problem gambling, autism traits), hierarchical decision-making, and neuroeconomic modeling of social behavior. His work consistently integrates cross-species computational frameworks with human neuroimaging to identify transdiagnostic mechanisms. While specific awards beyond his endowed professorship aren't detailed, his leadership as Brain Imaging Center Director and prolific high-impact publications demonstrate significant recognition. Current advising includes graduate researcher Sneha Aenugu on goal-persistence projects, with administrative support from Mary A. Martin (mmartin@caltech.edu). His active research program continues to pioneer computational approaches to understanding decision pathologies.
Monika Henzinger is Professor at the Institute of Science and Technology Austria (ISTA), heading the research group of Theory and Applications of Algorithms. She also serves as Vice President for Technology Transfer at ISTA since 2024. Previously, she held professorships at the University of Vienna (2009-2023) and EPFL, Switzerland (2005-2009), was Director of Research at Google (1999-2005), and served as Assistant Professor at Cornell University. Professor Henzinger's research centers on efficient algorithms and data structures with three main thrusts. First, she investigates dynamic settings where program inputs are repeatedly updated, seeking solutions faster than restarting computations. Second, she develops privacy-preserving algorithms that add minimal noise to protect input data while maintaining efficiency. Third, she translates theoretically optimal algorithms into practical implementations for dynamically changing inputs. Her work consistently addresses resource conservation in data processing, particularly computing time and memory space, while exploring the theoretical limits of possible savings. Henzinger's recent publications (2024-2025) reveal strong trends in dynamic algorithms, differential privacy, and graph theory. Her research consistently bridges theoretical computer science with practical applications, focusing on algorithms that adapt to changing inputs while preserving computational efficiency and data privacy. She has made significant contributions to problems like dynamic matching, minimum cut computation, and privacy-preserving data analysis across various domains. Professor Henzinger has received numerous prestigious awards and honors: Wittgenstein Award (2021) Two ERC Advanced Grants (2014, 2021) Carus Medal of the German Academy of Sciences Leopoldina (2019) SIGIR Test of Time Award Fellow of the Association of Computing Machinery (2016) Member of the Austrian Academy of Sciences (2017) CAREER Development Award of the National Science Foundation Best paper Award at the Symposium on Discrete Algorithms (2024) Professor Henzinger currently advises PhD students Bardiya Aryanfard, Antoine El-Hayek, and Roodabeh Safavi Hemami, along with postdocs Anamay Chaturvedi and Niklas Hahn. Her research is supported by multiple significant grants including an ERC Advanced Grant for 'Design and Evaluation of Modern, Fully Dynamic Data Structures,' the FWF Wittgenstein Prize, and the WEAVE Project on 'Static and dynamic hierarchical graph decompositions.' She also serves as Principal Investigator for the FWF project 'Fast algorithms for a reactive network layer,' providing substantial funding for her innovative work in algorithms and data structures. Professor Henzinger leads the Theory and Applications of Algorithms research group at ISTA, which focuses on developing practical algorithms for dynamic environments. Her team investigates resource conservation in data processing, specializing in dynamic algorithms that efficiently handle changing inputs, privacy-preserving algorithms that minimize noise while protecting data, and translating theoretical algorithms into practical implementations. The group maintains a strong presence in theoretical computer science through regular publications in top conferences and journals, and collaborates extensively with institutions worldwide to advance algorithmic research.
Jundong Li is an Assistant Professor at the University of Virginia with primary appointment in the Department of Electrical and Computer Engineering and secondary appointments in Computer Science and the School of Data Science. He is affiliated with the School of Engineering and Applied Science and conducts research at the intersection of machine learning, data mining, and artificial intelligence. Education: Ph.D. in Computer Science, Arizona State University, 2019 M.Sc. in Computer Science, University of Alberta, 2014 B.Eng. in Software Engineering, Zhejiang University, 2012 His research focuses on graph machine learning , trustworthy and fair AI , and large language models . He investigates how to make deep learning models more interpretable, robust, and equitable, especially in graph-structured data and NLP applications. His work combines causal inference, feature selection, and model explanation techniques to build reliable AI systems. His recent publications (2024–2022) reveal a strong trend toward large language models , with topics including in-context learning, knowledge editing, and collaborative reasoning. Simultaneously, he continues pioneering research on fairness and interpretability in graph neural networks , addressing structural bias, adversarial attacks, and node attribution. His work is highly interdisciplinary, spanning computer science, data science, and social impact. Scientific Awards: SIGKDD Rising Star Award (2024) PAKDD Best Paper Award (2024) NSF CAREER Award (2022) SIGKDD Best Research Paper Award (2022) JP Morgan Faculty Research Award (2021, 2022) Cisco Faculty Research Award (2021) Stanford/Elsevier Top 2% Scientist (2024) Jundong Li actively advises graduate students, as seen in his co-authored papers with researchers like Song Wang, Yushun Dong, and Binchi Zhang. His research is generously funded by the National Science Foundation (NSF) through multiple programs including CAREER, III, SaTC, SAI, and S&CC, as well as by the Department of Energy (DOE) , Office of Naval Research (ONR) , Jefferson Lab , and industry partners including JP Morgan, Cisco, Netflix, and Snap . He leads a dynamic research group focused on advancing the frontiers of graph learning and trustworthy AI, with projects on causal inference, model unlearning, and explainable systems. His lab contributes to both theoretical foundations and real-world applications in public health, transportation, and network security.
Anna Choromanska is an Associate Professor in the Department of Electrical and Computer Engineering at NYU Tandon School of Engineering, with affiliations to NYU Center for Data Science (CDS), NYU Center for Urban Science and Progress (CUSP), NYU Center for Advanced Technology in Communications (CATT), and the C2SMART Center. Her research focuses on deep learning optimization, generalization, and applications in autonomous driving and large-scale data analysis. She holds an Alfred P. Sloan Fellowship and NSF CAREER Award, and her work impacts industries like NVIDIA and Facebook. She directs the Learning Systems Laboratory (LSL), emphasizing interdisciplinary experimental/theoretical work. Research Interests: Machine Learning fundamentals, DL optimization, continual learning, autonomous vehicle systems, large data analysis. Her lab explores DNN learning dynamics, training architecture design, and scalable algorithms. Professional Impact: Over 50 invited talks, workshop organization for top ML conferences, and contributions to open-source projects like Vowpal Wabbit. Her algorithms are deployed in production systems at Facebook and Baidu. Awards: NSF CAREER Award Alfred P. Sloan Fellowship IBM Global University Program Academic Award (2x) Columbia University Presidential Fellowship Advising & Labs: Leads LSL, supervising interdisciplinary projects in optimization and autonomy. Actively involved in NYU's Modern AI seminar series and industry partnerships through CATT. Personal Interests: Accomplished pianist, salsa dancer, and fashion design enthusiast with notable performances and certifications in dance and music.
Professor Nick Chater is a leading figure in the field of Behavioural Science, affiliated with the University of Warwick at Warwick Business School since 2010. He has held previous chairs in psychology at Warwick and UCL. His research spans cognitive and social foundations of rationality, with applications to business and public policy, and he has authored over 200 papers and six books. He is a fellow of the British Academy, Cognitive Science Society, and Association for Psychological Science. His research interests include cognitive science, behavioral economics, decision making, and computational psychology, with a focus on reasoning, language, and mathematical modeling of mental processes. He has been recognized with prestigious awards such as the Spearman Medal, Experimental Psychology Society Prize, and the David E Rumelhart Prize for lifetime achievement in cognitive science. His work extends to practical applications through co-founding Decision Technology and advising the UK government's Climate Change Committee and the Behavioural Insight Team. Recent publications highlight his interdisciplinary approach, bridging economics, cognitive science, computational modeling, and behavioral public policy. Topics include thermal macroeconomic theory, Bayesian sampling, paradoxes in cognition, and language emergence via social interaction. These works emphasize probability judgments, moral cognition, and computational limitations in human inference. British Psychological Society's Spearman Medal (1996) Experimental Psychology Society Prize (1997) David E Rumelhart Prize (2023) PROSE Award (2019) Chater's academic contributions include collaborations with researchers like Adam N. Sanborn, Hossam Zeitoun, and Morten H. Christiansen, focusing on Bayesian inference, behavioral public policy, and cognitive modeling. He has also been a resident scientist on BBC Radio 4's The Human Zoo.
David Clewett, Ph.D. , is an Assistant Professor of Psychology at University of California, Los Angeles (UCLA) , where he leads the Dynamic Arousal and Memory Lab. His research explores how emotional arousal, stress, and neuromodulatory systems like norepinephrine and dopamine shape the way we encode, organize, and retrieve memories. He joined UCLA in July 2020 after completing his Ph.D. in Neuroscience at the University of Southern California and a postdoctoral fellowship at NYU and Columbia University. Education: Ph.D. in Neuroscience, University of Southern California (2016) B.S. in Biopsychology with minor in English, University of California, Santa Barbara Research Focus: Dr. Clewett’s lab investigates how physiological arousal influences attention and memory, using a multimodal approach that includes fMRI, pupillometry, eye-tracking, and pharmacological methods. His work spans four major themes: The role of emotion and arousal in selective memory enhancement or suppression. How contextual shifts and emotional states structure episodic memory into meaningful events. Techniques to weaken or update traumatic or unwanted memories. The dynamic effects of attention and arousal states on neural and memory representations. Publications and Impact: His work has been published in top-tier journals such as Nature Communications , Journal of Neuroscience , Hippocampus , and Trends in Cognitive Sciences . His research has contributed to understanding how neuromodulators like norepinephrine and dopamine interact with memory systems to prioritize salient information, and how these processes can be leveraged for therapeutic intervention in PTSD, depression, and aging-related memory decline. Students and Lab Team: Dr. Clewett mentors a diverse team of graduate students and research assistants. Current graduate students include Jacinda Taggett, Ringo Huang, Erin Morrow, Bailey Harris, and Brandon Katerman. Former lab members have gone on to Ph.D. programs at Harvard, UC Berkeley, and other top institutions. Lab and Facilities: The lab is located in Pritzker Hall at UCLA, and is equipped with tools for fMRI, pupillometry, eye-tracking, and behavioral testing. The lab also collaborates with researchers across UCLA and other institutions, including NYU, Columbia, and USC.
Nathaniel D. Daw serves as the Huo Professor in Computational and Theoretical Neuroscience and Professor of Neuroscience and Psychology at Princeton University, based at the Princeton Neuroscience Institute. His research integrates computational modeling with experimental neuroscience to investigate fundamental mechanisms of learning and decision-making. Daw's research focuses on computational and theoretical neuroscience, specializing in reinforcement learning, memory systems, and decision-making processes. He examines how neural circuits represent value, update beliefs through experience, and balance model-based versus model-free control strategies. His work frequently bridges theoretical frameworks with behavioral and neural data to explain phenomena ranging from habitual behavior to flexible cognitive control. Analysis of his 2025 publications reveals dominant themes in neural replay mechanisms, individual differences in learning trajectories, and clinical applications to eating disorders. His work increasingly incorporates large language models for psychological assessment while maintaining core focus on interpretable cognitive architectures and hierarchical planning. Daw maintains active research operations through the Princeton Neuroscience Institute, an interdisciplinary hub fostering collaboration between computational modelers, neuroscientists, and psychologists to advance understanding of neural mechanisms underlying cognition.
Heng Ji is a Professor at the Siebel School of Computing and Data Science , affiliated with the Department of Computer Science , Electrical and Computer Engineering Department , and multiple research labs including the Coordinated Science Laboratory and Carl R. Woese Institute for Genomic Biology at the University of Illinois Urbana-Champaign. She serves as an Amazon Scholar and Founding Director of the Amazon-Illinois Center on AI for Interactive Conversational Experiences (AICE) and CapitalOne-Illinois Center on AI Safety and Knowledge Systems (ASKS) . B.A. and M.A. in Computational Linguistics from Tsinghua University M.S. and Ph.D. in Computer Science from New York University Her research bridges Natural Language Processing with Vision-Language Models , Knowledge-Enhanced LLMs , and AI for Science (e.g., chemical language modeling). She leads major multi-institutional projects such as DARPA ECOLE MIRACLE , KAIROS RESIN , and DEFT Tinker Bell , while advising governments (U.S. Air Force Data Analytics Expert Panel) and industry (Amazon, Google, IBM). Her work on multimodal reasoning, agent-based systems, and chemical language models (e.g., mCLM ) has been supported by NSF, DARPA, and corporate partners. Recent publications (2025) focus on LLM agents , vision-language integration , and scientific knowledge acquisition . Awards include NSF CAREER , IEEE Intelligent Systems' AI's 10 to Watch , and multiple Outstanding Paper Awards at ACL/NAACL. She advises students like Chi Han (ACL/NAACL awardee) and post-docs Xiusi Chen and Yuji Zhang , and leads the BLENDER Lab , which develops frameworks like WiNELL (Wikipedia updating) and ProteinZero (protein generation). She has also served as NAACL Secretary and Program Co-Chair for ACL-IJCNLP2022. Outstanding Paper Award at ACL2024 Two Outstanding Paper Awards at NAACL2024 Young Scientist by World Laureates Association (2023-2024) AI's 10 to Watch by IEEE (2013) NSF CAREER (2009) Google/IBM/Bosch Research Awards
Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .
