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

Cesare Tinelliمشاهده پروفایل

استاد

• Automated Reasoning
• Satisfiability Modulo Theories (SMT)
• Model Checking
• +۷ مورد دیگر

Cesare Tinelli is the F. Wendell Miller Professor of Computer Science at the University of Iowa within the College of Liberal Arts and Sciences. He is a co-director of the Computational Logic Center and leads the development of critical tools like the CVC4 and cvc5 SMT solvers, as well as the Kind model checker. His academic credentials include: Ph.D. in Computer Science (1999), University of Illinois at Urbana-Champaign M.S. in Computer Science (1995), University of Illinois at Urbana-Champaign Laurea in Scienze dell'Informazione (1990), University of Bari Research Interests : Tinelli specializes in Automated Reasoning , particularly Satisfiability Modulo Theories (SMT) , Model Checking , Software Verification , and Formal Methods . His recent work explores Inductive Reasoning in SMT , Proof-Certificate Generation , and Logical Frameworks for Proof Systems . His methodologies bridge theoretical advancements with practical implementations, impacting both academia and industry. Scientific Contributions : Tinelli's research drives innovation in SMT solving, model checking, and automated theorem proving. His 15 most recent publications span topics from stateful protocol testing ( Saecred ) to proof certification ( IsaRare ) and generalized optimization ( Generalized OMT ). Awards and Recognition : NSF CAREER Award (2003) Haifa Verification Conference Award (2010) CAV Award (2021) Advising and Collaborations : His former students and postdocs hold positions at leading institutions like NASA, Intel, MIT, and EPFL. He collaborates with organizations such as Amazon, Facebook, General Electric, and Microsoft.

Katherine Walkerمشاهده پروفایل

پژوهشگر

• Linguistics
• Syntax
• Morphology
• +۳ مورد دیگر

Dr. Katherine Walker is a Researcher in the Department of Linguistics at the University of Cologne, working on the DFG-funded project \"Taking spoken language seriously\" since April 2024. Previously, she completed her PhD at the Amsterdam Center for Language and Communication (ACLC), Universiteit van Amsterdam (2020-2024), and held academic assistant and student assistant positions at the University of Cologne. Her educational background includes: PhD in Linguistics, Universiteit van Amsterdam (2020-2024) MA in Linguistics, University of Cologne (2017-2019) BA in Linguistics and French, University of Cologne (2014-2017) Dr. Walker's research focuses on syntax and morphology of understudied languages, particularly Papuan languages like Kamang and Tabaq. She investigates indexing phenomena, viewpoint alternation, differential marking, and lexical constraints on grammatical relations, contributing significantly to linguistic typology and language documentation through fieldwork and theoretical analysis. Her publication trends reveal concentrated expertise in Papuan language structures, with recent works analyzing morphosyntactic patterns in Kamang (2024) and nominal systems in Tabaq (2019). The 2025 chapter \"Iha\" for The Oxford Guide to the Papuan Languages extends this focus to phonological and semantic dimensions across the language family. Dr. Walker currently leads DFG project \"Taking spoken language seriously\" and previously collaborated on \"Exceptions rule! Lexical restrictions on grammatical structure\". Her guest research at LACITO (2022) and co-editorship of Open Linguistics special issues demonstrate active engagement in international linguistic discourse and collaborative grant-funded research.

Waldfried Premperمشاهده پروفایل

مدرس

• functional language typology
• contrastive linguistics
• cognitive linguistics
• +۵ مورد دیگر

