Arman Cohan is an Assistant Professor in the Department of Computer Science at Yale University, where he leads the Yale NLP Lab since its founding in January 2023. His research spans natural language processing and machine learning with emphasis on language modeling, representation learning, retrieval systems, and specialized domain applications including scientific discovery and AI for science. His primary research interests include: Natural Language Processing Machine Learning Large Language Models Information Retrieval AI for Science Scientific Problem-Solving Recent publications (2025) demonstrate intense focus on evaluating and advancing LLM capabilities across multimodal reasoning, scientific claim verification, financial domain applications, and biological modeling. The lab consistently produces high-impact work accepted at top-tier conferences including ACL, EMNLP, and ICLR, with 11 papers at ACL 2025 alone. Scientific awards include: Best Paper Award at AI4Research Workshop (IJCAI 2024) Outstanding Paper Award at EACL 2023 Best Paper Award at ACL 2024 for Olmo language model research Professor Cohan actively advises PhD students including Kaili Liu, Jacob Dunefsky, Alan Li, Yilun Zhao, and has graduated researchers such as Linyong Nan (now at Zoom) and Ansong Ni (now at Meta). The lab maintains strong industry partnerships and receives substantial research funding as evidenced by its prolific output and conference presence. The Yale NLP Lab hosts the annual New England NLP Workshop and regularly features speakers from leading institutions including Meta AI, Allen Institute for AI, and DeepMind, fostering a collaborative environment for advancing NLP research.
Greg Durrett is an Associate Professor in the Department of Computer Science at University of Texas at Austin, leading the TAUR Lab (Text Analysis, Understanding, and Reasoning ). His research focuses on advancing Large Language Models (LLMs) for knowledge-intensive tasks in medical information processing scientific discovery legal reasoning . He received his B.S. in Computer Science and Mathematics from MIT (2010) and Ph.D. in Computer Science from UC Berkeley (2016). His work develops techniques to train LLMs with new capabilities augment models for reliability assess model outputs improve reasoning frameworks . His 15 most recent publications (2021-2025) span knowledge propagation in LLMs chain-of-thought reasoning code generation benchmarks multi-modal reasoning fact verification discourse analysis . Scientific honors include NSF CAREER Award (2024) NSF grants (2018, 2024) Bloomberg Data Science Grant (2017) Facebook Fellowship (2014) Best Paper Finalist (EMNLP 2013) . Teaching: CS388: Natural Language Processing (graduate) CS371N: NLP (undergraduate) High school NLP module .
Professor Ihab Ilyas is a leading figure in data management and machine learning at the Cheriton School of Computer Science , University of Waterloo , where he holds the Thomson Reuters Research Chair in Data Quality . He is currently on leave from the university, serving as a Distinguished Engineer, Proactive Intelligence at Apple Inc . His research focuses on data cleaning , large-scale data integration , knowledge graphs , and machine learning applications in data quality . He has pioneered systems like HoloClean and Saga , with commercial impacts through co-founded startups Inductiv (acquired by Apple) and Tamr . PhD in Computer Science from Purdue University Co-founder of Inductiv (acquired by Apple) Co-founder of Tamr Research Interests include: Probabilistic and uncertain data management Machine learning for data quality and enrichment Big data systems and information extraction Knowledge graph construction and optimization Scientific Awards and Recognitions include: Fellow of the Royal Society of Canada (2024) C.C. Gotlieb Computer Award (2024) IEEE Fellow (2021) ACM Fellow (2020) Cheriton Faculty Fellowship (2013-2016) Ontario Early Researcher Award
Peter Bühlmann is a Professor at ETH Zürich within the Seminar für Statistik , focusing on high-dimensional statistics, causal inference, and machine learning. His work bridges theoretical advancements with practical software implementations in R packages like pcalg , mboost , and glmmlasso , impacting fields such as genomics, proteomics, and intensive care analytics. Key Contributions : Causal structure learning, stability selection, anchor regression, and deconfounding. Software : Developed widely used R packages for statistical modeling and causal inference. Teaching : Courses on high-dimensional statistics at ETH Zürich and international institutions. Research Trends : Recent articles emphasize causal robustness, domain adaptation, and applications in medicine. His work addresses challenges in heterogeneous data, missing values, and covariate shifts using methods like spectral deconfounding and residual prediction tests. Scientific Recognition : Co-author of a paper designated as a New Hot Paper (Meinshausen and Bühlmann, 2006) by Essential Science Indicators, indicating significant impact in high-dimensional multiple testing.
Tim Althoff is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering, University of Washington, specializing in Artificial Intelligence and Human-Centered Computing. His research focuses on behavioral data science, combining Data Science Natural Language Processing Social Computing Human-Centered AI Ethics & Fairness to extract insights about health and well-being. Recent publications highlight advancements in: Mental health support through AI Wearable sensor health monitoring Online community analysis Reproducibility in data science Public health interventions with notable papers in ACL, Nature Machine Intelligence, and NeurIPS. Scientific recognition includes: ACL 2023 Outstanding Paper Award WWW 2021 Best Paper Award Double ICWSM 2021 Best Paper Awards SIGKDD Dissertation Award 2019 Fulbright Scholarship German National Merit Foundation Actively mentoring postdoctoral researchers and seeking PhD students in areas like neural representation learning, NLP applications to psychology, and mobile health technologies through his Behavioral Data Science Group .
Dr. Jimeng Sun is a Health Innovation Professor at the Siebel School of Computing and Data Science and Carle Illinois College of Medicine at the University of Illinois Urbana-Champaign. Co-founder of Keiji AI , he leads groundbreaking research at the intersection of artificial intelligence and healthcare, actively deploying clinical AI systems and developing frameworks like PyHealth and Therapeutics Data Commons . His research spans four major areas: Clinical AI Systems : Developing interpretable models (e.g., RETAIN) for patient similarity, temporal event prediction, medication recommendation, and clinical outcome forecasting Drug Discovery : Creating molecular optimization frameworks, drug-target interaction models, and AI-driven platforms Clinical Trials : Pioneering patient-trial matching, outcome prediction, and optimization frameworks using deep learning and graph neural networks Biosignal Analysis : Advancing sleep staging, seizure classification, and automated EEG/Cardiac monitoring systems With over 500 top-tier publications (including in Nature , NEJM AI , and leading AI conferences) and an h-index of 99, his work has been recognized with the Top 100 AI Leaders in Drug Discovery and Advanced Healthcare award. He maintains active collaborations with institutions like Massachusetts General Hospital , Medidata Solutions , and OSF Healthcare . His recent publications reveal a strong focus on: Reinforcement learning applications in medical data analysis Large language model adaptation for clinical tasks Knowledge graph integration with AI systems Synthetic data generation for healthcare Multi-modal learning in clinical contexts Explainable AI for medical applications Dr. Sun's lab ( Sunlab ) emphasizes practical impact over theoretical work, actively collaborating with hospitals and healthtech companies. He welcomes contributions from clinicians, researchers, and industry partners through initiatives like his AI for Health webinar series .
Snježana Babić serves as Associate Professor and Head of the Graduate Study Program Informatics - Teaching Major at the Faculty of Informatics in Pula , University of Pula. With a PhD obtained in 2016 and university affiliation since 2017, she teaches across undergraduate and graduate programs focusing on ICT fundamentals, web design, digital competencies, and informatics education methodology. Her educational background includes graduation in 1993 followed by doctoral studies culminating in 2016. Though specific institutions aren't detailed in the text, her career trajectory shows progression from foundational ICT teaching to specialized informatics education leadership. Babić's research centers on educational technology adoption with particular emphasis on programming pedagogy for young learners through the MEMA method. Her work investigates digital competencies across multiple educational contexts, from primary schools to higher education. Recent publications demonstrate rapid adaptation to emerging technologies, with 2025 studies examining ChatGPT integration in Croatian educational settings and cross-cultural applications of programming methods. Analysis of her 15 most recent publications reveals consistent focus on technology acceptance models applied to Croatian educators and students. The research trajectory shows evolution from foundational e-learning systems (2016-2020) to cutting-edge AI and robotics applications (2022-2025), maintaining strong methodological focus on teacher motivation , implementation barriers , and culturally-specific adoption factors . Her teaching portfolio demonstrates deep integration with research interests: Undergraduate: ICT Fundamentals, Web Design and Application Graduate: Digital Competencies in Education, Informatics Education Methodology, Practicum for IT Educators Cross-disciplinary: ICT in Nursing, Healthcare Informatics Babić actively contributes to institutional leadership as program head while maintaining robust research productivity. Her work bridges theoretical technology adoption frameworks with practical implementation challenges in Croatian educational contexts, particularly examining how emerging technologies like humanoid robots and AI assistants can be effectively integrated into teaching practices.
Benjamin Carrison-Schafer is an Associate Professor and Assistant Dean for Graduate Student Success at the Department of Electrical and Computer Engineering, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He leads the Design Automation and Reconfigurable Computing Laboratory (DARClab), focusing on systems, high-level design, and programming methodologies for VLSI computing systems and FPGAs. Education: MBA from McGill University, Canada (2012) PhD in Electrical and Electronic Engineering from University of Birmingham, UK (2003) Research Interests: His work spans modeling, analysis, synthesis, optimization, and implementation of VLSI systems. Current projects include: Approximate Computing, High-Level Synthesis Design Space Exploration, Hardware Security, Behavioral MPSoC Optimization, and Automatic Fault-Tolerant System Generation. His research blends theory and practice, using analytical and experimental techniques to solve real-world problems. Publication Trends: Recent publications demonstrate strong focus on hardware security, FPGA optimization, and automated design methodologies. Key themes include High-Level Synthesis innovations, hardware acceleration techniques, and cross-disciplinary applications of reconfigurable computing. His work frequently addresses challenges in hardware trustworthiness, energy efficiency, and design automation scalability. Professional Activities: Associate Editor: IEEE Transactions on Sustainable Computing (2022-present) Conference Chair: ICCD 2024, DCAS 2024 Program Committee: ASP-DAC, DATE, FCCM, GLSVLSI Advising & Labs: Supervises multiple PhD and Master's students at DARClab. Current research includes domain-specific architecture design, hardware security, sustainable computing, and ML for VLSI design. The lab collaborates with industry partners like Renesas Electronics and develops commercial tools through spin-off company highX Technologies.
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.
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).
Vesna Terzic is a Professor in the Department of Civil Engineering and Construction Engineering Management at California State University Long Beach's College of Engineering. Her research specializes in seismic performance assessment, infrastructure resilience, and probabilistic risk analysis of structures. Education includes a PhD in Structural Engineering from UC Berkeley, MS in Earthquake Engineering from Ss. Cyril and Methodius University, and BS in Structural Engineering from University of Belgrade. Research focuses on developing advanced computational frameworks for evaluating post-earthquake functionality of buildings and bridges. Her work integrates performance-based engineering with resilience quantification, emphasizing practical applications for seismic design and retrofitting. Recent publications demonstrate consistent focus on functional recovery modeling, structural health monitoring, and optimization of protective systems. Research trends show progression from component-level analysis to regional recovery simulation frameworks. Major awards: ACI Chester Paul Siess Award for Excellence in Structural Research (2017) Popert Fellowship, UC Berkeley (2009) Professional service includes membership on FEMA P-58 project committees and contributions to OpenSees development. Current projects investigate soil-structure interaction effects on tall buildings and recovery-based design methodologies.
Alexis Battle is an Associate Professor at Johns Hopkins University with appointments in Biomedical Engineering , Computer Science , and Genetic Medicine (secondary). She directs the Malone Center for Engineering in Healthcare and serves as Deputy Director of the Data Science and AI Institute . Educated at Stanford University (PhD in Computer Science, 2013), Battle transitioned to academia after leadership roles at Google. Research Focus: Battle’s work bridges genomics and machine learning , emphasizing the impact of genetic variation on human health. Her lab develops tools like Watershed to predict functional effects of rare variants, aiming to enhance rare disease diagnosis. Key themes include non-coding DNA analysis , personalized genomics , and systems biology , with applications in cardiovascular disease and neurodegenerative disorders . Publications & Awards: Over 60 peer-reviewed articles in journals like Nature , Science , and Genome Biology , with recent emphasis on single-cell transcriptomics , multiomics integration , and telomere biology . Recipient of the President’s Frontier Award (2022), Microsoft Investigator Fellowship (2019), and Searle Scholar (2016). Scientific Awards: 2022 President’s Frontier Award 2019 Microsoft Investigator Fellowship 2019 Johns Hopkins Discovery Award 2017 Johns Hopkins Catalyst Award 2016 Searle Scholar Advising & Funding: Mentors 11 PhD students, 3 undergraduates, and postdoctoral fellows. Her research is funded by NIH, Searle Scholars, and institutional grants. The Battle Lab collaborates on projects like the GTEx Consortium , focusing on gene regulation and clinical genomics .
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.
Artur W. Dubrawski is an Alumni Research Professor of Computer Science and Director of the Auton Lab at Carnegie Mellon University's School of Computer Science. He leads interdisciplinary research on Artificial Intelligence, Machine Learning, and Robotics with real-world applications in healthcare, nuclear safety, food safety, and counter-human trafficking. His work focuses on bridging gaps between data-driven AI and empirical sciences through probabilistic modeling, predictive analytics, and time-series intelligence. Lab: Auton Lab (founded 1993) Collaborations: Allegheny County Health Department, USDA, CDC, U.S. Army Research Impact: AI for wastewater-based COVID-19 forecasting, radiological inspection systems, and hospital infection detection His students and affiliates include current PhD candidates Angela Chen, Emma Erickson, Cecilia Morales, Willa Potosnak and past researchers like Benedikt Boecking (co-inventor of Interactive Weak Supervision). The lab has spun off startups like Marinus Analytics (IBM XPrize finalists) and developed open-source tools like auton-survival for survival analysis. Key Grants: $10.5M U.S. Army contract for AI-driven predictive maintenance research.
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.
