جست‌وجوی استاد و پژوهشگر

• Theoretical Morphosyntax
• Computational Linguistics
• Case Theory
• +۷ مورد دیگر

Ümit Atlamaz is an Assistant Professor in the Department of Linguistics at Boğaziçi University. His academic work bridges theoretical linguistics and computational approaches, with expertise spanning multiple language families including Turkish, Kurmanji, Laz, and South Asian languages. His research focuses on theoretical morphosyntax (case theory, agreement phenomena, differential object marking, and null arguments) and computational linguistics (neural network capabilities, natural language inference, sentiment analysis, and ontological representations). Recent publications demonstrate a growing integration of these strands, particularly in applying computational methods to typologically diverse languages like Turkish and Laz. His publication trends reveal a consistent focus on case-agreement interactions across theoretical and computational frameworks. The most recent works (2021-2023) increasingly combine formal syntactic analysis with computational applications, particularly in Turkish NLP benchmarking and morphological analysis. Key recurring themes include split-ergativity patterns, heritage language syntax, and the morphosyntactic properties of under-resourced languages. At Boğaziçi University, Atlamaz co-organizes the ST@BU (Syntactic Theory at Boğaziçi University) reading group with Ömer Demirok, focusing on advanced syntactic theory. Supported by Metin Bağrıaçık, Sumru Özsoy, and Balkız Öztürk, this bi-weekly forum examines topics like case theory and agreement systems. He teaches courses including Syntax and Semantics of Modern Turkish and Computational Methods in Linguistics , reflecting his dual research interests. Prior to academia, he applied his linguistic expertise in NLP roles at Facebook and Google.

Sašo Živanovićمشاهده پروفایل

استادیار

• Semantics
• Quantification
• Phonology
• +۴ مورد دیگر

Sašo Živanović is an Assistant Professor at the Department of Comparative and General Linguistics, Faculty of Arts, University of Ljubljana. He holds a PhD in General Linguistics (2007) and a Diploma in Theoretical Mathematics (2002), and has been continuously employed at the university since 2007. His educational background reflects an interdisciplinary approach, combining mathematical rigor with linguistic theory. This foundation supports his research at the intersection of formal linguistics and computational methods. Živanović's research spans theoretical linguistics with particular emphasis on semantics (especially quantification), phonology, and syntax. His work demonstrates a consistent focus on the formal properties of language structure, with publications ranging from theoretical explorations of logical form to practical applications in linguistic documentation. His recent work shows increasing integration of computational approaches, particularly through his development of specialized LaTeX packages for linguistic research. Analysis of his publication record reveals a dual trajectory: theoretical contributions to linguistic theory (particularly in Slavic languages) and practical tools for linguistic documentation and analysis. His most recent publications demonstrate growing interest in computational linguistics and the development of specialized software tools for linguistic research. Živanović maintains an active presence in both academic and open-source communities, with significant contributions to the LaTeX ecosystem through packages like Memoize, Forest, and SignDraw that address specific needs in linguistic research and publication. As an educator, he teaches courses including Phonetics and Phonology, Linguistic Typology, Modern Linguistic Theories, and LaTeX for Linguists, demonstrating his commitment to equipping students with both theoretical knowledge and practical technical skills essential for contemporary linguistic research.

• Proof Assistants
• Formal Verification
• Inductive and Coinductive Datatypes
• +۱۲ مورد دیگر

Andrei Popescu is a Senior Lecturer (Associate Professor level) in the Department of Computer Science at the University of Sheffield, where he conducts research in formal methods, proof assistants, and information flow security. He previously held academic positions at Middlesex University and TU Munich. University: University of Sheffield Department: Department of Computer Science Previous Affiliations: Middlesex University, TU Munich His research focuses on the logical foundations and practical applications of proof assistants, particularly Isabelle/HOL. He has made foundational contributions to inductive and coinductive datatypes, syntax with bindings, higher-order logic, and the formal verification of secure systems. His work bridges theoretical logic with real-world systems such as conference management (CoCon) and social media platforms (CoSMeDis). The recent publications highlight a strong trend in formalizing deep logical results (e.g., Gödel’s incompleteness theorems), advancing datatype theory, verifying complex security properties, and applying formal methods to practical systems. His work consistently appears in top-tier venues such as POPL, CAV, ITP, and CSF. Distinguished Paper Award at POPL 2025 Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 RS 3 Best Paper Award for 2012–2013 He has advised PhD students including Lorenzo Gheri and has been actively involved in organizing major academic events such as the Midlands Graduate School, CPP, ITP, and TABLEAUX conferences. He has served on numerous program committees including POPL, ITP, CSF, and CAV, and has led research projects funded by VeTSS and industrial partners. He is a key contributor to the Isabelle proof assistant ecosystem, particularly in the development of the (co)datatype package and foundational consistency results. His work combines deep theoretical insight with practical implementation, making significant impacts in both academia and applied security.