Dr. Waldfried Premper is affiliated with the Institute for German Language and Literature I at the University of Cologne, where he has held teaching assignments since 2015, and also taught at the University of Münster in 2015. Previously, he served as a Research Associate at the Ludwig Maximilian University of Munich (2013-2014) and at the University of Wuppertal (2009-2013), where he was a member of Prof. Dr. Monika Rathert's research group and ZefiS (Center for Interdisciplinary Linguistic Research). His academic journey began with studies in biology, Protestant theology, and educational science (1977-1980), followed by general linguistics, German studies, and philosophy (1980-1986) at the University of Cologne. He earned his Magister Artium in 1986 and completed his doctorate in December 2000 with a grade of magna cum laude. His doctoral work focused on Arabic syntax, as evidenced by his 2002 publication "The 'Static Clauses' of Arabic from a Typological Perspective," which was also his dissertation. Dr. Premper's research centers on functional language typology and contrastive linguistics, cognitive linguistics and lexicology, and text linguistics and language theory. His scholarly focus demonstrates particular expertise in Arabic language structures, especially clause constructions, verb systems, and semantic aspects. He has conducted extensive comparative studies between Arabic, German, and Japanese, with special attention to perception verbs and their complements. His long-term engagement with the Cologne Universals Project since 1986 forms a cornerstone of his academic career. His publication record spans multiple decades, with significant recent contributions including his 2018 work on circumstantial clauses in Arabic and his 2017 analysis of translatology and contrastive linguistics. His research shows consistent attention to language universals, Arabic syntax, and cross-linguistic comparison, reflecting both theoretical depth and practical linguistic analysis. Dr. Premper has been involved with the German Research Foundation (DFG) Priority Program Language Typology, working on "Comparative Studies on the Semantics of Perception Verbs and Nominalizations" at the University of Tübingen from 1996-2000. His collaborative work with Yoshiko Ono on perception verbs demonstrates his engagement with international linguistic research. He maintains an office at the University of Cologne (Room 3.219) with consultation hours by appointment, bookable through the RRZK scheduler since the shutdown of Phil-Services in March 2021.

• Chinese Linguistics
• Technology-Enhanced Foreign Language Pedagogy
• Chinese Proficiency Development and Assessment
• +۳ مورد دیگر

Phyllis N. Zhang is an Associate Professor of Chinese and International Affairs at George Washington University (GW), where she has been a full-time faculty member since 2004. She has served as Director of the GW Chinese Language Program (2004–2014) and Founding Director of the MA in Chinese Language and Culture Program (since 2014). Her expertise includes Chinese linguistics, technology-enhanced language pedagogy, and proficiency assessment. She has authored influential textbooks such as the Developing Chinese Fluency series and David & Helen in China , and her research focuses on digital learning environments' impact on language acquisition. Prof. Zhang is a certified Chinese proficiency tester (OPI) through ACTFL and received the 2006 Bender Teaching Award. Education: Ed.D. in Applied Linguistics from Columbia University. Research Interests: Syntax and pedagogical grammar of Chinese, innovative language teaching methodologies leveraging technology, and evaluating proficiency development through digital tools. She emphasizes bridging theoretical linguistics with practical classroom applications to enhance language fluency and cultural understanding. Awards: GW 2006 Bender Teaching Award Professional Contributions: Board member of the Chinese Language Teachers Association-U.S. (CLTA-US) and the Journal of Technology and Chinese Language Teaching (JTCLT), serving as editor from 2010 to 2019. She actively promotes technological integration in language education and collaborates on interdisciplinary projects.

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

استاد

• Modal Logic
• Intuitionistic Logic
• Mathematical Logic
• +۶ مورد دیگر

Nick Bezhanishvili is a Professor at the Institute for Logic, Language and Computation (ILLC) within the Faculty of Science at the University of Amsterdam. He serves as Director of the Master of Logic program and is Managing Editor of the Journal of Logic, Language and Information. His academic leadership extends to his role as President of the Dutch Association for Logic and Philosophy of the Exact Sciences (VvL). Bezhanishvili's research centers on Mathematical Logic, particularly Modal Logic, Intuitionistic Logic, and their algebraic and topological semantics. His work bridges abstract mathematical structures with computational applications, focusing on duality theory, proof theory, and the geometric interpretation of logical systems. His research has produced significant contributions to stable canonical rules, polyhedral semantics, and topological models for belief and knowledge. His publication record shows a strong trend toward geometric and topological approaches to logical systems, with recent work exploring polyhedral model checking, intermediate logics of convex polyhedra, and the topological mu-calculus. These works demonstrate increasing interdisciplinary connections between logic, topology, and computer science, particularly in verification and spatial reasoning. Best Paper Award for 'Weak simplicial bisimilarity for polyhedral models and SLCS_eta' (FORTE 2024) Ray Ritter Best Paper Award for 'The topology of surprise' (KR 2022) Italian Logic Association's Ada Lettieri Best Paper Award for 'Profiniteness and representability of spectra of Heyting algebras' (2021) Bezhanishvili has supervised an extensive number of students, including 6 PhD graduates and over 30 Master's students, many of whom have received awards for their theses. His research projects have involved collaborations across multiple institutions in Europe, particularly focusing on the SYSMICS network (Syntax meets Semantics) and the Tbilisi School of Logic. He maintains active research groups exploring algebraic logic, topological semantics, and applications to computer science.

