Find Academic Supervisors

Keir MoultonView profile

Associate Professor

• Syntax
• Semantics
• Syntax-Semantics Interface
• +5 more

Keir Moulton is an Associate Professor and Graduate Chair in the Department of Linguistics at the University of Toronto. He holds a PhD from the University of Massachusetts, Amherst, and a BA (Honors) from the University of Toronto. His research focuses on the syntax-semantics interface, experimental linguistics, and formal approaches to clause structure and anaphora. He has conducted extensive experimental work on pronoun resolution, ellipsis, and binding theory, with a particular interest in exploring how structural constraints influence language processing. His academic career includes roles as co-editor of NELS 34 and contributions to major linguistics conferences such as SALT and WCCFL. Moulton's recent work examines topics like underspecified pronoun interpretation, Korean VP anaphora, and the cognitive processing of syntactic structures. His methodologies blend formal theoretical analysis with experimental techniques, including eye-tracking studies and acceptability judgments. Key research areas include: experimental syntax-semantics interaction, binding theory, ellipsis resolution, and the typology of clausal complementation. He has published over 50 articles in journals like Language , Linguistic Inquiry , and Journal of Cognitive Science , as well as book chapters and edited volumes. Moulton’s work has been supported by grants from the Social Sciences and Humanities Research Council (SSHRC) of Canada. His teaching focuses on graduate courses in syntax, semantics, and experimental methods.

Mai Ha VuView profile

Assistant Professor

• Theoretical Linguistics
• Computational Linguistics
• Mathematical Linguistics
• +6 more

Mai Ha Vu is an Assistant Professor at the University of Toronto Mississauga , split between the Department of Language Studies and the Department of Mathematics, Computer Science, and Statistics . Her work bridges theoretical linguistics, computational methods, and biological data modeling. Ph.D. in Linguistics, University of Delaware (2020) M.A. in Linguistics, University of Delaware (2014) B.A. in Psychology and Linguistics, Grinnell College (2013) Research focuses on applying formal language theory to understand human language patterns and train biologically reliable language models . Recent work includes antibody language modeling (Nature Computational Sciences 2022) and syntax-prosody mapping via logical transductions (SIGMORPHON 2022). Key research trends in publications: interdisciplinary applications of computational linguistics to immunology, psycholinguistic modeling of neural language models, and formal syntactic analysis of negation and wh-questions across languages.

Marc AuthierView profile

Professor

• Syntactic Theory
• Semantic Theory
• Romance Linguistics
• +3 more

Marc Authier is a Professor of French and Linguistics at The Pennsylvania State University's Department of French and Francophone Studies, part of the College of the Liberal Arts. His research focuses on syntactic theory, semantic theory, and Romance linguistics, with special emphasis on French constructs. He holds a Ph.D. from the University of Southern California. His professional bio highlights expertise in clausal structure, implicit arguments, polarity, quantification, and reference in Romance and Germanic languages. His work bridges theoretical linguistics with formal semantics and mathematical logic. Authier's recent publications (2014–2025) explore French syntax phenomena such as ellipsis, exceptives, mirative focus fronting, and quantification dynamics. He engages with debates on syntactic structures, phonological overt elements, and the syntax-semantics interface. No scientific awards are explicitly mentioned, though his extensive publication record suggests significant scholarly contributions. He has no listed advisees or grants in the provided data.

Tej ChajedView profile

Assistant Professor

