جستجوی استاد راهنمای دانشگاهی

Malte Zimmermannمشاهده پروفایل

استاد

• Semantics
• Grammar Theory
• African Languages
• +۹ مورد دیگر

Prof. Dr. Malte Zimmermann is a Full Professor of Semantics and Theory of Grammar at the Department of Linguistics, University of Potsdam. He is also a faculty and board member of the African Linguistics School (ALS), which biannually convenes in West African countries to advance formal linguistics knowledge among African scholars. His editorial roles include Associate Editor for Natural Language and Linguistic Theory and former Associate Editor for Linguistics and Philosophy . His educational background includes: Ph.D. in General Linguistics, Universiteit van Amsterdam (2002) M.A. in German Language and Linguistics/English/Anglistic/Philosophy, Universität zu Köln (1998) Abitur, Gymnasium Athenaeum, Stade/Niedersachsen (1989) Zimmermann's research centers on the interface between linguistic form and meaning, with specialization in formal semantics and grammar theory. His work spans quantification, tense, question semantics, discourse particles, and information structure, with particular emphasis on semantically under-researched West African languages (Chadic, Kwa, Grassfield Bantu). His research combines theoretical analysis with experimental methods, notably through projects like 'ExQ' examining embedded question interpretation across European and Non-European languages. He has led field research in Ghana, Cameroon, and Nigeria, challenging assumptions about language universals through empirical investigation of linguistic diversity. His publication trajectory reveals consistent focus on cross-linguistic semantic variation, particularly in focus interpretation, quantifier scope, and information structure phenomena. Recent work demonstrates growing integration of experimental methodologies with traditional formal approaches, with frequent comparisons between German, English, and diverse African languages. His investigations into serial verb constructions have been especially influential, uncovering hidden syntactic variability beneath surface similarities across languages like Akan and Igbo. As a supervisor, Zimmermann has guided numerous doctoral students to completion, with recent graduates including Giuliano Armenante (2024), Eva Shipova (2024), and Mareike Philipp (2023). His research has been supported by substantial funding including: SFB1287 Limits of Variability in Language, 'Limits of variability in interpretation' (2017-2021) SPP 1727 XPRAG.de, 'Exhaustiveness in embedded questions across languages' (2017-2020) SPP 1727 XPRAG.de, 'Exhaustivity in it-clefts' (2014-2017) DFG-Network 'Questions in Discourse' (2012-2016) SFB632 Information Structure projects (2007-2015) He leads the Potsdam semantics group (including Peter Sutton, Giuliano Armenante, Jeanne Lecavelier, Anna Struck, and Carla Bombi) which conducts fieldwork in West Africa. Currently, he co-directs the SFB-project on the 'Limits of Variability in Interpretation,' examining scope ambiguities, reconstruction, and bare NP interpretation across German, English, Akan, Igbo, and Medumba. His collaborative work with Edgar Onea (Graz) and Tatjana Scheffler exemplifies his commitment to bridging theoretical linguistics with empirical fieldwork and experimental validation.

Georg Zetzscheمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Formal Verification
• Infinite-State Systems
• +۵ مورد دیگر

Georg Zetzsche is a tenure-track faculty member at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, since November 2018. He leads the Models of Computation group , focusing on theoretical foundations of formal verification and synthesis for infinite-state systems. His work bridges decidability, computational complexity, and automata theory , with applications to program analysis and concurrent systems .

Hiroshi Unnoمشاهده پروفایل

استاد

• Programming Languages
• Software Verification
• Artificial Intelligence
• +۳ مورد دیگر