Emily Wongمشاهده پروفایل

دانشیار

• Bioinformatics
• Computational Genomics
• Regulatory Evolution
• +۴ مورد دیگر

Associate Professor Emily Wong is a computational genomics researcher at the University of New South Wales (UNSW) and the Victor Chang Cardiac Research Institute. She holds a PhD and MSc in Bioinformatics and Computational Genomics from the University of Sydney and a BSc from UNSW. Her work focuses on integrating big data with in vivo experiments to decipher genetic and molecular mechanisms underlying cell diversity and disease regulation. Education: PhD (Bioinformatics & Computational Genomics), University of Sydney MSc (Bioinformatics & Computational Genomics), University of Sydney BSc, UNSW Research Focus: Regulatory evolution across mammalian tissues Enhancer conservation and function in development Epigenomic reprogramming in disease Iron homeostasis in aging and cancer Cis-regulatory syntax in transcriptional precision Her recent publications highlight cross-disciplinary approaches to understanding enhancer emergence, aging-related stem cell dynamics, and epigenetic therapy in breast cancer. She has received prestigious fellowships including an EMBO Postdoctoral Fellowship and an Australian Research Council Discovery Early Career Fellowship.

Michael R. Marloمشاهده پروفایل

دانشیار

• Phonology
• African Linguistics
• Bantu Languages
• +۷ مورد دیگر

Michael R. Marlo is an Associate Professor in the Department of English at the University of Missouri's College of Arts and Science. He holds a Ph.D. from the University of Michigan (2007). His research focuses on phonology, tone systems in African languages, and Bantu linguistics, with a specialization in the Luyia macrolanguage of Kenya and Uganda. He has led major projects including NSF-funded studies on Luyia tonal systems and collaborative documentation initiatives. Key achievements include a U.S. Fulbright Scholar Award (2015–2016) for linguistic documentation in Kenya and a National Science Foundation grant (BCS-1355750) for collaborative research on Luyia structure and tone. He co-directs the ASH Scholars research team Collaborative Research in African Linguistics (CORAL), supporting undergraduate involvement in African linguistics. Teaching emphasizes field methods, phonology, and syntax, with frequent collaborations with African language consultants. Notable publications include studies on Bantu object marking, tonal typology, and micro-comparative research in African languages. Education: Ph.D., University of Michigan, 2007 Research Interests: Bantu languages, tonal systems, morpho-phonology, language endangerment, and fieldwork methodologies Grants: Over $400,000 in NSF and NEH funding for language documentation and collaborative research Teams: CORAL (Collaborative Research in African Linguistics)

Nick Bertenshawمشاهده پروفایل

مدرس ارشد

• Second Language Acquisition
• Psycholinguistics
• Bilingualism
• +۲ مورد دیگر

Dr. Nick Bertenshaw is a Senior Lecturer at the University of Portsmouth , affiliated with the School of Education, Languages and Linguistics and the Centre for European & International Studies Research. He earned an ESRC-funded PhD from the University of Essex and has been teaching linguistics and English language modules since joining the university in 2009. Research focuses on second language acquisition, psycholinguistics, and bilingualism Specializes in integrating generative theories of language acquisition with classroom practice Teaches modules including Second Language Acquisition (L7), English Forms & Functions (L5), and How Language Works (L4) In 2012, he became a Fellow of the Higher Education Academy. His recent work explores AI literacy and grammar analysis in transformed texts, as well as online processing of binding principles in L2 learners. Scientific Awards : Fellow of the Higher Education Academy

Jeffrey Lidzمشاهده پروفایل

استاد

• Syntax
• Semantics
• Language Acquisition
• +۷ مورد دیگر

