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

Pietro Vigianiمشاهده پروفایل

پژوهشگر

• Logic
• Formal Epistemology
• Relevant Logic
• +۵ مورد دیگر

Pietro Vigiani is a postdoctoral researcher at the Central European University (CEU), working within the MODREQUAM project in the Department of Philosophy. His research focuses on the intersection of non-classical logic and formal epistemology, with particular expertise in relevant and substructural logics. His educational background includes: PhD in Philosophy at Scuola Normale Superiore, specializing in Logic Year at Institute for Logic, Language and Computation MA in Logic, Philosophy and History of Science at University of Florence BA in Philosophy at University of Pavia Vigiani's scholarly work explores how non-classical logical frameworks can model human reasoning more accurately than traditional approaches. He has made significant contributions to hyperintensional logics, which address limitations of standard intensional systems, and to dynamic epistemic logic, which examines how knowledge evolves. His research on topic-sensitive logics and logical pluralism challenges conventional assumptions about logical consequence. Recent work demonstrates growing interest in applying these formal methods to social and political contexts, particularly democratic decision-making processes. Analysis of his publication record reveals consistent theoretical development in relevant logic systems coupled with innovative applications. His work bridges philosophical inquiry with mathematical rigor, often developing new logical frameworks to address specific epistemological challenges. A notable trend is the progression from purely theoretical developments toward practical applications in social choice theory, exemplified by his award-winning work on liquid democracy. His notable achievements include: Best presentation award at ESSLLI 2022 for 'Proportionality in Liquid Democracy and Representative Democracy' Vigiani maintains active collaborations with researchers including Igor Sedlár and Thomas Ferguson. His conference presentations at venues like KCL-SNS Workshops and WoLLIC demonstrate engagement with both philosophical and technical aspects of logic. As part of the MODREQUAM project, he contributes to CEU's research ecosystem while pursuing independent scholarly work that connects formal methods with real-world problems. His research trajectory shows increasing interdisciplinary reach, moving from foundational work on relevant modal logics toward applications in democratic theory and social epistemology, while maintaining rigorous logical standards throughout.

Revantha Ramanayakeمشاهده پروفایل

دانشیار

• Non-Classical Logics
• Proof Theory
• Substructural Logics
• +۴ مورد دیگر

Revantha Ramanayake is an Associate Professor in Proof Theory of Non-Classical Logics at the University of Groningen, affiliated with the Faculty of Science and Engineering and the Bernoulli Institute within the Fundamental Computing Science department. His research focuses on non-classical logics, including substructural, modal, and intermediate systems, with an emphasis on proof theory, decidability, complexity, and automated verification using proof assistants. He leads the COMWELT grant (2025–2028) on well-quasi-order-based logics and previously managed the UNITARY-IDEAL project (2020–2025). His recent work includes advancements in tableau-based interpolation for dynamic logics, completeness in Lambek calculus variants, and the development of automated reasoning tools for intermediate logics. He co-edits conference proceedings and actively supervises PhD students in formal logic and theoretical computer science. Key research themes include structural proof theory, automated theorem proving, and applications of proof theory to computational logic problems. His contributions span foundational studies in sequent calculi, decidability analysis, and practical implementations of proof systems.

Maria Aloniمشاهده پروفایل

دانشیار

• Formal semantics and pragmatics
• Philosophical logic
• Philosophy of language
• +۸ مورد دیگر