Rudolph Henric Richard Kerbsمشاهده پروفایل

پژوهشگر

• Linguistics
• Phonetics
• Language Documentation
• +۳ مورد دیگر

Rudolph Henric Richard Kerbs is a Grant-funded researcher at the University of Helsinki's Department of Languages. His research focuses on linguistic documentation, phonetics, and typological studies of endangered and lesser-studied languages. He has contributed to descriptive grammar projects and phonological analyses of languages like Sgaw Karen, isiNdebele, and Gangou. Current roles include co-Principal Investigator on the TALiBAND project (2024–2029), exploring authoritative language practices in knowledge dissemination. He actively participates in international conferences, including the 30th Annual Conference of the International Association of Chinese Linguistics (2024) and the International Conference on the Significance of Sanskrit, Prakrit, and Pali in Suvarṇabhūmi (2025). His work bridges fieldwork-based language description with theoretical linguistics, emphasizing cross-linguistic comparisons and endangered language preservation. Recent outputs include a doctoral thesis on Sgaw Karen grammar and peer-reviewed articles on tone systems in African and Tibeto-Burman languages.

Ben Greenmanمشاهده پروفایل

پژوهشگر

• Gradual Typing
• Formal Methods
• Programming Languages
• +۳ مورد دیگر

Ben Greenman is a Researcher at Brown University , specializing in Gradual Typing , Formal Methods , and Programming Language Design . He has developed tools like Forge for teaching formal methods FlowFPX for floating-point exception debugging CnD for specification visualization His work bridges theoretical advancements and practical software engineering challenges. Research Trends: Recent publications focus on Temporal logic misconceptions (2024-2025) Gradual typing performance (2023-2025) Tool-driven formal methods education (2023) Language design for macro systems (2023) Numerical computation reliability (2023) Key Contributions: Unified deep/shallow type systems Blame assignment strategies Collapsible contracts Corpus studies for type analysis Visual debugging frameworks

• Bulgarian Linguistics
• Comparative Linguistics
• Morphology
• +۳ مورد دیگر

Serkan Cömertel is a Researcher at Trakya University's Faculty of Letters, Translation and Interpreting Department, specializing in Bulgarian linguistics. His academic foundation includes a Bachelor's degree in Translation and Interpreting (2012) and a Master's in Balkan Studies (2016), both from Trakya University. His thesis focused on the Bulgarian Conjugation System. Research Focus: His work centers on Bulgarian grammar, with emphasis on morphology, verb conjugation, and comparative Turkish-Bulgarian linguistics. Key areas include tense-aspect systems, grammatical gender, prefixation, and lexicography, reflecting deep engagement with Slavic and Balkan linguistic typology. Publications: Recent articles (2017–2022) analyze Bulgarian grammar through topics like adverbial participles, aspectual inconsistencies in dictionaries, and Turkic influences on Bulgarian verbs. His research consistently bridges theoretical linguistics and applied philology in Balkan contexts. Editorial Contributions: He has edited academic works, including the Yunus Emre Hatıra Kitabı (2021) and Pratik Bulgarca Konuşma Kılavuzu (2019), and contributed to the Türkçeden Bulgarcaya Geçen Kelimeler Sözlüğü (Dictionary of Turkisms in Bulgarian, 2016). Awards and Advisees: No scientific awards or supervised students are documented.