Hiroshi Unno is a Professor at Tohoku University 's Research Institute of Electrical Communication and a Visiting Professor at the National Institute of Informatics. He has served on program committees for major conferences like POPL , PLDI , ICFP , and CAV . Dr. Unno's research focuses on Programming Languages Software Verification Artificial Intelligence Higher-Order Model Checking Refinement Type Systems Temporal Logic His recent work (2023-2025) includes advancements in algebraic effects , probabilistic program verification , and prophecy-based type systems . Key contributions appear in POPL , PLDI , and ICFP journals. Scientific awards include Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 PPL 2014 Best Paper Award He leads development of tools like RCaml , Thrust , and EffCaml for refinement type checking. Current projects involve Kakenhi grants 20H04162 and 25H00446 . Dr. Unno actively contributes to academic communities through Program Committee roles at AAAI, CAV, and SAS Editorial work for IPSJ Transactions Organizing PPL Summer School (2022)

Daniela Elsnerمشاهده پروفایل

استاد

• German Linguistics
• Syntax
• Word Formation
• +۴ مورد دیگر

Daniela Elsner is a Professor of German Linguistics at Vorarlberg University of Education (PH Vorarlberg) in Austria, specializing in syntax, word formation, and grammar education. Her academic career includes research positions at Ruhr-Universität Bochum (2005-2014), a W1 professorship at Universität Leipzig (2014-2019), and acting professorships at Freie Universität Berlin (2016-2018) before joining PH Vorarlberg in March 2019. As a faculty member in the Department of German Linguistics within the Faculty of Education, she teaches courses including German Grammar of Contemporary Language, Language Didactics, and Specialized Didactic Seminars with Bachelor's theses. Professor Elsner's research primarily focuses on adverbial word formation in German, particularly the suffixes -weise/-erweise, examining their historical development, syntactic properties, and semantic functions. Her work bridges theoretical linguistics with practical applications in language education, investigating how epistemological beliefs affect grammar learning and the role of linguistic knowledge in educational contexts. She has pioneered research on quantifying N+weise formations and the reanalysis processes these constructions undergo in contemporary German usage. Her publication record shows a clear trajectory from early work on sentence structure and language acquisition toward more recent investigations of grammar instruction methods, epistemological beliefs in language learning, and practical applications for classroom teaching. This evolution reflects her commitment to connecting theoretical linguistics with practical educational challenges, particularly in primary and secondary school settings. Throughout her career, Elsner has presented her research at numerous international conferences across Europe and Asia, demonstrating the global relevance of her work on German linguistics and language education. Her lecture topics consistently address the intersection of theoretical analysis and practical application, with recent presentations focusing on integrating language analysis into teacher education and resolving ambiguities in word formation as pedagogical opportunities.

Andrei Moldovanمشاهده پروفایل

استاد

• Philosophy of Language
• Logic
• Argumentation Theory
• +۵ مورد دیگر

Andrei Moldovan is a Professor at the University of Salamanca, Spain, where he works in the Department of Philosophy, Logic and Aesthetics under the Faculty of Philosophy. He is affiliated with the University Institute for Studies of Science and Technology and the Research Group on Studies on Science and Technology, focusing on Logic and Philosophy of Science. His academic background includes a PhD in Philosophy from the University of Barcelona (2015) with the thesis 'The Literal Meaning of Definite Descriptions,' supervised by Dr. Manuel García-Carpintero and Dr. Max Kölbel, and a Master's degree in Philosophy from the University of Windsor, Canada (2007). Moldovan's research centers on philosophy of language, particularly the semantics and pragmatics of definite descriptions, presuppositions, and argumentation theory. His work bridges linguistic analysis with philosophical inquiry, examining how language functions in communication, persuasion, and logical reasoning. He investigates issues like polysemy, technical language as evidence of expertise, and the boundaries between semantic entailment and pragmatic implicature. His publication record reveals consistent contributions to the field since 2009, with increasing focus on presuppositions and argumentative strategies in recent years. His work demonstrates engagement with both historical philosophical debates and contemporary linguistic theory, particularly in the analysis of definite descriptions and their referential properties. Moldovan has established connections with researchers across multiple institutions, including collaborations with scholars from New Bulgarian University, University of Illinois, Central European University, and University of California, Los Angeles, reflecting the interdisciplinary nature of his work at the intersection of linguistics, philosophy, and cognitive science.