Jeffrey Lidz is a Professor of Linguistics at the University of Maryland's College of Arts and Humanities. He directs the Project on Children's Language Learning and the Infant and Child Studies Consortium, while serving on the executive committees of the Maryland Language Science Center and Neuroscience and Cognitive Science Program. His research integrates syntax, semantics, and developmental psychology to investigate language acquisition mechanisms. Jeff's research examines how infants and children construct syntactic representations through cross-linguistic comparisons (English, French, Hindi, Japanese, Korean, Mandarin, Tsez, etc.), focusing on: Filler-gap dependencies in 18-month-olds Syntactic bootstrapping for verb meaning acquisition Cognitive constraints on quantifier interpretation Reflexive/pronoun binding and Principle C Statistical learning limitations in early language development Interface between Universal Grammar and input processing Hallmarks of his work include: Identifying structure-dependent interpretation in infants Modeling parser-grammar interactions during acquisition Investigating psychophysics of quantification Exploring cross-linguistic variation in syntactic dependencies Training students in developmental psychology and computational methods Co-editing the Oxford Handbook of Developmental Linguistics Notable awards and roles: Editor-in-Chief, Language Acquisition (2012-2021) Collaborations with institutions like Johns Hopkins, Rutgers, and University of Pennsylvania His students have pursued careers at UCLA, Amazon, University of Toronto, and other research institutions. Current lab members work on syntactic dependencies, prosody-syntax interactions, and computational models of language learning.

Jakub Dotlacilمشاهده پروفایل

دانشیار

• Computational Linguistics
• Psycholinguistics
• Semantics
• +۶ مورد دیگر

Dr. Jakub Dotlacil is an Associate Professor at the Institute for Language Sciences and an Assistant Professor in the Department of Languages, Literature and Communication at Utrecht University . His research bridges language, logic, and information with a focus on computational and cognitive modeling. Research Themes : Incremental language interpretation, presupposition resolution, cue-based retrieval, eye-tracking experiments, and artificial intelligence applications in linguistics. Grants : Principal Investigator for an ERC Consolidator Grant and co-PI for an NWO Vrije Competitie Grant . Teaching : Involved in MSc Artificial Intelligence , BSc Artificial Intelligence , and BA Linguistics programs. Publications highlight trends in psycholinguistics , computational modeling , and semantic-cognitive integration . His work connects linguistic theory to cognitive processing via eye-tracking and ACT-R simulations . Scientific Awards ERC Consolidator Grant NWO Vrije Competitie Grant Advising : Supervises PhD students Li Kloostra , Philine Link , TIjn Schmitz , and Jan Winkowski , with co-supervision from Leendert van Maanen and Rick Nouwen . Collaborates on projects like the Computational Linguistics group and pyactr package development.

Isabelle Brilمشاهده پروفایل

پژوهشگر

• Typology of Austronesian languages
• Morphosyntax
• Coordination and subordination
• +۸ مورد دیگر

Isabelle Bril is a Senior Researcher (Directrice de Recherche) at the CNRS laboratory, LACITO (Laboratoire des Langues et Civilisations à Tradition Orale) in Paris-Villejuif. Since January 2014, she has served as Director of the CNRS 'Fédération Typologie et Universaux des Langues,' having previously been its Deputy Director from 2012-2013. Her academic career spans multiple prestigious positions within the French research system, including membership on the National Evaluation Committee for Linguistics. Dr. Bril's research focuses on Austronesian languages, with particular expertise in languages of New Caledonia (Nêlêmwa, Zuanga) and Formosan languages (Amis). Her work encompasses morphosyntax, coordination and subordination, complex predicates, valency alignments, and number marking systems. Her publication record demonstrates consistent contributions to linguistic typology, with significant works including a monograph on Nêlêmwa syntax and semantics, and edited volumes on complex predicates in Oceanic languages and cross-linguistic perspectives on coordination and subordination. Her research trajectory shows a clear progression from documentation of specific languages to broader typological investigations. Joint director of Axis 3 of the Labex project 'Langues austronésiennes: reconstruction et syntaxe' (2011) Ranked first in the highly competitive CNRS selection process for Senior Researchers (2006) President of the Joseph Greenberg Award jury (2011) Member of the editorial board for Studies in Diversity Linguistics (2013-present) Dr. Bril maintains an active presence in the international linguistics community through conference presentations, invited courses at institutions like the University of Leipzig and Manchester University, and leadership roles in the Association for Linguistic Typology. Her work bridges theoretical linguistics with detailed language documentation, making significant contributions to our understanding of linguistic diversity in the Austronesian language family.

Dag Trygve Truslew Haugمشاهده پروفایل

استاد

• Syntax
• Formal Semantics
• Computational Linguistics
• +۵ مورد دیگر