Géraldine Waltherمشاهده پروفایل

استاد

• Computational Linguistics
• Linguistic Typology
• Language and Cognition
• +۳ مورد دیگر

Géraldine Walther is a faculty member in the Department of Linguistics at George Mason University (GMU), joining in August 2019. Her research bridges computational linguistics, linguistic typology, and cognitive science, focusing on system-level patterns in linguistic sub-organization and their implications for cognitive processing, development, and diachronic change. She employs computational and quantitative methodologies on original data, often collected through language documentation projects. Education: Doctorate in Linguistics (2013), Université Paris Diderot; MA in Linguistics (2007), INALCO Paris; BA in Linguistics and German Studies (2004), Université Lumière Lyon 2 & ENS de Lyon. Research Focus: Morphological complexity, canonical typology, language documentation, and computational modeling. Grants: NSF EAGER Grant (2022-2024), Commonwealth Cyber Initiative Grant (2022), NSF DEL/DLI Grant (2021-2024), CAHMP Seed Grant (2021-2022), IXXI/ISH Grant (2016-2018). Her supervised dissertation work includes Yamei Wang’s study on Mandarin classifier systems. She has received prestigious awards, including the ASLAN Postdoctoral Fellowship and Networds Visiting Grant. Walther is establishing GMU’s Computational Linguistics Lab and expanding the curriculum to include computational linguistics.

Vu Duc Nghieuمشاهده پروفایل

استاد مهمان

• Linguistic theory
• Vietnamese linguistics
• Historical linguistics
• +۴ مورد دیگر

Prof. Dr. Vu Duc Nghieu is a Visiting Professor at the Faculty of Linguistics, Vietnamese Language and Vietnam Studies, University of Social Sciences and Humanities, Vietnam National University, Hanoi. Born in 1954, he has dedicated his career to the study of Vietnamese linguistics, with a particular focus on historical aspects of the language. His educational background includes: 1972-1976: Faculty of Philology, Hanoi University of Science PhD (1996) Professor title (2012) Prof. Nghieu's research spans linguistic theory, Vietnamese linguistics, and language teaching, with a particular emphasis on historical linguistics. His work examines the evolution of Vietnamese grammar, vocabulary, and writing systems from ancient times to the present. He has made significant contributions to understanding historical Vietnamese grammar, particularly through the analysis of ancient texts and woodblock archives. His scholarly approach combines theoretical linguistic analysis with historical context to trace language development over centuries. His recent publications reveal a strong focus on historical linguistics, with particular attention to the evolution of Vietnamese grammar, syntax, and vocabulary. He has extensively studied ancient Vietnamese texts, including those written in Nom script and early Quốc Ngữ documents, to trace linguistic changes over centuries. His work bridges linguistic theory with practical language teaching applications, demonstrating how historical understanding informs contemporary language education. Among his notable achievements: Outstanding scientific research project of VNU, 2012 Prof. Nghieu has led several significant research projects, including the "Research on Vietnamese historical grammar (words and phrases)" and the "Orientation for preserving and promoting the value of the woodblock archives at Vinh Nghiem and Bo Da pagodas." His work on developing standards for assessing Vietnamese language proficiency of international students has practical applications for language education. He has also contributed to television-based Vietnamese language instruction through the VTV4 Program. His research often involves interdisciplinary collaboration, particularly with historians and cultural preservation specialists, to analyze ancient texts and document linguistic changes. His work with woodblock archives represents an important contribution to preserving Vietnam's linguistic heritage, connecting linguistic scholarship with cultural history and religious studies.

• Sentence Processing
• Psycholinguistics
• Neurolinguistics
• +۹ مورد دیگر