• Formal verification of systems software
• Concurrent systems verification
• Crash-safe file systems
• +5 more

Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison, where he conducts research in formal verification of systems software. His work focuses on building and proving the correctness of critical systems, particularly file systems and concurrent software. Dr. Chajed earned his PhD from MIT in the PDOS group, followed by a one-year postdoc at VMware Research before joining UW-Madison. His academic journey reflects a strong commitment to bridging theoretical formal methods with practical systems implementation. Chajed's research centers on formal verification techniques for systems software, with particular emphasis on concurrent and crash-safe systems . His work aims to eliminate bugs in critical software through mathematical proofs of correctness. Key contributions include DaisyNFS (a verified concurrent file system), the Perennial framework for reasoning about crash safety, and Goose for connecting proofs to Go code. His research spans the intersection of programming languages, operating systems, and formal methods, developing practical tools that bring verification to real-world systems. His recent publications demonstrate a consistent trajectory toward more practical and scalable verification techniques for increasingly complex systems. The research shows progression from foundational verification frameworks to applied work on specific systems like file systems, journaling, and distributed protocols. A notable trend is the focus on making verification more accessible and practical for systems developers, bridging the gap between theoretical formal methods and real-world software engineering. Dr. Chajed serves on numerous program committees including OSDI 2025 PC, PLDI 2024 PC, SySDW 2023 PC, ECOOP 2023 ERC, CPP 2023 PC, POPL 2023 PC, PLDI 2022 PC, POPL 2022 AEC, EuroDW 2021 PC, POPL 2021 AEC, PLDI 2020 AEC, POPL 2020 AEC, and SOSP 2019 AEC, reflecting his standing in the systems and programming languages research community. In teaching, Chajed has developed and instructed courses on systems verification, operating systems, and protocol verification. He previously helped create MIT's 6.826 (Principles of Computer Systems) during his PhD. His passion for technical communication was cultivated during his time as a Communication Fellow in the EECS Communication Lab at MIT, where he continues to offer guidance to students on writing and presentation skills. His research group at UW-Madison focuses on advancing the state of the art in systems verification, with current projects centered around practical verification frameworks for concurrent and crash-safe systems.

Adam JardineView profile

Associate Professor

• Phonology
• Computational Linguistics
• Formal Language Theory
• +4 more

Adam Jardine is an Associate Professor in the Department of Linguistics at Rutgers University. He serves as the Graduate Program Director, overseeing the academic affairs of the department's graduate programs. His research focuses on computational and mathematical approaches to phonological theory, with emphases on formal language theory, learnability, and the application of computational models to phonological phenomena. Jardine holds a PhD in Linguistics from the University of Delaware (2016) and has held prior academic positions. His research integrates theoretical linguistics with computational methods, exploring topics such as autosegmental phonology, subregular complexity classes, and phonological learning algorithms. He has organized major conferences including AMP 2024 and workshops on subregular phonology. Jardine leads NSF-funded research on subregular inference of morpho-phonology (Award #2416184), collaborating with Jane Chandlee and Jeffrey Heinz. Key contributions include work on autosegmental representations, computational phonology, and the logical foundations of phonological theory. He has advised numerous PhD students, including Huteng Dai (2024) and Hyunjung Joo (expected 2026), whose research spans phonological learning and computational modeling. Jardine teaches advanced courses such as Phonology Seminar and maintains active participation in interdisciplinary projects linking linguistics to computer science and artificial intelligence. Recent work includes contributions to The Cambridge Handbook of Phonology (2026) and co-organizing sessions on computational learnability at the LSA Annual Meeting. His lab focuses on formal phonology, with ongoing projects exploring the computational boundaries of phonological systems and the application of recursive schemes to linguistic analysis.

• Linguistics
• Cognitive Psychology
• Computational Psychology
• +3 more

Yasutada Sudo is a Professor of Linguistics at University College London (UCL), holding positions since 2024. Previously, he served as Associate Professor (2018–2024) and Lecturer in Semantics (2013–2018) at UCL. He earned his Ph.D. in Linguistics from MIT. His research focuses on formal semantics, pragmatics, and their intersections with cognitive psychology and computational models. Key areas include scalar implicatures, plural predication, anaphora resolution, and linguistic typology. His work spans multiple languages, including Japanese, Greek, and Italian. His research interests emphasize experimental semantics, cross-linguistic variation in quantificational structures, and the interaction between syntax and semantics. Recent work explores non-maximality effects, perspective sensitivity, and the cognitive underpinnings of pragmatic inferences. He has contributed to debates on Magri effects, blindess hypotheses, and the role of context in interpretation. Publications from 2025–2021 reveal a focus on scalar implicatures, plural inferences, and formal semantic frameworks. His 2025 articles address alternative-based analyses and experimental validation of pragmatic theories. Earlier work (2020–2014) covers gender in Greek, ordinal semantics, and perspective-shifting verbs like 'come' and 'go'. No scientific awards are explicitly listed, but his extensive publication record reflects scholarly impact. He leads UCL’s semantics research group, hosting seminars like PLIN0056, and contributes to academic discourse through peer-reviewed journals and conference presentations.

