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.
Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .
Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)
Ole Winther is Professor in High dimensional biological data analysis/Machine learning at the Department of Biology, University of Copenhagen and Professor in Data science and complexity at DTU Compute, Technical University of Denmark. He serves as CRO and co-founder of raffle.ai, CTO and co-founder of FindZebra, Head of ELLIS Unit Copenhagen, and co-PI of the Machine Learning for Life Science Center. His research spans Bioinformatics , Machine Learning , and AI for Science , focusing on applying deep learning to biological sequence analysis, latent variable models, and medical NLP. Winther's work develops predictive and generative models for bioinformatics, with significant contributions to protein localization tools (SignalP, DeepLoc, DeepTMHMM), single-cell genomics, and novel deep learning architectures like variational autoencoders and diffusion models. Analysis of Winther's recent publications (2023-2025) reveals a strong trend toward integrating protein language models with traditional bioinformatics approaches and applying diffusion models to scientific problems. His work bridges theoretical machine learning advancements with practical applications in biology and medicine, particularly in protein sequence analysis, medical search engines, and scientific simulation acceleration. Winther currently supervises a diverse research group including Panagiotis Antoniadis, Rachael M. DeVries, Jun Wang, Beatrix M. G. Nielsen, Felix G. Teufel, Irene R. Rodriguez, Anders Christensen, and Christopher Heje Grønbech. His former students have established successful careers at institutions including Google, Apple, and various startups, with notable alumni like Casper Sønderby (Google Brain) and Søren Sønderby (Apple). He leads significant research initiatives including the ELLIS Unit Copenhagen and the Machine Learning for Life Science Center, while maintaining active industry partnerships through his co-founded companies raffle.ai (enterprise search using NLP) and FindZebra (search engine for rare diseases). His teaching includes Deep Learning courses at both DTU (02456) and University of Copenhagen (NDAK24002U).
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
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 .
Caglar Gulcehre is a Tenure Track Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL) and Principal Investigator of the CLAIRE (Caglar Gulcehre Laboratory of Artificial Intelligence Research) lab. Previously, he worked as a Staff Research Scientist at Google DeepMind, Microsoft Research, and IBM Research. His research focuses on reinforcement learning , foundation models , LLM alignment , and sequence modeling . Current Position : Assistant Professor, EPFL Lab : CLAIRE Lab Previous Roles : Staff Research Scientist at DeepMind, MSR, IBM Research His work spans reinforcement learning , deep learning , and neural architecture design , with a focus on safety , trustworthy AI , and real-world applications . He has published in top venues including Nature , NeurIPS , ICML , and JMLR . Scientific contributions include: Best paper award at NeurIPS Nonconvex Optimization workshop Honorable mention for best paper at ICML 2019 Co-organizer of seven workshops at NeurIPS, ICML, and ICLR He supervises PhD students in areas related to AI for algorithm discovery , neural architectures , and foundation models , including: Skander Moalla Justin Samuel Deschenaux Liangze Jiang Xiuying Wei Yitao Xu
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.
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.
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.
Michael O'Boyle is a Professor at the University of Edinburgh's School of Informatics, where he serves as Director of the ARM Research Centre of Excellence and the EPSRC Centre for Doctoral Training in Pervasive Parallelism. Holding an EPSRC Established Career Research Fellowship, he leads pioneering work in compiler technology for heterogeneous architectures, bridging theoretical advances with practical high-performance computing applications. Professor O'Boyle's research spans multiple cutting-edge areas including heterogeneous code discovery and optimization, neural machine translation for program synthesis, deep neural network system stack optimization, software-defined hardware, and compiler/architecture co-design. His approach integrates constraint analysis, program synthesis, and machine learning to address complex challenges in high-performance computing across diverse hardware platforms. His recent publications reveal a strong trend toward integrating machine learning with traditional compiler techniques, particularly in neural program synthesis, tensor optimization, and architecture-aware compilation. This work represents a paradigm shift in compiler design, moving from rule-based systems to learning-based approaches that can automatically adapt to diverse hardware targets. IEEE/ACM CGO 2025 Distinguished Paper Award for 'Tensorize: Fast Synthesis of Tensor Programs from Legacy Code' IEEE/ACM CGO 2024 Test of Time Award ACM GPCE 2023 Best Paper Award for 'C2TACO: Lifting Tensor Code to TACOM' ACM ASPLOS 2021 Distinguished Paper Award IEEE HPCA 2021 Best Paper Award for 'Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads' Professor O'Boyle has successfully mentored numerous PhD students who have secured prominent positions in academia (including at Cambridge, Edinburgh, Leeds, and McGill) and industry (including Meta, NVIDIA, Qualcomm, Huawei, and Microsoft). His research is supported by significant funding from EPSRC, ARM, and European projects including Bonseyes and Transmuter, demonstrating strong international recognition and industry impact. He leads the influential Compiler and Architecture Design (CArD) Group at the University of Edinburgh and is a founder of the HiPEAC Network of Excellence, which has grown into a major European initiative connecting researchers and practitioners in high-performance and embedded computing.
Ron Steinfeld is an Associate Professor in the Department of Software Systems & Cybersecurity at Monash University, Australia. He holds editorial roles in Designs Codes and Cryptography (since 2017) and has served on technical committees for top-tier conferences like ASIACRYPT, CRYPTO, and EUROCRYPT. His research focuses on quantum-safe cryptography, lattice-based cryptography, and blockchain security, with over 80 refereed publications and AUD$4M+ in research funding. Education: BSc Mathematics and Physics (Monash University, 1998) BE (Hons., First Class) Electrical and Computer Systems (Monash University, 2000) PhD Computer Science (Monash University, 2003) Research Interests: Design and analysis of cryptographic algorithms, quantum-safe protocols, lattice-based security foundations, and blockchain applications. His work underpins NIST standard algorithms like Kyber and Dilithium through structured lattice problem research. Recent Articles Trends: Focus on privacy-preserving blockchain protocols, post-quantum signature schemes, encrypted data search, and cryptographic applications in adversarial AI. Recent work includes fair Bitcoin watchtower schemes and genomic database privacy solutions. Awards: ASIACRYPT 2015 Best Paper Award Advising & Grants: Supervises PhD projects on quantum-safe cryptography and blockchain security. Leads initiatives like the AUD$4M ARC-funded Quantum Information Technology project. Collaborates with industry partners including CSIRO/Data61. Labs/Teams: Key contributor to Monash’s cybersecurity and cryptography research groups, involving interdisciplinary projects on materials discovery ( Æinstein initiative) and post-quantum blockchain security.
Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.