Leticia Pablos Robles is an Associate Professor at Leiden University's Humanities Centre for Linguistics (LUCL), specializing in Experimental Linguistics with a focus on sentence comprehension , prediction in the brain , and processing of long-distance dependencies . Her work integrates syntax, semantics, and prosody to explore how linguistic structures are processed across languages like Basque, Spanish, Mandarin, Dutch, French, and English. PhD in Linguistics (University of Maryland, 2006) BA in English Philology (University of Deusto, 1999) Her research employs event-related potentials (ERPs) , eye-tracking , and self-paced reading to analyze language comprehension. She investigates: Syntactic processing (e.g., clitic left dislocation, wh-dependencies) Syntax-semantics interface (e.g., Negative Polarity Items) Syntax-prosody interface (e.g., Wh-in-situ questions) Cognitive control in bilingualism and code-switching Recent publications highlight trends in cross-linguistic interference , bilingual reading , and ERP-based syntactic validation . She also contributes to replication studies and statistical methodology in linguistics. Scientific Awards : Teaching Excellence Award, University of Maryland (2002) Basque Government Post-doctoral Grant (2006-2008) Basque Government Pre-doctoral Grant (2002-2006) She supervises PhD candidates Zhenlin Chen and Ou Ourilige , and collaborates with projects like BRAINGLOT (Bilingualism and Cognitive Neuroscience). Her work bridges theoretical linguistics and experimental validation , emphasizing the competence-performance dichotomy.

Lars Erik Zeigeمشاهده پروفایل

پژوهشگر ارشد

• Linguistic variation and change
• Historical linguistics
• Corpus linguistics
• +۷ مورد دیگر

Lars Erik Zeige is a Privatdozent (PD Dr.) at the Humboldt University of Berlin, where he works at the Institute for German Language and Linguistics within the Philosophical Faculty II. He leads the research area for Variation and Change of the German Language and the Reference Corpus Old German. As Deputy Spokesperson of the Collaborative Research Centre 1412 'Register', he also serves as project leader for subproject B04 'Emergence and transfer of register patterns' and project management for subproject Z 'Central tasks'. Zeige's research focuses on linguistic variation and change, particularly in historical German. His work combines empirical and theoretical approaches to understanding language change, with special emphasis on historical registers, prepositional and nominal groups, and negation. He has developed expertise in corpus linguistics, especially through his work with the Old German Reference Corpus, which provides essential resources for studying early German language history. His theoretical interests include the history of linguistic science and the development of 'Language as the Structure of Social Systems' as an explanatory framework for language change. His recent publications demonstrate a strong focus on register phenomena across historical contexts, particularly in the works of Martin Luther and other historical figures. Zeige has made significant contributions to corpus development, including the Birgitta-Notker Corpus (BiNoKo) for comparative research on historical registers and the Old German Reference Corpus. His methodological approach combines corpus analysis with theoretical linguistics to model register variation across time periods and cultural contexts. Zeige has served as academic advisor for BA German Linguistics and MA Linguistics programs. His committee work includes service as the examination committee representative for admissions and recognitions since 2020, and previous roles as representative of mid-level staff in various university governance bodies. His laboratory work centers on the Old German Reference Corpus project and the development of visualization methods for linguistic data, including chronographic mapping techniques that represent linguistic variation across time and space.

• German Linguistics
• Language Didactics
• Language Variation
• +۴ مورد دیگر

Attila Németh is a Professor of German Linguistics and Language Didactics at the University of Teacher Education Upper Austria, affiliated with the Department of Languages, Literatures, and Cultures (German Studies). His academic trajectory includes extensive research in language variation, dialectology, and cross-cultural communication, with a geographical focus on Hungarian-German linguistic communities. Education: PhD in German Linguistics (Sociolinguistics/Dialectology) from the University of Szeged (2009) Doctoral studies in German Linguistics at the University of Szeged (2001–2004) Interpreter and Translator training at the University of Szeged (2000–2001) MA in Hungarian and German Studies at the University of Szeged (1995–2001) Research Focus: Németh's work investigates the interplay between language contact, sociolinguistic attitudes, and educational applications. Key areas include dialect preservation in minority communities, morphosyntactic complexity in bilingual contexts, and pedagogical strategies for grammar instruction. His research consistently addresses the dynamics of German dialects in Hungary, emphasizing textbook design and language policy implications. Publication Trends: His articles predominantly explore sociolinguistic and contact-linguistic phenomena, with recurring themes of language simplification, bilingual normativity, and dialect erosion. Methodologically, they blend empirical fieldwork with theoretical frameworks, often focusing on Hungarian-German communities to analyze broader patterns of language change and identity. Professional Activities: He co-edited the Zeitschrift für Mitteleuropäische Germanistik (2011–2016) and contributed to DAAD-supported projects like Intercultural Relations within and beyond Borders (2008–2009). Earlier roles include editorial work for academic journals and research coordination at the Pannonian University.

