Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.
Dr. George Stamou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), serving as Director of the Artificial Intelligence and Learning Systems Laboratory (AILS). His expertise spans knowledge representation, machine learning, neural networks, and semantic technologies. He leads interdisciplinary initiatives such as the postgraduate program 'Data Science and Machine Learning' (2018–2022). Research Interests: Focuses on knowledge graphs, interpretable AI, semantic web applications, and multimodal learning. His work integrates formal logic systems (e.g., description logics) with modern deep learning techniques, addressing challenges in explainability, bias detection, and ethical AI applications. Publications: Over 150 articles in AI journals/conferences with an h-index of 34 (Google Scholar). Notable contributions include datasets like CHORDONOMICON (music analysis), GOSt-MT (gender bias in MT), and methodologies for counterfactual explanations in machine learning. Awards & Committees: Active in W3C and RuleML standardization bodies. Co-organized major AI conferences. Recognized for contributions to semantic interoperability and knowledge-based systems. Labs & Teams: Directs AILS-NTUA lab and collaborates with CISRI (Computer & Information Systems Research Institute). Engages in EU projects like CultureLabs (cultural heritage digitalization) andsmarty4covid (health data analysis).
William Yang Wang serves as the Mellichamp Professor of Artificial Intelligence at the University of California, Santa Barbara (2019-present). He directs the UCSB Center for Responsible Machine Learning, the Mind and Machine Intelligence Initiative, and the UCSB NLP Group. His research focuses on theoretical foundations and practical algorithms for AI, particularly in NLP, LLMs, and neuro-symbolic reasoning. PhD in Computer Science from Carnegie Mellon University Active in AI theory and applications (2016-present) Research interests span multiple AI domains, with special emphasis on NLP and responsible machine learning. He has pioneered datasets like HybridQA, TabFact, and VaTeX, enabling advancements in multi-hop QA, fact verification, and video-language tasks. His work combines statistical relational learning with modern deep learning paradigms. Recent publications center around multimodal reasoning, knowledge graph integration, and responsible AI development. He has received numerous accolades including the IEEE SPS Pierre-Simon Laplace Award (2024) and NSF CAREER Award (2021). Karen Sparck Jones Award (2022) DARPA Young Faculty Award (2018) IBM Faculty Award Mentoring 15+ PhD and postdoc researchers who now hold positions at Microsoft Research, Amazon, Meta GenAI, and academic institutions like Arizona and Rutgers. His lab maintains active collaborations with industry partners through initiatives like ChipAgents.ai, which he founded as CEO.
Lorraine (Xiang) Li is an Assistant Professor in the Department of Computer Science at the University of Pittsburgh’s School of Computing and Information (SCI). Her research focuses on the intersection of natural language processing, commonsense reasoning, knowledge representation, and machine learning, particularly in designing probabilistic models and evaluation methods for implicit commonsense knowledge in language. Li holds a PhD from the University of Massachusetts, Amherst, and previously worked as a young investigator with the Mosaic team at AI2. She has an M.S. in Computer Science from the University of Chicago, where she conducted research at TTIC. Her work emphasizes advancing AI’s ability to reason contextually and generate robust, human-like understanding through probabilistic frameworks. Key research themes include bias detection in reasoning models, iterative model editing, domain adaptation with LLMs, and evaluating commonsense through probabilistic measures. Her recent publications explore challenges like confirmation bias in chain-of-thought reasoning and geographical robustness in object recognition. Li actively contributes to the NLP community, serving on program committees for ACL, EMNLP, NAACL, and ARR. Though no formal awards are listed, her prolific publication record reflects her impact in AI research. She currently leads research in procedural knowledge models (e.g., Plasma) and long-tail knowledge generation, advancing foundational AI methodologies.
Vibhav Gogate is a Professor and Associate Head of Research at University of Texas at Dallas, specializing in machine learning and artificial intelligence. His research focuses on probabilistic graphical models, statistical relational learning, and integrating deep learning with graphical models. Professor Gogate has received numerous awards including the NSF CAREER Award (2017), Outstanding Researcher Award (2022, 2017), and Best Paper awards at top AI conferences. His research funding includes projects from NSF and DARPA. Education: PhD, University of California, Irvine MS, University of Maine BS, University of Mumbai Recent Publications: His research spans probabilistic inference, tractable models, and neural network approaches for efficient reasoning, with publications in NeurIPS, AAAI, UAI, and AISTATS. Recent work focuses on scalable inference methods and explainable AI systems for complex domains. Research Funding: Secured over $8M in grants from DARPA and NSF for projects in explainable AI and probabilistic reasoning. Teaching: Regularly teaches graduate and undergraduate courses in Machine Learning, Artificial Intelligence, and Advanced Statistical Methods.
Renée J. Miller is a Professor and Canada Excellence Research Chair in Data Intelligence at the Cheriton School of Computer Science, University of Waterloo. Her research focuses on data integration, data management, and open data systems. She holds a PhD in Computer Science from the University of Wisconsin-Madison and bachelor’s degrees in Mathematics and Cognitive Science from MIT. Her work addresses challenges in data preparation, integration, and curation, aiming to reduce the burden on data scientists. She co-authored foundational papers on data exchange and schema mapping, earning the ICDT Test-of-Time Award (2013) and the Alonzo Church Award (2020). Miller has led major initiatives like the NSERC Business Intelligence Network and the International Very Large Data Base Foundation. Her grants include NSERC Accelerator Awards and funding from IBM, SAP, and Microsoft. Notable students include Ariel Fuxman (SIGMOD Dissertation Award winner) and Oktie Hassanzadeh (IBM PhD Fellow). Her research group, the Miller Lab, develops tools like Clio for schema mapping and systems for data lake exploration (RONIN, JOSIE).
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Ian Horrocks is a Professor of Computer Science at the University of Oxford and a Fellow of Oriel College. His research focuses on knowledge representation, description logics, automated reasoning, and semantic web technologies. He has held academic positions at the University of Manchester (2003–2007) and served as Chief Scientist at Cerebra Inc. (2001–2006). Horrocks earned his BSc (1st class), MSc, and PhD in Computer Science from the University of Manchester (1981–1997). His work includes foundational contributions to ontology languages (e.g., OWL) and reasoning systems such as HermiT and ELK. He has supervised over twenty doctoral students and postdoctoral researchers. His honors include Fellowships from the Royal Society (2011), ECCAI (2009), and the British Computer Society (2005). He serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge and leads initiatives in semantic web standards and knowledge graph applications. Key Roles: Editor-in-Chief (Journal of Web Semantics), Co-Chair (W3C OWL Working Group) Grants: EPSRC Senior Research Fellowship (2005), numerous international collaborations Labs: Oxford Semantic Technologies, involvement in projects like RDFox and PAGOdA
Danqi Chen is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. Their research focuses on advancing large language models (LLMs), with emphasis on model alignment, safety, and long-context reasoning capabilities. Key research areas: LLMs, AI safety, retrieval systems, and model optimization Recent work explores theorem proving, context encoding, and ethical content generation Their 2025 publications highlight innovations in formal verification scaffolding, attention mechanism efficiency, and copyright-aware generation. 2024 studies investigate continual memorization, rule-based chatbot representations, and scientific literature retrieval benchmarks. Current projects demonstrate commitment to improving model robustness, interpretability, and security compliance in multimodal systems.
Wenpeng Yin is an Assistant Professor in Computer Science and Engineering, specializing in Natural Language Processing and Machine Learning. His research focuses on advancing Large Language Models (LLMs) and their applications in scientific, societal, and interdisciplinary domains. Research Interests : LLMs, medical QA, financial AI, model consistency, and instruction-following frameworks. Recent Work : Investigates low-resource NLP tasks, bias evaluation (Gptbias), and adaptive trading systems using LLMs. Current trends in his publications highlight innovations in multimodal learning, symbolic reasoning, and ethical AI, with a strong emphasis on practical implementations across diverse fields.
Habib Ullah is an Associate Professor in Data Science at the Norwegian University of Life Sciences (NMBU), Norway, where he conducts research at the intersection of computer vision and machine learning. He is affiliated with the Institute of Data Science under the Faculty of Science and Technology. He has previously held academic positions at COMSATS University Islamabad, Pakistan, and the University of Ha'il, Saudi Arabia, and served as a postdoctoral researcher at The Arctic University of Norway. Educational Background: PhD in Information and Communication Technology (Computer Vision), University of Trento, Italy (2011–2015) MSc in Electronics and Computer Engineering, Hanyang University, South Korea (2007–2009) BSc in Computer Systems Engineering, NWFP University of Engineering and Technology, Pakistan (2002–2006) Habib Ullah's research is primarily focused on computer vision and machine learning, with applications in aquaculture, agriculture, and human behavior analysis. He investigates underwater fish feeding sounds using audio classification, develops zero-shot learning models for recognizing unseen classes, and applies deep learning to detect stress in salmon via skin dot patterns. He also explores AI-driven controlled environment agriculture, leveraging sensors and automation for optimal crop growth. His work emphasizes practical AI solutions for real-world challenges in environmental and biological domains. The recent publications highlight a strong trend in leveraging deep learning for zero-shot and semi-supervised learning, particularly in computer vision tasks such as sea ice classification, crowd anomaly detection, and agricultural monitoring. His research spans remote sensing, biomedical signal processing, and human activity recognition, demonstrating interdisciplinary versatility. The keywords reflect a focus on robust feature representation, knowledge transfer, and model generalization. Scientific Awards and Funding: Industrial PhD grant 'Advancing Controlled Environment Agriculture AI' from The Research Council of Norway (Project number 354125, 2 million NOK, 2024) Team member (Coordinator-Participant) in the Battery Cell Assembly Twin (BatCAT) project funded by Horizon Europe (7 mEuro, 2023–2027) Development of an AI-Based Image Analysis System for Monitoring Plant Status (Funding: 1.8 mNOK, starting 2025) Habib Ullah actively supervises PhD projects and contributes to academic service through editorial and organizational roles. He has served as an Associate Editor for IEEE Access, Guest Editor for MDPI Remote Sensing, and Editor of the Springer book Machine Learning Techniques and Sensor Applications for Human Emotion, Activity Recognition, and Support (ML-SHEARS) . He has also been a Track Chair and Program Committee Member for several international conferences, reflecting his leadership in the academic community. His research is supported by significant grants and collaborative projects, indicating strong institutional and international engagement. He is involved in multiple research teams and projects, including the BatCAT project on battery manufacturing and AI applications in controlled environment agriculture with RIFT LABS AS. His lab work integrates deep learning, sensor fusion, and data analytics for environmental and biological monitoring systems.
Dr. Vasant Honavar is a Professor of Computer Science and Informatics at Pennsylvania State University, holding the Edward Frymoyer Endowed Chair. He serves as Director of the Center for Artificial Intelligence Foundations and Scientific Applications and Associate Director of the Institute for Computational and Data Sciences. His expertise spans artificial intelligence, machine learning, causal inference, and bioinformatics. Honavar has led over $60M in research grants and mentored 36 PhD students, 30 MS students, and numerous undergraduates. He is a Fellow of the AAAS and recipient of NSF Director’s Awards. Education: Ph.D., Computer Science and Cognitive Science, University of Wisconsin–Madison (1990) M.S., Computer Science, University of Wisconsin–Madison (1989) M.S., Electrical and Computer Engineering, Drexel University (1984) B.E., Electronics Engineering, Bangalore University (1982) Research Interests: His work focuses on machine learning, causal inference, knowledge representation, health informatics, and algorithmic fairness. Notable contributions include scalable algorithms for big data analytics and predictive modeling, as well as computational infrastructure for interdisciplinary science. Awards: Fellow, AAAS (2018) ACM Distinguished Member NSF Director’s Award for Superior Accomplishment (2013) Edward Frymoyer Endowed Chair (2013) Leadership: Honavar co-founded the Penn State Center for Artificial Intelligence and led the NIH-funded Biomedical Data Sciences Ph.D. program. He is a Co-PI of the North East Big Data Innovation Hub and serves on editorial boards of journals like IEEE/ACM Transactions on Computational Biology and Bioinformatics. Lab & Teams: Directs the Artificial Intelligence Research Laboratory and the Center for Big Data Analytics and Discovery Informatics, fostering collaborations across computer science, life sciences, and health sciences.
Alex Lombardi is an Assistant Professor of Computer Science at Princeton University, specializing in cryptography and theoretical computer science. His work explores cryptographic proof systems, post-quantum security, and quantum cryptography. Princeton University (Current) Simons-Berkeley Postdoctoral Fellow (Former) MIT (Graduate Training) Visiting Scientist, Cryptography 10 Years Later Program (2025) Education: PhD in Computer Science from MIT (advised by Vinod Vaikuntanathan) Master's Thesis on Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic Dr. Lombardi's research spans foundational cryptography, with a focus on indistinguishability obfuscation, worst-case assumptions, and quantum cryptographic protocols. His work on SNARGs and PPAD hardness has advanced cryptographic proof systems, while his recent projects address quantum verification and post-quantum security. He encourages prospective cryptography students to apply to Princeton's PhD program. His publications highlight advancements in LWE-based cryptography, quantum protocols, and complexity-theoretic foundations. Key themes include secure computation, hash function design, and cryptographic reductions under quantum assumptions. Scientific Awards: Simons-Berkeley Postdoctoral Fellowship Dr. Lombardi serves on program committees for STOC 2025, EUROCRYPT 2025, and other conferences. He has taught courses like COS 433/533 (Cryptography) and COS 533 (Advanced Cryptography) at Princeton.
Steven Kelts is a Lecturer at Princeton University, affiliated with the School of Public and International Affairs (SPIA) and the Department of Computer Science . He leads the Integrated Ethics in CS program and has served as Director of the non-profit All Tech Is Human. Research Focus: Kelts examines ethical frameworks in technology innovation, historical political economies, and the intersection of democratic theory with corporate responsibility. His work spans Measuring ethics education in computing Evolving corporate structures for ethical action Locke's economic justice theories Machiavelli's republican ideals Madison's institutional designs Publications reveal trends in: Utilitarian logic in Agile teams Roman censorship models 17th-century English economic debates Mill's social value legislation Scientific Recognition: Recipient of Princeton's Council on Science and Technology grants for Agile Ethics program Google seed grant for corporate ethics frameworks University-wide award for GradFutures AI ethics leadership Advisory Roles: Includes ethics advisor to the Responsible A.I. Institute and institutional design mentor for political theory projects.
Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.