Maria Aloni is an Associate Professor of Logic and Language at the Institute for Logic, Language and Computation (ILLC) and the Department of Philosophy at the University of Amsterdam. She holds dual affiliations with the Formal Semantics & Philosophical Logic (FSPL) research unit as her primary affiliation and the Epistemology & Philosophy of Science (EPS) unit as her secondary affiliation. Her research bridges formal semantics, philosophical logic, and the philosophy of language, with particular expertise in quantification, modality, and the interpretation of indefinite expressions. She currently leads the N∅thing is Logical (NihiL) project, which investigates cognitive tendencies to neglect empty representations and their effects on reasoning and interpretation. Aloni completed her PhD at the University of Amsterdam in 2001 with the thesis "Quantification under Conceptual Covers," which won the prestigious E. W. Beth Dissertation Prize in 2002. Her academic trajectory includes significant research funding: an NWO Veni grant (2004-2007) for "Semantic Structure and Dynamics in Natural Language Interpretation," an NWO Vidi grant (2007-2012) as Principal Investigator for "Indefinites and beyond. Evolutionary pragmatics and typological semantics," and the current NWO Open Competition Grant (since 2023) for the NihiL project. Her research spans formal semantics and pragmatics, with specific expertise in quantification, modals, propositional attitudes, reference, indefinites, disjunction, indexicals, questions, imperatives, and various semantic phenomena including free choice, exhaustification, and presupposition. She employs diverse methodologies including formal modeling, corpus analysis, and experimental approaches to investigate how linguistic meaning is constructed and interpreted across different contexts and languages. Aloni's recent publications demonstrate a consistent focus on the "neglect-zero" hypothesis, examining how cognitive tendencies to ignore empty representations affect interpretation of quantifiers, disjunction, and free choice phenomena. Her work also explores cross-linguistic and diachronic dimensions of indefinites, investigating how pragmatic inferences become conventionalized in language through historical processes. Scientific awards: E. W. Beth Dissertation Prize (2002) for "Quantification under Conceptual Covers" As an educator, Aloni coordinates the MoL Graduation Trajectory for Master of Logic students and teaches courses including "Introduction to Logic" and specialized seminars on semantics and philosophy. She has supervised numerous Master's theses in the Logic program, with recent students exploring topics related to free choice phenomena, perspective shifts, and linguistic semantics. Her research is supported by significant grants from the Netherlands Organisation for Scientific Research (NWO) and previously from the European Union. Aloni is a key member of the Formal Semantics & Philosophical Logic research unit at ILLC and collaborates extensively with international researchers. Her current NihiL project brings together interdisciplinary perspectives from linguistics, philosophy, and cognitive science to investigate the cognitive foundations of logical reasoning and its divergence from everyday reasoning patterns.

Tim Lyonمشاهده پروفایل

پژوهشگر

• Computational Logic
• Proof Theory
• Modal Logics
• +۳ مورد دیگر

Dr. Tim Lyon serves as a Research Associate within the Computational Logic group at Dresden University of Technology's Faculty of Computer Science. He is actively engaged in the ERC-funded DeciGUT (A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation) project, focusing on theoretical foundations of computational logic. His research centers on computational logic , specializing in proof systems for fragments of first-order logic, non-classical logics, and modal logics. Key contributions include developing sequent-based frameworks for Gödel-Löb provability logic, bi-intuitionistic extensions, and decidability analyses for quasi-dense modal systems. His work bridges theoretical proof theory with practical applications in knowledge representation and automated reasoning. Analysis of his recent publications (2023-2025) reveals a concentrated focus on decidability mechanisms and unified proof-theoretic frameworks . His research spans theoretical investigations (e.g., fixed-point equations in dynamic logic) to applied systems (e.g., standpoint temporal logic for multi-perspective reasoning), demonstrating consistent innovation in sequent calculus applications across diverse logical domains. Dr. Lyon advises master's students through thesis topics such as "A Simplified Tableau Calculus for Standpoint LTL" and "Ill-Founded Linear Nested Sequents for LTL" under the DeciGUT project. His research is supported by European Research Council funding, with collaborative work spanning institutions including Vienna University of Technology, CNRS, and KU Leuven. He operates within the International Center for Computational Logic (ICCL), a specialized research unit under the Faculty of Computer Science dedicated to advancing logical methods in computer science through interdisciplinary collaboration and theoretical innovation.

Paul McNamaraمشاهده پروفایل

استاد

• Deontic Logic
• Ethical Theory
• Philosophy of Moral Language
• +۳ مورد دیگر

Paul McNamara is a Professor of Philosophy at the University of New Hampshire's College of Liberal Arts. His research focuses on deontic logic, ethical theory, and the philosophy of moral language. He has authored/co-authored major works on deontic logic, including contributions to the Stanford Encyclopedia of Philosophy and the Handbook of Deontic Logic and Normative Systems. McNamara is also a fellow at the Institute of Philosophy, School of Advanced Studies, University of London, and oversees the Northern New England Philosophical Association. He serves on steering committees for the DEON and Formal Ethics conference series. Education: Ph.D., Philosophy, University of Massachusetts - Amherst M.A., Philosophy, University of Missouri - Columbia B.A., City University of New York Research Interests: Deontic logic frameworks (e.g., DWE) Supererogation and normative concepts Formal ethics and moral language Applications of logic to AI and robotics McNamara teaches courses on ethics, logic, and the philosophy of AI. His work bridges formal logic with ethical theory, emphasizing practical applications in normative systems and moral decision-making.