Dag Trygve Truslew Haug is a Professor at the Department of Classics at the University of Oslo, specializing in Greek and Latin linguistics with a focus on syntax and computational approaches. His research bridges classical philology with modern computational linguistics, particularly through treebank development and semantic analysis. His primary research interests include: Greek and Latin grammatical structures Lexical-Functional Grammar and formal semantics Computational linguistics and treebank development Historical linguistics and syntactic change Semantic annotation frameworks Morphological tagging systems His recent publications demonstrate a strong focus on computational linguistics applications for classical languages, semantic parsing methodologies, and the development of linguistic resources for Norwegian. The work shows consistent innovation in formal semantics, corpus linguistics, and interdisciplinary applications in computational biology. He leads the DAMOS project (Database of Mycenaean at Oslo) and participates in multiple research groups including Digital Humanities, Grammar and Meaning, Language Change, Linguistics and Poetics, Pragmatics: Theory & Experiments, and Super Linguistics.

Michael Wagnerمشاهده پروفایل

استاد

• Prosody/Syntax
• Prosody/Semantics
• Phonology
• +۳ مورد دیگر

Michael Wagner is a Professor and Department Chair in the Department of Linguistics at McGill University. He holds a PhD from the Massachusetts Institute of Technology. His research focuses on prosody-syntax-semantics interfaces, phonology, and experimental methods in language processing. He leads the Prosody Lab and has developed tools like the Montreal Forced Aligner for speech analysis. Research Interests : Prosody's role in syntax and semantics, phonological variation, experimental approaches to language processing, and computational methods in linguistic analysis. His work combines formal theoretical frameworks with empirical methods from psycholinguistics and phonetics. Education : PhD in Linguistics, MIT Labs/Tools : Prosody Lab, Montreal Forced Aligner (speech alignment software) Key Contributions : Pioneering work on prosodic parsing mechanisms, intonation semantics, and cross-linguistic variation in focus marking Publications from 2020-2023 highlight advancements in understanding prosody's role in sentence processing, experimental methods for quantifying focus marking, and computational tools for linguistic research.

Dmitriy Traytelمشاهده پروفایل

دانشیار

• Interactive Theorem Proving
• Runtime Verification
• Logic
• +۱۱ مورد دیگر

Dmitriy Traytel is an Associate Professor at the Department of Computer Science (DIKU), Faculty of Science, University of Copenhagen, where he leads the Software, Data, People & Society (SDPS) section. He earned his PhD from TU München under the supervision of Tobias Nipkow in 2015 and previously held a senior researcher position at ETH Zürich's Information Security Group. His primary research interests include interactive theorem proving, runtime verification, logic, automata, decision procedures, and coinduction. He works extensively with the Isabelle/HOL proof assistant, developing foundational theories and verified tools. His work bridges theoretical logic and practical system verification, focusing on correctness, expressiveness, and scalability. The recent publications highlight a strong focus on verified runtime monitoring, formalization of logical systems, and efficient query evaluation. Key themes include the development of formally verified monitoring tools (e.g., TimelyMon, WhyMon, VeriMon), foundational work on corecursion and datatypes in Isabelle, and translations of logical formalisms into executable and verifiable code. Several publications have received distinguished paper awards, indicating high impact in the programming languages and verification communities. Distinguished Paper Award, POPL 2025: 'Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings' Distinguished Paper Award, POPL 2023: 'Admissible Types-to-PERs Relativization in Higher-Order Logic' Distinguished Paper Award, ATVA 2018: 'Optimal Proofs for Linear Temporal Logic on Lasso Words' Best Student Paper Award, FSCD 2016: 'Formal Languages, Formally and Coinductively' Traytel has (co)supervised numerous PhD, MSc, and BSc students, many of whose projects contribute directly to his research agenda in verified systems and formal methods. He is actively involved in the academic community, serving on program committees for POPL, ITP, RV, and CPP, and has chaired conferences such as CPP 2023 and 2024. His tools, including TimelyMon, VeriMon, and WhyMon, are practical outcomes of his research, enabling scalable, explainable, and trustworthy runtime verification. He leads a research group focused on trustworthy stream processing, distributed streaming computations, and explainable monitoring. His work often involves collaboration with researchers at ETH Zürich and other institutions, particularly in the areas of security and monitoring.

Stephen Nealeمشاهده پروفایل

استاد

• Philosophy of Language
• Philosophical Logic
• Philosophy of Law
• +۶ مورد دیگر

