Dr. Anwar Haque is an Associate Professor in the Department of Computer Science at Western University, Canada, and a Faculty of Science Distinguished Research Professor. He holds a Ph.D. in Electrical and Computer Engineering and an M.Sc. in Computer Science from the University of Waterloo. Prior to academia, he was Associate Director at Bell Canada. His research focuses on 5G networks, IoT, cybersecurity, AI, and autonomous systems, with over 100 peer-reviewed publications and $15M in collaborative grants. Dr. Haque leads the Western Information & Networking Group (WING) Lab and is the founder/CEO of Bamboo Innovations Inc., a tech startup developing socially responsible smart technologies. Leadership roles include industry expert-in-residence in the Faculty of Science, Undergraduate Chair of the Computer Science Department, and member of Western’s Senate. He has delivered over 30 keynote talks and media features include BBC Earth and The Globe and Mail. Awards include the IEEE CCECE Leadership Award and multiple grants from NSERC, MITACS, and Bell Canada. His work spans network reliability, smart grids, and cybersecurity, with industry partnerships like the Bell-Western 5G Research Centre.
Peter Henderson is an Assistant Professor at Princeton University with joint appointments in the Department of Computer Science and the School of Public and International Affairs. He is affiliated with the Center for Information Technology Policy (CITP), Princeton Language and Intelligence Initiative (PLI), Center for Statistics and Machine Learning (CSML), and Program in Law & Public Policy (PLAW). J.D./Ph.D., Stanford University, 2023 M.Sc., McGill University and Montréal Institute for Learning Algorithms Henderson's research focuses on the critical intersection of artificial intelligence and law, with particular emphasis on AI safety, methods to improve reasoning in foundation models, interdisciplinary approaches to law and AI, and AI governance. His work spans language-grounded reinforcement learning, alignment techniques, strategic decision-making in legal contexts, and public interest artificial intelligence. He investigates how legal frameworks can guide the development of AI systems that benefit society while addressing potential harms. Henderson's recent publications reveal a strong trajectory toward addressing the safety, governance, and legal implications of foundation models. His work combines rigorous technical AI research with deep legal analysis, particularly examining how intellectual property law interacts with AI development, regulatory pathways that balance innovation with harm prevention, and the role of law in shaping responsible AI deployment. A significant thread throughout his research is the development of better evaluation methodologies for AI systems, especially in critical domains like law. SEAS Excellence in Teaching Award (2025) Henderson leads the Princeton Law+Language, AI, & Society (POLARIS) Lab, where he advises students and researchers working at the intersection of AI and legal studies. His research has been supported through collaborations with government agencies, including work with the IRS on audit selection algorithms. His findings have informed practical applications in government efficiency and equity, as well as legal system improvements. Henderson runs the POLARIS Lab at Princeton, which focuses on developing AI systems that work for the public interest, particularly in legal contexts. His team develops sequential decision-making systems for government efficiency, foundation models capable of reasoning about law, and improved safety evaluation frameworks for AI systems. The lab maintains strong connections with legal practitioners and policymakers to ensure research has real-world impact.
Tapio Schneider is the Theodore Y. Wu Professor of Environmental Science and Engineering at the California Institute of Technology. His research focuses on atmospheric dynamics across Earth and other planets, climate modeling innovations, and geophysical turbulence analysis. He contributes to the Climate Modeling Alliance (CliMA) and develops advanced computational tools for climate prediction. Albert-Ludwigs-Universität Freiburg (Vordiplom, 1993) Princeton University (M.Sc. 1997, Ph.D. 2001) University of Washington, Seattle (Visiting Graduate Student, 1994-1995) His research spans climate dynamics , atmospheric turbulence , and AI-enhanced climate modeling , addressing challenges in cloud dynamics, extreme weather patterns, and planetary climate systems. Current work emphasizes hybrid machine learning-physical models and computational acceleration for high-resolution simulations. Recent publications highlight trends in AI integration for climate science, with applications in hydrology , cloud microphysics , ocean circulation , snowpack modeling , and climate tipping points . His team develops open-source tools like ClimateMachine for GPU-accelerated simulations. Scientific Recognition: Fellow, American Geophysical Union (2022) Rosenstiel Award (2019) World Economic Forum Young Scientist (2012) David and Lucile Packard Fellow (2005-2010) Alfred P. Sloan Research Fellow (2004-2006) Tapio leads climate dynamics research at Caltech, directs the Linde Center for Global Environmental Science (2011-2012), and serves as Editor for the Journal of Advances in Modeling Earth Systems . His group collaborates with NASA Jet Propulsion Laboratory (2016-2024) and Google Research (2022-present).
Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.
Fabian Fagerholm is an Assistant Professor in the Department of Computer Science at Aalto University. His work bridges software engineering, human-computer interaction, and empirical research methodologies. He actively participates in research groups such as Software and Service Engineering (SSE) and Human-Computer Interaction and Design (HCID). Fagerholm's research explores: Continuous experimentation in software development Developer cognition and mental models Agile methodologies and team dynamics Low-code platforms and end-user programming Software engineering education and pedagogy His publications reflect a strong empirical focus, with recurring themes of human factors in technical systems and educational innovation. He has received notable awards including: Journal of Systems and Software Best Paper Award (2018) EUROMICRO SEAA Distinguished Paper Award (2017) Teacher of the Year (2013) Nokia Foundation Scholarship (2013) Fagerholm contributes to software engineering infrastructure through tools for experimentation and boundary artifacts, enhancing collaboration in distributed teams.
John Lygeros is a Full Professor and Head of the Institute for Automatic Control at ETH Zurich's Department of Information Technology and Electrical Engineering. He received his B.Eng. (1990) and M.Sc. (1991) from Imperial College London, and Ph.D. (1996) from UC Berkeley. Before joining ETH Zurich in 2006, he held academic positions at the University of Cambridge and University of Patras. His research focuses on: Modeling and control of hierarchical hybrid systems Large-scale dynamical systems applied to biochemical networks Control of automated transportation systems via wireless networks Energy systems and advanced manufacturing control His research demonstrates strong emphasis on optimization methods, distributed control architectures, and machine learning applications in control systems, with significant contributions to real-time optimization algorithms and data-driven control methodologies. Major scientific awards include: HSCC Test of Time Award (2024) ERC Advanced Grant (2018) O. Hugo Schuck Best Paper Award (2018) IEEE George S. Axelby Paper Award (2016) Three Golden Owl teaching awards from ETH Zurich He leads the Automatic Control Laboratory at ETH Zurich and serves as Director of the National Centre of Competence in Research 'Dependable Ubiquitous Automation'. He has advised over 60 doctoral candidates since 2017, with research spanning optimization algorithms, power systems, autonomous systems, and machine learning applications.
Joel Goh is Associate Professor at the Department of Analytics and Operations, NUS Business School, National University of Singapore. He serves as Director of the J.Y. Pillay Comparative Asia Research Centre (under NUS Global Asia Institute) and PhD Program Director at the Institute of Operations Research and Analytics (IORA). Previously, he was Assistant Professor at Harvard Business School (2014-2017) and Visiting Scholar (2017-2022). BSc, MSc, PhD in Operations, Information, and Technology from Stanford University His research focuses on healthcare analytics (preventing health conditions, hospital operations, frailty assessment), supply chain analytics (digital business models, platform leakage), and service platform operations (hospital-at-home programs, incentive design). He co-created the Robust Optimization Made Easy (ROME) software. Recent publications analyze workplace psychological safety (2024), hospital-at-home models (2024), and platform leakage dynamics (2023). His work spans 18+ journals with 740+ citations for burnout cost studies (2022) and 606+ citations for physician well-being research (2017). Teaching Honors : 2023: Best MBA Teaching & Skinner Innovation Award 2021: NUS Annual Teaching Excellence Award 2020: Early Career Research Excellence Award & 40 Under 40 Best MBA Professors Advising & Grants : Served as PhD Program Director. Received NUS Start-Up Grant R-314-000-110-133 (2021) and Humanities & Social Sciences Fellowship (2021). Editorial roles include Associate Editor at Management Science , Manufacturing & Service Operations Management , and Senior Editor at Production and Operations Management .
Dr. Khurram Aziz is a Senior Instructor in the Faculty of Computer Science at Dalhousie University , Halifax, Canada. He is actively engaged in teaching and research, with a focus on optical networks, data center interconnects, and network performance modeling. Education: PhD in Electrical Engineering, Vienna University of Technology, Austria (2008) MSc in Electrical Engineering, National University of Singapore (2003) BSc (Hons) in Electrical Engineering, University of Engineering and Technology, Lahore, Pakistan (1998) His research interests include optical packet and burst switched networks , optical interconnects for data centers , analytical modeling and simulation , and network routing and switching . He has contributed extensively to the design and performance evaluation of scalable optical switches and hybrid switching systems. The recent publications reflect a strong trend in data center optical networks , focusing on performance, blocking probability, signal degradation, and architectural classification. His work bridges theoretical modeling with practical simulation frameworks, such as CloudNetSim++ in OMNeT++, contributing to cloud and high-capacity network research. Dr. Aziz has no listed scientific awards in the provided text. He teaches several core computer science courses including CSCI 2141: Intro to Database Systems , CSCI 3171: Network Computing , CSCI 3132: Object Orientation and Generic Programming , and CSCI 3120: Operating Systems . There is no mention of graduate student supervision or external research grants. He has co-authored book chapters in major handbooks on data centers and switched systems. Dr. Aziz has not listed any formal lab or research team affiliations in the provided content.
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.
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.
Anoosheh Heidarzadeh is an Assistant Professor in the Department of Electrical and Computer Engineering at Santa Clara University's School of Engineering. He holds a Ph.D. in Electrical and Computer Engineering from Carleton University (2012) and previously served as a Visiting Assistant Professor at Texas A&M University (2018-2022) and Associate Research Scientist at the same institution (2015-2017). His postdoctoral research was conducted at the California Institute of Technology (2013-2014). His research focuses on: Information and coding theory : Fundamental limits of data transmission and storage systems Private and secure computing : Protocols for confidential data processing in networked environments Fault-tolerant distributed systems : Resilient computation frameworks for large-scale applications Distributed machine learning : Scalable algorithms for collaborative learning architectures Recent publications (2021-2022) demonstrate strong emphasis on privacy-preserving computation (covering 73% of articles) and distributed coding techniques (67% of articles), with innovations in private information retrieval, matrix operations, and group testing methodologies. Theoretical contributions dominate (87%), while 13% address applied challenges like COVID-19 screening.
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.
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 .