Kevin Daveyمشاهده پروفایل

دانشیار

• Philosophy of Science
• Philosophy of Physics
• Formal Epistemology
• +۳ مورد دیگر

Kevin Davey is an Associate Professor in the Department of Philosophy at the University of Chicago and currently serves as the Director of Graduate Studies (2025-26). He has been teaching at the University of Chicago since 2005. His academic background includes a PhD from the University of Pittsburgh (2004) and a B.Sc. (Honors) from Monash University, Australia (1992). He also holds Master's degrees in physics and mathematics. Education: PhD in Philosophy, University of Pittsburgh, 2004 B.Sc. (Honors), Monash University, Australia, 1992 Master's degrees in Physics and Mathematics His research focuses on the philosophy of science, philosophy of physics, formal epistemology, and the philosophy of logic and mathematics. Key areas include non-deductive inference in science and epistemology, the origins of mathematical proof in diverse traditions, and formal theories of truth. He explores how truth predicates function philosophically and their technical implications in logic. His publications span formal logic, philosophy of mathematics, and epistemology, reflecting an interdisciplinary approach to foundational questions in philosophy. He teaches courses ranging from introductory topics like the philosophy of space and time to advanced workshops on type theory and job placement support for graduate students. No scientific awards are mentioned in the provided materials. He actively mentors students through structured workshops, including the Job Placement Workshop and Topical Workshop for PhD candidates.

Tobias Wilschمشاهده پروفایل

مدرس

• Metaphysics
• Philosophy of Science
• Epistemology
• +۷ مورد دیگر

Dr. Tobias Wilsch is currently an Akademischer Rat (Lecturer) at the University of Tübingen, affiliated with the Department of Philosophy within the Philosophisches Seminar. He has held an interim professorship for Theoretical Philosophy at the University of Mainz (2021–2023) and served as a postdoctoral researcher at Uppsala University (2015–2016). His research focuses on metaphysics, philosophy of science, epistemology, and action theory, with particular emphasis on modality, natural laws, essences, and logical consequence. Education: PhD in Philosophy, Rutgers University (2015) M.Litt in Philosophy, University of St. Andrews (2008–2010) Studies in Philosophy, Logic, and Science Theory at LMU Munich (2004–2006) Research Interests: Metaphysical explanation and its modal foundations Nature of natural laws and their modal governance Epistemological and action-theoretic dimensions of rational agency Grounding theory and essentialist accounts His current Heisenberg Project (DFG-funded) investigates the relationship between normative reasons, causal explanations, and modal necessity, proposing a unified account of alethic and deontic modality. Funding & Grants: Heisenberg Fellowship (German Research Foundation, DFG) focusing on action theory and epistemology Publications: Key works include The Sources of Necessity (Oxford UP, 2025) and articles in Philosophical Studies , Australasian Journal of Philosophy , and Philosophical Issues .

Diti Bhadraمشاهده پروفایل

استاد

• Formal Semantics
• Linguistic Typology
• Pragmatics
• +۴ مورد دیگر

Diti Bhadra is a Professor and semanticist at the University of Minnesota’s Institute of Linguistics, with affiliations in the Center for Cognitive Sciences. Her research focuses on formal semantics, typology, and fieldwork on endangered languages in South Asia, including Khasi, Ao, Adi, Lepcha, and others. Funded by NSF grants, her work bridges theoretical models with empirical diversity in linguistic systems. She runs the Fieldwork Integrates Theory & Typology (FITT) lab, mentoring students in semantic fieldwork. Her recent grants include an NSF CAREER award (2022-2027) for studying underrepresented linguistic systems and an OVPR grant for investigating clickbait linguistics with Educational Psychology. Her education includes a Ph.D. in Linguistics from Rutgers University (2017) and prior roles as a Lecturer at Harvard University (2018-2019). Key research areas include modality, evidentiality, question structures, and the semantics of verb roots. She actively addresses misinformation through linguistic analysis, collaborating across disciplines. Recent publications explore Cantonese particles, verb root semantics, and South Asian linguistic typology. She has organized major conferences like FASAL-11 (2021) and frequently presents at top venues such as UCLA, University of Chicago, and international workshops. Teaching spans semantics, syntax, field methods, and introductory linguistics courses designed under her NSF CAREER grant.