Jakub SzymanikView profile

Associate Professor

• Cognitive Science
• Computational Linguistics
• Theoretical Computer Science
• +5 more

Dr. Jakub Szymanik is an Associate Professor affiliated with the Center for Brain/Mind Sciences and the Computer Science Department at the University of Trento . His research bridges computational modeling, formal logic, and cognitive neuroscience to investigate the relationship between linguistic structures and cognitive processes. Research Focus : Semantic universals, quantifiers, Boolean concepts, and decision-making strategies. Methodology : Combines neural networks, logical complexity analysis, and neurobehavioral experiments. Recent Publications (2020-2023) : Explores quantifier emergence, semantic representation optimization, and computational models of cognitive trade-offs, published in Cognition , Cognitive Science , and Open Mind . Scientific Recognition : ERC Starting Grant: Cognitive Semantics and Quantities NCN Hybrid Reasoning Models NWO VENI Grant: What makes social interactions hard? Research Collaborations : Mentored former group members now at institutions including the University of Washington, Tel Aviv University, and Polish Academy of Sciences.

• Formal Semantics
• Cognitive Linguistics
• Theoretical Linguistics
• +3 more

Dr. Nathan Klinedinst is a Lecturer in the Department of Linguistics at University College London (UCL), affiliated with UCL Psychology and Language Sciences. His research focuses on formal theories of meaning and communication, integrating theoretical linguistics, experimental methods, and cognitive science principles. He holds a PhD from the University of California (2007) and a BA from the University of Nevada, Reno (2000). His primary research interests include semantic presuppositions, question embedding, and the symmetry problem in formal semantics. He explores how linguistic meaning interacts with cognitive processes and computational models. Recent work examines exhaustivity in questions, vagueness in language use, and logical connectives in non-truth-table frameworks. Selected publications span 2004–2017, addressing topics like disjunctive antecedents, progressive aspect intensionality, and alternative-based semantic frameworks. His work bridges theoretical linguistics with empirical and computational approaches, contributing to debates in semantics, pragmatics, and cognitive linguistics. No scientific awards or grants are specified in the provided text. His academic advising and lab affiliations remain unspecified, though his departmental role suggests involvement in teaching and research supervision.

Egor KostylevView profile

Associate Professor

• Foundations of AI
• Symbolic AI
• Description Logics
• +9 more

Egor Kostylev serves as an Associate Professor in the Department of Informatics within the Faculty of Mathematics and Natural Sciences at the University of Oslo. His research focuses on the theoretical foundations connecting symbolic and sub-symbolic artificial intelligence, particularly examining relationships between formal logic systems and machine learning approaches. His educational background includes an MSc (Specialist, 2005) and PhD (Candidate, 2009) from Lomonosov Moscow State University under Prof. Vladimir A. Zakharov. He subsequently held research positions at the University of Edinburgh (2010-2013) and the University of Oxford (2013-2020) before joining the University of Oslo in 2020. Kostylev's research interests center on bridging symbolic AI formalisms with sub-symbolic approaches. He investigates connections between various logics (Description Logics, Temporal Logics, Datalog), query languages (SPARQL, Regular Path Queries, OTTR), and machine learning formalisms (Graph Neural Networks, Markov Logic Networks). His work addresses critical challenges in Explainable, Trustworthy, and Green AI through theoretical foundations that connect different AI paradigms. His publication record demonstrates consistent high-impact contributions in theoretical computer science and AI, with numerous publications in top venues including AAAI, LICS, Journal of the ACM, and ICLR. His recent work shows a clear trajectory toward unifying logical reasoning with neural network approaches, particularly through graph neural networks and their connections to logical formalisms. The research spans theoretical foundations of knowledge representation, temporal reasoning in knowledge bases, and the logical expressiveness of modern neural architectures. As a research leader, Kostylev supervises multiple PhD students including Shuwen (Aurora) Liu, Maximilian Pflüger, Roxana Pop, Dongzhuoran Zhou, and Erik Snilsberg. He serves as a Research Theme Leader for the Integreat SFF: Norwegian Centre for Knowledge-driven Machine Learning. His teaching responsibilities include IN3020/4020 Database Systems courses. He leads the Data and Knowledge Management (DKM) research group at the University of Oslo, which focuses on foundational aspects of knowledge representation, database theory, and the intersection with modern machine learning techniques. The group actively collaborates with international researchers and contributes to advancing theoretical understanding of how symbolic and neural approaches to AI can complement each other.