Stephen Neale is a Professor of Philosophy and Linguistics at the Graduate Center, City University of New York (CUNY) . His research bridges Philosophy of Language, Philosophical Logic, and their intersections with Linguistics, Metaphysics, and Cognitive Science. He holds the John H. Kornblith Family Chair in the Philosophy of Science and Values and has been affiliated with CUNY since at least 2012. Ph.D., Stanford University (1988) Neale’s work explores intention, context, semantic composition, pragmatic inference , and the indeterminacy of meaning. His research extends to interdisciplinary applications in legal interpretation, archaeological theory, and cognitive science. He is a proponent of rigorous analysis of semantic and pragmatic boundaries in language and logic. The 15 most recent articles (2001–2016) reflect his focus on Philosophy of Language , with recurring themes of anaphora , contextual parameters , definite descriptions , logical form , and pragmatic enrichment . His scholarship engages deeply with Gricean pragmatics, Davidsonian semantics, and the theoretical underpinnings of linguistic interpretation. Scientific Awards : University of California President’s Fellow (1994) Rockefeller Fellow (Bellagio, Italy, 1995) National Endowment for the Humanities Fellow (1998) Guggenheim Fellow (2002) Neale has taught graduate and undergraduate courses in Philosophy of Language, Linguistic Pragmatism, Metaphysics, and Interpretive Practices at CUNY and Rutgers University. His editorial contributions include co-edited volumes such as Mind (Special Issue) and Descriptions and Beyond .

John Frederick Bailynمشاهده پروفایل

استاد

• Theoretical Linguistics
• Generative Syntax
• Slavic Linguistics
• +۷ مورد دیگر

John Frederick Bailyn is a Professor of Linguistics at Stony Brook University, specializing in theoretical linguistics, cognitive science, and Slavic languages. He holds a Ph.D. from Cornell University (1995) and serves as co-Director of the NY-St. Petersburg Institute of Linguistics, Cognition and Culture (founded 2003). His research focuses on generative syntax (case, word order, movement), Slavic syntax/morphology/phonology, and the intersection of linguistics with cognitive modularity and musical perception. Notable contributions include *The Syntax of Russian* (Cambridge UP, 2012), which won the 2013 AATSEEL Prize, and co-editing volumes in the *Formal Approaches to Slavic Linguistics* series. He has published extensively on Slavic syntax, scrambling phenomena, and cross-linguistic variation, contributing to debates in Minimalist Theory and formal syntax. Education: Ph.D. in Linguistics, Cornell University, 1995 Labs/Teams: Co-Director, NY-St. Petersburg Institute of Linguistics, Cognition and Culture Awards highlight his impact: his work bridges formal syntax and sociopolitical issues, such as language unity debates in post-socialist contexts. His research spans theoretical frameworks while addressing practical questions in Slavic language structure and historical change.

Lucas Champollionمشاهده پروفایل

دانشیار

• Formal semantics of natural language
• Algebraic semantics
• Mereology
• +۸ مورد دیگر

Lucas Champollion is an Associate Professor in the Department of Linguistics at New York University (NYU), affiliated with the College of Arts & Science. He holds a PhD in Linguistics from the University of Pennsylvania and a Master of Science in Engineering in Computer and Information Science from Penn. His postdoctoral research was conducted at the Eberhard Karls Universität Tübingen. Champollion's research focuses on formal semantics of natural language, particularly algebraic semantics and mereology, with applications to distributivity, aspect, and measurement. He also explores computational linguistics and formal language theory. His work bridges linguistics with philosophy and computer science, emphasizing compositional semantics and event semantics. Notable contributions include his book *Parts of a Whole: Distributivity as a Bridge Between Aspect and Measurement* (2017), which unifies theories of distributivity, aspect, and measurement using algebraic frameworks. His articles address topics such as negation and modality in truthmaker semantics, counterfactuals, donkey sentences, and free choice disjunction. Recent work (2024) explores negation's role in modal contexts, while earlier studies (2016) analyze distributivity in event semantics. He has also contributed to computational tools like the Penn Lambda Calculator for teaching formal semantics. Awarded a Humboldt fellowship (2023–2025) for research at the Munich Center for Mathematical Philosophy (MCMP), he is on leave from NYU until August 2025. His teaching spans undergraduate courses in linguistics and computational linguistics, as well as graduate-level seminars in semantics. He frequently teaches at summer schools, including ESSLLI and NASSLLI, focusing on algebraic semantics and mereology. Champollion's work intersects with experimental semantics and pragmatics, integrating theoretical insights with empirical methods. His research emphasizes the interplay between syntax, semantics, and computational models, reflecting a commitment to interdisciplinary collaboration.