Carolin Gerwinskiمشاهده پروفایل

مدرس ارشد

• German Linguistics
• Modality
• Negation
• +۷ مورد دیگر

Carolin Gerwinski is an academic at the University of Siegen, affiliated with Faculty I in the Department of German Studies - Linguistics. She has served as an Academic Councillor since October 2017, following her role as a research assistant from 2010 to 2017. She earned her doctorate in April 2017 with a dissertation on German modal verbs. Her research centers on linguistic perspective, particularly through modal, negating, and evaluative expressions. She investigates morphosyntactic polyfunctionality, the categorical transition of linguistic elements like modal verbs and evaluative adjectives, and the interplay between modality and evaluation. Her current projects include the study of not as a polyfunctional perspective expression, linguistic expressivity, and reduplication in German. Her publications span topics such as grammatical doubt, word formation, and professional conversation norms. The body of work shows a consistent focus on the semantics and pragmatics of German, with an emphasis on how language reflects speaker perspective and social interaction. She has contributed both as an author and editor in peer-reviewed volumes. Editorial Assistant, Journal of Word Formation (ZWJW) Provider of language and name advice at the University of Siegen Active teacher of core and advanced linguistics courses She has been involved in academic self-governance, serving on the spokesperson team of the Association of Scientific Mid-Level Staff and as a representative in the Senate Commission for Quality Improvement in Teaching and Studies from 2016 to 2018.

Carlotta Sparvoliمشاهده پروفایل

دانشیار

• Chinese Linguistics
• Semantics of Modality
• Chinese as a Second Language Teaching
• +۷ مورد دیگر

Carlotta Sparvoli is an Associate Professor in the Department of Asian and North African Studies at Ca' Foscari University of Venice, where she has been a faculty member since February 2022. She also serves as the Director's Delegate for Information Technology. Her academic work bridges theoretical and applied linguistics, with a focus on Chinese language and its pedagogy. PhD in Languages, Cultures and Society, Ca' Foscari University of Venice (2012) Laurea in Oriental Languages (Chinese), Ca' Foscari University of Venice (1991) National Scientific Habilitation for Associate Professor (2019) Her research centers on the semantics of modal expressions in Chinese, the acquisition of Mandarin tones, and the teaching of Chinese as a second language. She employs corpus-based and cognitive linguistic approaches to analyze modality, negation, and discourse structure. Her interdisciplinary work integrates insights from psychology, philosophy, and education. The 15 most recent publications reflect a strong focus on modality, tonal acquisition, and political discourse in Chinese. These works span book chapters, journal articles, and encyclopedia entries, published by leading academic presses such as Oxford University Press and De Gruyter. Her research shows a consistent trajectory toward understanding the cognitive and pragmatic dimensions of Chinese linguistic structures. President, Italian Association of Chinese Linguistics (AILC) Executive Board Member, Chinese as a Second Language Research (CASLAR) Executive Committee Member, International Association of Chinese Linguistics (IACL) Editorial Board, Chinese as a Second Language Research Reviewer for ERC, Oxford University Press, and multiple international journals She has supervised five doctoral students and organized major international conferences such as ISOCTAL-3 and CASLAR-3. Her academic service includes external examination roles at Dublin Institute of Technology and Maynooth University. She has been an active participant in international research groups, including the CASRI Initiative on modality acquisition. Carlotta Sparvoli leads a vibrant research agenda and is deeply embedded in the global Chinese linguistics community. She has held teaching and leadership positions at institutions in Ireland, Taiwan, and Italy, reflecting her transnational scholarly impact.

Henrik Kaatariمشاهده پروفایل

مدرس ارشد

• Corpus Linguistics
• Language Learning
• Grammatical Variation
• +۳ مورد دیگر

