Prof. Stefan Müller is a Professor at the Institute for German Language and Linguistics , part of the Faculty of Languages and Literature at Humboldt University. His research focuses on syntax, formal grammar theories (especially Head-Driven Phrase Structure Grammar), and computational linguistics. He leads the CoreGram Project , developing cross-linguistic grammars using HPSG formalisms. His work includes analyses of German syntax, constituent order, anaphoric binding, and register phenomena. He is also involved in open-access publishing initiatives through Language Science Press . Contact: St.Mueller@hu-berlin.de . Education and academic background details are not explicitly stated in the provided text, but his professional trajectory indicates deep expertise in theoretical linguistics. His research spans multiple languages including German, Mandarin, and Persian, with a focus on grammar implementation and syntax-semantics interfaces. Key contributions include the Head-Driven Phrase Structure Grammar Handbook (2024), analyses of headless nominal structures in German (2022), and exploration of large language models' theoretical implications (2024). He actively engages in interdisciplinary projects bridging formal grammar and computational methods.
Andrew Zisserman is a Royal Society Research Professor at the University of Oxford's Department of Engineering Science, affiliated with the Visual Geometry Group (VGG). His research focuses on computer vision, artificial intelligence, and neural networks, with significant contributions to multimodal learning, video understanding, and 3D scene analysis. He leads projects exploring visual-language models, audio-visual synchronization, and clinical imaging applications. Key research areas include: Video analysis and temporal modeling Multimodal systems for sign language translation and action recognition 3D shape estimation and physical property inference Foundation models and cross-modal retrieval Recent work highlights: Developed Flamingo and Tapir models for video-language tasks Advancements in spinal MRI analysis and clinical imaging Leadership in EGO4D and VoxCeleb challenges Honors include Fellowship of the Royal Society (FRS) and the ISSLS Prize in Clinical Science 2023 for spinal analysis innovations. His lab collaborates globally, emphasizing real-world applications in healthcare and autonomous systems.
Christopher Potts is Professor and Chair of Linguistics at Stanford University, with a courtesy appointment as Professor of Computer Science. He serves as Director Emeritus of the Stanford Center for the Study of Language and Information (CSLI) and leads the Pragmatic Enrichment & Contextual Interface Lab. His work bridges theoretical linguistics and computational approaches to language understanding. Education: B.A. in Linguistics from New York University (1999) Ph.D. in Linguistics from University of California, Santa Cruz (2003) Potts' research focuses on how computational methods can illuminate linguistic phenomena, particularly in the areas of semantics, pragmatics, and sentiment analysis. His work explores how emotion is expressed in language and how linguistic production and interpretation are influenced by context. He has made significant contributions to understanding conventional implicatures, sentiment analysis frameworks, and the application of neural networks to linguistic problems. His recent work has increasingly focused on the interpretability of large language models and the development of frameworks like DSPy for building reliable AI systems. An analysis of Potts' recent publications reveals a strong trend toward the intersection of linguistic theory and practical AI applications. His work spans theoretical linguistics (e.g., compositionality, preposing constructions), neural network interpretability, and practical NLP systems (e.g., ColBERT, DSPy). The research demonstrates consistent focus on making language models more transparent, controllable, and linguistically informed, with particular attention to how context shapes meaning. Scientific Awards: Best Paper Award at 2024 ACL for 'Mission: Impossible Language Models' Outstanding Paper Award at 2024 ACL for 'CausalGym' ACL Test of Time Award 2023 Dean's Award for Distinguished Teaching (2015-2016) Best New Data Set or Resource Award at 2015 EMNLP Potts has secured numerous research grants as PI or Co-PI from major organizations including Google, Amazon, NSF, Office of Naval Research, and Stanford's HAI institute. His current projects focus on evaluation of retrieval-augmented generation systems, LLM-mediated communication in organizations, interpretability techniques for language models, and frameworks like DSPy for building next-generation AI systems. He has mentored numerous researchers who have gone on to make significant contributions in NLP and computational linguistics. As Director of CSLI (2013-2020) and current Chair of Linguistics at Stanford, Potts has played a key leadership role in shaping interdisciplinary research at the intersection of language, computation, and cognition. His Pragmatic Enrichment & Contextual Interface Lab continues to be a hub for innovative research combining formal linguistic theory with cutting-edge computational methods.
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.
Prof. Dr. Gülşen Eryiğit is a Professor at Istanbul Technical University within the Faculty of Computer and Informatics , Department of Artificial Intelligence and Data Engineering . She founded and directs the ITU Natural Language Processing Group , Turkey's leading team in Turkish-language NLP, and serves as Senior Action Editor for ACL RR , Director of ITU TÖMER (Turkish Language Teaching Center), and Co-Chair of the EU UniDive Cost Action WG3. Education: PhD in Computer Engineering from ITU (2007), MSc and BSc from ITU and Marmara University Research: Focuses on Natural Language Processing for Turkish, including dependency parsing , coreference resolution , multiword expressions , and language education technology Her recent work involves multilingual transfer learning , LLM applications for Turkish text simplification, and gamification for morphology education. She has received prestigious awards like the Siemens Excellence Award and TÜBİTAK's Above Threshold Award . Her research has produced 65+ publications and 29+ projects funded by EU, TÜBİTAK, and industry partners. Scientific Awards: Siemens Excellence Award (2007) Above Threshold Award (TÜBİTAK, 2015) Certificate of Appreciation (EU 7th Framework, 2012) Thank You Plaque (ITU, 2017) The ITU NLP Group under her leadership has developed Turkey's first licensed NLP software exported internationally. She collaborates with European institutions through COST actions and participates in ACL, CoNLL, and LREC conferences. Her lab focuses on language technology for Turkish , including sign language processing and social media normalization.
Prof. Michael Moor is a tenure-track Assistant Professor for Medical AI at ETH Zurich's Department of Biosystems Science and Engineering in Basel. Previously, he conducted postdoctoral research at Stanford University under Prof. Jure Leskovec, focusing on medical foundation models. His work spans causal learning, multimodal AI, and sepsis prediction. Moor holds an MD from the University of Basel and a PhD from ETH Zurich's Machine Learning and Computational Biology Lab under Prof. Karsten Borgwardt. Research Interests: Generalist medical AI models Multimodal medical reasoning Zero-shot and few-shot learning Clinical causal inference Retrieval-augmented language models Sepsis prediction systems Key Achievements: Published foundational work in Nature (2023) on generalist medical AI Developed Med-Flamingo multimodal model (2023) Zero-shot causal learning framework accepted to NeurIPS 2023 (Spotlight) International sepsis prediction study with 156k ICU patients (2023) Lab Activities: Leads ETH's Medical Foundation Models group, collaborating with Stanford HAI and NASA Ames. Active in creating medical AI benchmarks like AgentClinic and developing retrieval-augmented systems like Almanac.
Mark Gales is Professor of Information Engineering at the University of Cambridge and an Official Fellow at Emmanuel College. He is currently on sabbatical leave for the 2024/25 academic year. Prior to his academic career, he worked as a consultant at Roke Manor Research Ltd, developing radar systems, before transitioning to speech and language processing. PhD in 'Model-Based Techniques for Robust Speech Recognition' (University of Cambridge, 1995) BA in Electrical and Information Sciences (University of Cambridge, 1988) His research focuses on speech and language processing , particularly in automated language assessment and low-resource speech technology . He leads the Automated Language Teaching and Assessment (ALTA) Institute , which collaborates with Cambridge University Press & Assessment (CUP&A) to develop commercial tools like Linguaskill and Speak & Improve . These platforms provide automated spoken/written assessment for millions of users globally. Recent publications highlight his work in LLM-driven speech processing , including adversarial attacks on foundation models, end-to-end spoken error correction, and uncertainty estimation frameworks. His team's research spans multilingual capabilities, with deployments in languages ranging from Dholuo to Tok Pisin . Awards : IEEE Fellow, ISCA Fellow Leadership : Fellows' Steward at Emmanuel College Mark has contributed extensively to Hidden Markov Model (HMM) applications in speech recognition, which underpinned early automatic speech systems. His work now bridges LLM-based language assessment with cross-lingual transfer learning and robustness testing for real-world deployments.
Jiwon Yun is an Associate Professor in the Department of Linguistics at Stony Brook University. She holds a Ph.D. in Linguistics from Cornell University (2013) and a B.S.E. in Computer Science & Engineering from Seoul National University (cum laude with honors). Her research focuses on speech prosody, syntax-semantics interfaces, and computational modeling of sentence processing, with special attention to East Asian languages like Korean, Mandarin, and Japanese. Dr. Yun teaches undergraduate and graduate courses in computational linguistics, semantics, pragmatics, and experimental phonetics. Her work bridges theoretical linguistics and experimental methods, examining how prosody interacts with syntactic and semantic structures. Recent publications investigate prosodic disambiguation of syntactic ambiguities, computational models of relative clause processing, and intonation patterns in Korean and Mandarin. She has developed tools for automated speech corpus analysis and maintains a Hangul-Yale Romanization Converter for linguistic research. Her research has been published in journals like Humanities and Social Sciences Communications , Linguistic Inquiry , and Journal of East Asian Linguistics . Teaching responsibilities include courses such as LIN 335 (Computational Linguistics) and LIN 627 (Computational Semantics).
Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.
Maite Taboada is a Distinguished Professor in the Department of Linguistics at Simon Fraser University (SFU), directing the Discourse Processing Lab. She is also an Associate Member of the Cognitive Science Program and School of Computing Science, and affiliated with the Digital Democracies Institute and Visual and Interactive Computing Institute. Her research bridges discourse analysis and computational linguistics, focusing on mechanisms of coherence, discourse parsing, and sentiment analysis. Key projects include analyzing online news comments (SOCC corpus), detecting misinformation (MisInfoText), and monitoring gender representation in media (Gender Gap Tracker/Radar de Parité). Notable research interests span toxic language detection, constructive dialogue systems, and interdisciplinary work between social sciences and engineering. She has led projects funded by SFU and collaborated with organizations like Informed Opinion. Her awards include Fellowship in the Royal Society of Canada. Key contributions include developing the SFU Opinion and Comments Corpus, systems for comment moderation, and frameworks for gender bias analysis using topic modeling. Her work integrates theoretical discourse analysis with applied computational methods, addressing societal challenges like media bias and misinformation.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Fabio Miranda is an Assistant Professor at the Department of Computer Science, University of Illinois at Chicago (UIC) . His research bridges visualization , machine learning , data management , and computer graphics to enable interactive visual analysis of large-scale urban datasets . He has developed systems like UrbanRama (for VR navigation) and The Urban Toolkit (a grammar-based framework), which have been deployed in academia, industry, and government agencies. Education: Ph.D., Computer Science , New York University (2018) M.S., Computer Science , Pontifical Catholic University of Rio de Janeiro (2011) B.S., Computer Science , Federal University of Minas Gerais (2009) Research Interests center on urban visual analytics , 3D analytics , and machine learning for accessibility . His work addresses challenges like sunlight access , sidewalk quality assessment , and commuting flow modeling , often collaborating with urban planners, climate scientists, and occupational therapists. Scientific Recognition includes awards at IEEE VIS , SIBGRAPI , and SIGMOD . His research is funded by NSF , NIH , DOT , and DPI , with media coverage in The New York Times , The Economist , and Architectural Digest . Teaching includes courses like CS 524: Big Data Visualization and Analytics and CS 424: Visualization and Visual Analytics . He emphasizes web-based systems, dataflow frameworks, and interdisciplinary collaboration, with open positions for PhD , MSc , and undergraduate researchers .
Jason Eisner is a Professor in the Department of Computer Science at Johns Hopkins University's Whiting School of Engineering, with a secondary joint appointment in Cognitive Science. He is affiliated with the Center for Language and Speech Processing (CLSP), the Human Language Technology Center of Excellence, and leads JHU's cross-departmental machine learning group. His research focuses on developing probabilistic modeling, inference, and learning techniques for linguistic structure. Eisner has authored over 100 papers in computational linguistics, particularly in parsing, grammar induction, machine translation, computational phonology, computational morphology, and weighted finite-state methods. He is the lead designer of Dyna, a declarative programming language for AI research that allows concise programs backed by efficiency tricks. Eisner's work centers on novel methods in NLP and machine learning, with emphasis on probabilistic modeling and inference in complex, structured settings. His research program combines computer science with statistics and linguistics to create statistical models that capture linguistic structure and develop efficient algorithms for applying these models to data with minimal supervision or through large pre-trained models. As an ACL Fellow, Eisner has made significant contributions to the field. His recent work (2023-2025) shows a strong focus on large language models, semantic parsing, controlled text generation, model interpretability, and privacy-preserving techniques, continuing his long-standing interest in the intersection of probabilistic modeling and linguistic structure. ACL Fellow He teaches courses including Natural Language Processing (601.465/665), Machine Learning: Linguistic and Sequence Modeling (601.765), Declarative Methods (601.325/425/625), and Selected Topics in Natural Language Processing (601.865). His advising focuses on research students through the Argo research group, with emphasis on fundamental research questions in NLP rather than immediate applied engineering.
Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.
Jelle Hellings is an Assistant Professor in the Department of Computing and Software at McMaster University , Canada. His research focuses on high-performance large-scale data management systems with a strong theoretical and algorithmic component, including resilient systems (blockchains) , graph databases , and external-memory algorithms . He previously worked as a Postdoc Scholar at the University of California, Davis and earned his PhD from Hasselt University in Belgium. Education: Doctor of Sciences in Computer Science (2018), Hasselt University Master of Science in Computer Science and Engineering (2011), Eindhoven University of Technology His research interests include scalable resilient systems with Byzantine fault tolerance, database theory, graph query languages, constraints on graph data, and external-memory algorithms for large graph datasets. He has authored numerous high-impact publications on blockchain-based resilient systems, query optimization in graph databases, and theoretical advancements in relation algebra expressiveness. Hellings actively contributes to academic service through program committee memberships and tutorial organization, and he currently teaches courses on future resilient databases and foundational computer science topics.