Susagna Tubau MuntañaView profile

Associate Professor

• Theoretical Linguistics
• Syntax
• Negation Phenomena
• +5 more

Susagna Tubau Muntaña is an Associate Professor at the Autonomous University of Barcelona (UAB), Department of English Philology and German Studies. She is part of the Center for Theoretical Linguistics and the Theoretical Linguistics Research Group funded by the Generalitat de Catalunya. Her academic roles include tenures as Associate Professor (2020–2023), Interim Associate Professor (2015–2020), and various teaching/research positions at UAB and other institutions since 2001. Education: PhD in English Philology (UAB, 2008) MA in Linguistics (University College London, 2004) MA in English Philology (UAB, 2003) Bachelor's in English Philology (UAB, 2001) Research Focus: Main interest: Theoretical linguistics, syntax, and negation phenomena (simple/double negation, negative agreement, negative quantifiers) Secondary areas: First/second language acquisition, the that-trace effect in English, gender expression in translated texts Key contributions: Studies on Catalan and English negative concord, experimental syntax, and language typology Grants & Projects: Principal Investigator (IP) of a funded project, plus member of 6 other projects and 2 thematic networks Active in projects like La interpretación de las categorías funcionales (2018–2021) and EXPLETIVITAD Y SIGNIFICADO EXPRESIVO (2024–2027) Awards & Recognition: Positive evaluations from CNEAI (National Commission for Research Activity) and AQU (Catalonia's Quality Agency) Speaker at 40+ linguistics conferences Reviewer for journals, La Caixa-British Council grants, and U.S. National Research Foundation projects Lab/Team Affiliation: Member of the consolidated Theoretical Linguistics Group funded by the Catalan government

Richard K. LarsonView profile

Professor

• Formal Linguistics
• Syntax
• Semantics
• +3 more

Richard K. Larson is a Distinguished Professor of Linguistics at Stony Brook University, specializing in syntax and semantics. He holds a Ph.D. from the University of Wisconsin-Madison (1983). His research focuses on syntactic structures, quantification, clausal complementation, and cross-linguistic phenomena in languages like Warlpiri, Japanese, Turkish, and Mandarin. He is recognized for pioneering the Grammar as Science Project , developing educational software Syntactica and Semantica , which earned him the 1998 EduCom Medal. Education: Ph.D. in Linguistics, University of Wisconsin-Madison, 1983 Research Interests: Larson’s work spans syntax-semantics interface, quantifier scope, NP adverbs, psych-verbs, and formal linguistic theory. He emphasizes scientific rigor in syntax, advocating for linguistics as an experimental science. Current projects include rethinking syntactic cartography and Ezafe constructions in Iranian languages. Awards: EduCom Medal (1998) MIT Graduate Council Teaching Award SUNY Chancellor’s Award for Excellence in Teaching Stony Brook Dean’s Award for Excellence in Graduate Teaching Advising & Grants: Larson has advised numerous graduate students and contributed to NSF-funded initiatives like the Accelerated College Education (ACE) program. His grants focus on computational linguistics tools and language education outreach. Key Contributions: Authored foundational textbooks including Grammar as Science (2010) and Knowledge of Meaning (1995). His work on AP-de adverbs in Mandarin and Ezafe construction has reshaped syntactic analysis. Active in promoting linguistics education at secondary/higher education levels through AP Linguistics initiatives.

Alan BaleView profile

Professor

• Semantics
• Linguistics
• Generative Grammar
• +5 more