Henrik Kaatari is a Senior Lecturer in the Department of English at the University of Gävle . His research focuses on corpus linguistics , language learning , and formality in academic writing , with particular interests in grammatical variation , syntactic complexity , and the impact of extramural English (EE) activities on L2 writing development. Current Project : Principal Investigator of the ComplEExity Project (RJ P23-0437), funded by the Bank of Sweden Tercentenary Foundation, investigating EE's impact on Swedish secondary students' L2 writing. Research Areas : Lexical complexity, register variation, phraseology, and self-initiated language learning. His recent publications analyze the relationship between extramural exposure (e.g., gaming, YouTube) and improvements in lexical diversity and grammatical complexity. Using the Swedish Learner English Corpus , Kaatari employs cross-sectional designs and complexity measures to assess writing development across lexis, phraseology, and grammar. His work has practical implications for English pedagogy in Swedish schools.

• Computational Logic
• Knowledge Representation and Reasoning
• Multi-Agent Systems
• +۳ مورد دیگر

Dr Louwe Kuijer is a Lecturer in the Department of Computer Science at the University of Liverpool , affiliated with the School of Electrical Engineering, Electronics and Computer Science. He teaches modules including Cloud Computing for E-Commerce (COMP315), Knowledge Representation (COMP521, Module Co-ordinator), and Knowledge Representation and Reasoning (COMP304). Education: Not explicitly stated in the provided text. Research Interests: Focus on computational logic, knowledge representation, multi-agent systems, formal methods, and theoretical computer science. His work explores logical frameworks for distributed knowledge, temporal and epistemic reasoning, and verification of social laws in strategic contexts. Recent Research Trends: Studies in two-variable first-order logic with counting, hyperproperties in temporal logic (HyperLTL/HyperCTL*), and dynamic epistemic logics for public announcements and common knowledge. These contributions intersect formal verification, complexity theory, and AI reasoning systems. Teaching Roles: Module coordination for advanced logic and AI courses, emphasizing both theoretical foundations and practical applications in e-commerce and multi-agent systems.

• Logic for Knowledge Representation
• Logics of Action and Agency
• Temporal Reasoning
• +۶ مورد دیگر

Marek Sergot is a Professor of Computational Logic at the Department of Computing, Imperial College London . His research spans logic-based approaches to knowledge representation, normative reasoning, and computational models of agency and action. Research Interests Logics of action and agency Temporal and normative reasoning Legal reasoning and deontic logic Formal theories of organisations Publications His work includes 15 recent articles on topics such as temporal logic, non-monotonic reasoning, and applications in bioinformatics. Key areas include event calculus, security protocols, and the action language C+. Scientific Awards No specific awards are listed in the provided materials.

• Deontic Logic
• Action Logic
• Legal Knowledge Representation
• +۱ مورد دیگر

José Carmo is Full Professor of Logic and Computer Science in the Mathematics Department at Universidade da Madeira, where he currently serves as Department President. His research focuses on deontic and action logics applied to legal knowledge representation and normative system specification. He investigates formal methods for modeling organizational constraints and security protocols through combinations of modal logics including temporal, action, and belief operators. His work bridges computer science theory with practical applications in information systems verification.

Jan Broersenمشاهده پروفایل

استاد

• Artificial Intelligence
• Logic
• Ethics of AI
• +۴ مورد دیگر

Prof. Jan Broersen is a Professor of Logical Methods in Artificial Intelligence at Utrecht University's Department of Philosophy and Religious Studies, within the Faculty of Humanities. He holds the chair in 'Logic-based methods in artificial intelligence' and delivered his inaugural lecture in 2020. His research focuses on responsible AI, knowledge representation, and logic theories of agency, integrating mathematical logic with philosophical inquiry. Education & Background: PhD in Mathematics, Logic, and Computer Science Interdisciplinary expertise bridging philosophy, computer science, and ethics Research Interests: Broersen investigates ethical AI frameworks, formal models of agency, and computational accountability. He develops stit-logic frameworks to analyze moral responsibility, practical knowledge, and the interaction between intentions and outcomes. His work addresses challenges in AI ethics, including explainability, accountability, and the design of socially responsible systems. Professional Activities: Supervised PhD candidates in AI ethics and logic Organized conferences like the Mathematical Ability Conference (2019) Member of Research Foundation - Flanders (FWO) network (2016-2021) Keynote speaker at events addressing AI ethics, legal responsibility, and cognitive systems Labs & Collaborations: Involved in the REINS Project (Responsible Intelligent Systems), exploring AI accountability mechanisms. Collaborates with interdisciplinary teams on normative systems and computational ethics.