Karin Birknerمشاهده پروفایل

استاد

• Conversation Analysis
• Medical Communication
• Intercultural Communication
• +۵ مورد دیگر

Prof. Dr. Karin Birkner is a full Professor of German Linguistics at the University of Bayreuth, where she holds the Chair of German Linguistics within the Faculty of Linguistics and Literature. Since October 2018, she has served as Deputy University Women's Representative and as Contact Person for Protection against Sexual Harassment and Sexual Violence. Since January 1, 2024, she has been President of the Society for Applied Linguistics (GAL eV), one of the largest linguistic societies in the German-speaking world with over 800 members. Her office is located in Room 0.30, GW I at Universitätsstraße 30, 95440 Bayreuth, with office hours on Tuesdays from 2-3 PM during the 2024/2025 winter semester. Prof. Birkner's research spans multiple areas of linguistics with a particular focus on conversation analysis, medical communication, intercultural communication, grammar of spoken language, and construction grammar. Her work examines linguistic practices in institutional settings, particularly in medical contexts where she investigates doctor-patient interactions, neurological examinations in telemedicine, and the construction of medical knowledge. She has established significant research networks including the Medical Communication Working Group and the Transdisciplinary Research Network "Video Analysis of Religious Practice." Her research on language work with refugees demonstrates her commitment to addressing contemporary social issues through linguistic analysis. Prof. Birkner's publication record shows a consistent trajectory of high-impact research in conversation analysis and medical communication, with increasing focus on telemedicine applications in recent years. Her work bridges theoretical linguistics with practical applications in healthcare settings, demonstrating how linguistic analysis can improve medical communication practices. She has made significant contributions to understanding narrative structures in medical contexts, epistemic markers in therapy conversations, and the grammatical organization of spoken language across different contexts. Prof. Birkner actively supervises doctoral students and habilitation candidates, as indicated by the "Promotions" and "Habilitations" sections on her departmental website. She has secured research funding for multiple projects, most notably the DFG Project "Krankheitstheorien" (Subjective Theories of Illness in Conversation) which ran from October 2006 to March 2008. Her leadership extends to the Research Focus on Refugees (GAL eV), demonstrating her commitment to addressing migration-related linguistic challenges. She leads the Medical Communication Working Group and participates in the Transdisciplinary Research Network "Video Analysis of Religious Practice," creating collaborative spaces for interdisciplinary research that bridges linguistic analysis with medical practice, religious studies, and migration research. Her work with the German-Ukrainian German Studies Network further demonstrates her commitment to international academic collaboration.

• Cognitive Linguistics
• First and Second Language Acquisition
• Syntax
• +۳ مورد دیگر

Prof. Dr. Ewa Dąbrowska holds the Alexander von Humboldt Professorship in the Chair of Language and Cognition at Friedrich-Alexander University Erlangen-Nürnberg. Her research spans cognitive linguistics, language acquisition, and individual differences in linguistic knowledge. Research Interests : Formulaic language in L1 acquisition and adult language processing The nature of linguistic generalizations through chunk-based grammar Individual differences in grammatical and lexical knowledge among native and L2 speakers Intersections of literacy, language structure, and cognitive fluency Scientific Awards & Funding : Alexander von Humboldt Foundation grant for a 5-year project on individual differences AHRC-funded corpus-experimental study on complex syntactic constructions Team Members : Dr. Miguel Llompart Garcia, Elodie Winckel, Ashley Blake, Magdalena Grose-Hodge, Panagiotis Kenanidis, Leonarda Prela, Richenda Wright.