Dr. Alan Bale is a Professor in the Department of Classics, Modern Languages and Linguistics at Concordia University, specializing in semantics and syntax-semantics interfaces. His work integrates generative linguistics frameworks with experimental methods to explore grammatical representations of meaning, particularly focusing on number, comparison, and scalar competition across languages like Mi’gmaq, English, and Western Armenian. He investigates how conceptual development interacts with linguistic structures through both linguistic and non-linguistic meaning analysis. His research emphasizes teasing apart contributions from pure semantics, psychological categories, and pragmatic reasoning. Key topics include the mass-count distinction, scalar implicature, and experimental methodologies. He maintains a website and has published extensively on topics ranging from linguistic pragmatics to formal syntax. His CV provides additional details on his academic contributions. Bale's publications (2020–2025) reflect a sustained focus on scalar implicature mechanisms, mass-count distinctions, and cross-linguistic syntax-semantics interactions. Recent work explores how online experimental methods and cognitive load influence pragmatic reasoning. His research bridges formal linguistic theory with empirical cognitive science approaches.

Erik ZymanView profile

Assistant Professor

• Theoretical Syntax
• Syntax-Morphology Interface
• Syntax-Semantics Interface
• +2 more

Erik Zyman is an Assistant Professor in the Department of Linguistics at the University of Chicago, where he has taught since 2018. His research focuses on theoretical syntax, particularly the principles governing syntactic structure formation, crosslinguistic variation, and the cognitive foundations of syntactic operations. His work explores elementary operations like Merge (external and internal), constituency, selection, projection, adjunction, phases, and antilocality, with case studies in English, Latin, and P’urhepecha. His recent publications analyze phase constraints, argument/adjunct distinctions, and movement phenomena. He teaches foundational and advanced courses in syntax, including Introduction to Syntax (LING 20201), Advanced Syntax (LING 20202), and a graduate seminar on derivationalism vs. representationalism. His research integrates empirical data with theoretical frameworks to address universal and language-specific syntactic properties.

• Circular Construction
• Circular Economy in Construction
• Sustainable Construction Management
• +3 more

Dr. Sven Mackenbach serves as a Postdoctoral Researcher and Senior Engineer at RWTH Aachen University's Institute of Construction Management, Digital Engineering and Robotics in Construction (ICoM) since January 2023. Holding a doctorate in circular construction from the same institution, he leads the development of the "Circular Construction" research area, oversees multidisciplinary projects, and teaches Sustainable Construction Management to engineering students. His academic credentials include: PhD in Circular Construction, RWTH Aachen University (2023) Mackenbach's research integrates circular economy principles with digital construction technologies, focusing on strategic management frameworks for sustainable building practices. His expertise spans modular construction methods, BIM-based sustainability assessment, and digital twinning applications for infrastructure management. He bridges theoretical research with practical implementation through sustainability consulting for construction stakeholders, addressing real-world challenges in resource efficiency and regulatory compliance. His publication portfolio reveals a decisive shift toward data-driven circular construction solutions, with increasing emphasis on BIM-ontology integration for deconstruction planning, public participation systems, and sewer infrastructure management. Recent works demonstrate sophisticated methodological approaches to quantify ecological, economic, and social sustainability metrics without specialized expertise. As a scientific supervisor, Mackenbach mentors research assistants in project execution while contributing to curriculum development through his specialized course instruction. His leadership in research project coordination indicates substantial grant management experience, though specific funding sources aren't detailed in available materials. Within ICoM's collaborative environment, he contributes to cross-disciplinary teams advancing digital engineering and robotics applications in construction, particularly through the KaSyTwin sewer management project and BIPV facade digitalization initiatives.

Yan CongView profile

Assistant Professor

• Natural Language Processing (NLP)
• Semantics and Pragmatics
• Computational Linguistics
• +4 more

Yan Cong is an Assistant Professor at Purdue University, focusing on Chinese linguistics and computational linguistics. Their work bridges natural language processing (NLP), semantics, and pragmatics, with applications in artificial intelligence (AI), language education, and healthcare. Research Focus: Developing text analysis models to quantify and improve language learning, assessing semantic/pragmatic competence in language models, and applying computational methods to speech and language fluency. Background: Former NLP researcher at the Feinstein Institutes, with a PhD in Linguistics from Michigan State University. Research Themes: Yan Cong integrates linguistic theory with AI to explore language understanding in humans and machines. Key areas include Computational modeling of semantics and pragmatics Application of NLP to second language acquisition Development of interpretable AI systems for education and healthcare Analysis of speech disturbances in clinical contexts (e.g., schizophrenia, aphasia) Awards: No specific honors mentioned in the provided text.