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

Colin Caretمشاهده پروفایل

استادیار

• Logic
• Epistemology
• Philosophy of Science
• +۵ مورد دیگر

Dr. Colin Caret is an Assistant Professor in the Department of Philosophy and Religious Studies at Utrecht University, specializing in Theoretical Philosophy. His research focuses on logical pluralism, epistemic closure, and the intersection of philosophical logic with cognitive science. He contributes to the Human-Centered AI program and teaches courses such as Logical Methods for AI . Previously, he held positions at Yonsei University (South Korea) and the Arché Research Centre at the University of St Andrews (Scotland). Dr. Caret actively organizes interdisciplinary events like the TULIPS logic seminar and collaborates with the Utrecht Neurosymbolic AI special interest group. His expertise spans Logic, Epistemology, and Philosophy of Science, with additional interests in pre-Qin Daoism and early Buddhist philosophy. He supervises courses in Artificial Intelligence (BSc/MSc), Philosophy (BA/RMA), and the History and Philosophy of Science (MSc). Research highlights include work on non-classical logics, paradox solutions, and bounded rational belief. His publications address foundational questions in logical consequence and semantic frameworks.

• Proof Theory
• Automated Theorem Proving
• Linear Logic
• +۲ مورد دیگر

Kaustuv Chaudhuri is a Research Scientist at Inria (Saclay) in the project-team PARTOUT. His work focuses on proof theory and automated theorem proving, particularly in linear logic and formal verification. PhD from Carnegie Mellon University (2006) Active in program committees for conferences like TABLEAUX, FroCoS, LFMTP His research explores foundational aspects of logical frameworks, including focused proof systems, hybrid linear logic, and distributed proof verification. Recent work emphasizes heterogeneous verification platforms and distributed assertions. Key publication trends include: proof certification, substructural logics, and computational interpretations of logic. His technical reports and conference papers often bridge theoretical proof systems with practical verification tools like Abella. Chaudhuri contributes to the meta-theory of sequent calculi and develops systematic approaches to canonicity in classical logic. He organizes workshops and participates in international collaborations.

Carlo Nicolaiمشاهده پروفایل

استاد

• Logic
• Philosophical Logic
• Philosophy of Mathematics
• +۲ مورد دیگر

Carlo Nicolai is Reader in Logic at King's College London's Department of Philosophy. He holds a DPhil from the University of Oxford and a Master's in Logic and Philosophy of Science from Catholic University Milan. Previously, he held positions at LMU Munich (Marie Skłodowska-Curie Fellow) and Utrecht University (VENI NWO Fellow). His research focuses on: Formal theories of truth and consequence Predicate approaches to modality Mathematical explanation and commitment Formal approaches to de re modality Truth-theoretic deflationism Nicolai's recent publications (2019-2023) demonstrate a consistent focus on truth theories, logical paradoxes, and mathematical foundations, with significant contributions to non-classical logics, proof theory, and formal semantics. His work frequently explores the intersection of logic and philosophy of mathematics. Major awards and grants: Horizon MSCA Staff Exchanges (Co-investigator, 2023-2027) AHRC Starting Grant (Principal Investigator, 2022-2024) VENI NWO Individual Fellowship (2017-2020) Marie Skłodowska-Curie Fellowship (2016-2017) He supervises doctoral and master's students in philosophy, logic, and metaphysics. Nicolai leads the AHRC project "Properties, Paradox, and Circularity" and co-leads the Horizon project on substructurality. He founded the London Group for Formal Philosophy and serves as Associate Editor for Journal of Logic, Language, and Information and Journal for the Philosophy of Mathematics. Nicolai is an external member of Munich Centre for Mathematical Philosophy.

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.

Ryan Doengesمشاهده پروفایل

پژوهشگر ارشد

• Programming Languages
• Formal Verification
• Type Systems
• +۴ مورد دیگر

Ryan Doenges is a Distinguished Postdoctoral Fellow at Northeastern University in Boston, working with Amal Ahmed. He holds a PhD from Cornell University under Nate Foster and completed undergraduate studies with Zach Tatlock. His educational background includes: PhD in Computer Science, Cornell University Bachelor's degree, institution unspecified Doenges' research focuses on enhancing programming safety through type systems and verification, specializing in program logics for effects/resources like concurrency and memory. His doctoral work established formal semantics and verification frameworks for the P4 network programming language, ensuring termination and correctness. His publications (2017-2025) show consistent advancement from distributed systems verification to network programming (P4) and foundational program logics, culminating in categorical semantics for separation logic. Key themes include certified equivalence, stateful packet processing, and fibrational weakest preconditions. No scientific awards are documented in available sources. He formally supervised Tia Vu's Master's thesis (Cornell MS, now MIT PhD) and informally mentored eight students including Rudy Peterson (ETH Zürich PhD) and Amanda Xu (UW Madison PhD). No grant details are provided. Doenges collaborates with Amal Ahmed's group at Northeastern and previously worked in Nate Foster's Cornell research team focused on network programming languages.

Victoria Ironmongerمشاهده پروفایل

مدرس

• Pure Mathematics
• Algebra and Combinatorics
• Order Theory
• +۷ مورد دیگر

Victoria Ironmonger is an Associate Lecturer (Education Focused) and PhD student at the University of St Andrews, School of Mathematics and Statistics, Department of Pure Mathematics. Her research is conducted within the Algebra and Combinatorics group under the supervision of Prof. Nik Ruškuc. Her primary research interests lie in the theoretical foundations of combinatorics and order theory, with a focus on decidability , well quasi-ordering , and atomicity for partially ordered sets of combinatorial structures. She investigates these properties under various substructure orders, especially consecutive and embedding orders. The single recent publication reflects a deep engagement with foundational questions in mathematical logic and structural combinatorics. The work centers on determining algorithmic decidability of order-theoretic properties in equivalence relations, contributing to the broader understanding of order hierarchies in discrete mathematics. From 2022 to 2024, she co-led the Piscopia Initiative , an outreach program dedicated to supporting women and students of underrepresented genders in pursuing PhDs in mathematics. This role highlights her commitment to inclusion and mentorship within the mathematical community. PhD in Pure Mathematics, University of St Andrews (ongoing) Research in Algebra and Combinatorics group Active contributor to mathematical outreach and equity initiatives She has no known advisees at this stage and is not listed as leading any formal research lab or team. However, her leadership in the Piscopia Initiative demonstrates active community engagement.

Riccardo Bianchiniمشاهده پروفایل

پژوهشگر

• Programming Languages
• Type Systems
• Concurrency
• +۳ مورد دیگر

Riccardo Bianchini is a researcher at the University of Genoa, focusing on programming languages and formal verification. His work bridges theoretical computer science with practical language design. Affiliation: University of Genoa Research Interests Riccardo's research centers on programming language theory, particularly co-logic programming, resource-aware systems, and formal verification of concurrent protocols. His work on global types formalism and multi-graded typing extends into type systems and formal methods for software reliability. Contributions He has actively contributed to conferences like SPLASH, ECOOP, and VORTEX. His recent publications address resource-aware semantics and formal verification of asynchronous sessions. Tool Development He developed QueryAGT, a tool for experimenting with global types formalism, implemented in Java and Prolog, available via Docker and Maven builds.

• game theory
• dynamic logic
• counterfactual logic
• +۳ مورد دیگر

Ondrej Majer is a Senior Researcher at the Department of Logic, Institute of Philosophy, Academy of Sciences of the Czech Republic. He holds a Doctor of Natural Sciences (RNDr.) degree in Game Theory and a Candidate of Sciences (CSc., equivalent to PhD) in Logic. Education : Faculty of Mathematics and Physics, Charles University in Prague (Theoretical Cybernetics, Mathematical Informatics and Control Theory, 1986); Faculty of Music and Drama, Charles University in Prague (Game Theory); Institute of Philosophy, Academy of Sciences of the Czech Republic (Logic, CSc.) Areas of interest : game theory, dynamic logic, counterfactual logic, modal logic, fuzzy logic, and fundamentals of probability Majer has delivered over 50 lectures at international conferences, including key presentations on epistemic logics, paraconsistent reasoning, and many-valued logics. His research focuses on integrating logical frameworks with probability theories to model uncertainty and inconsistency in information systems. He has participated in 16 national and international projects, including grants from GAČR (Czech Science Foundation), DFG (Germany), and FWF (Austria). Notable projects involve reasoning with graded properties, paraconsistent epistemic logics, and modeling vague quantifiers in mathematical fuzzy logic. Majer has collaborated extensively, publishing two-layered logics, truth-maker semantics, and belief function models over non-classical logics. His work bridges formal logic, philosophical inquiry, and computational reasoning.

Gerald Pennمشاهده پروفایل

استاد

• Natural Language Processing
• Computational Linguistics
• Logic Programming
• +۸ مورد دیگر

Roles & Affiliations Professor of Computer Science and Fellow of St. Michael's College at the University of Toronto. Leads research in computational linguistics, natural language processing, and logic programming. Maintains affiliations with the Computational Linguistics group at Toronto and serves on the editorial board of Linguistics & Philosophy . Research Interests Typed Feature Logic and Grammar Development Parsing/Generation Algorithms for Free-Word-Order Languages Substructural Logics (e.g., Lambek Calculus) Finite-State Methods and Speech Summarization Constraint Logic Programming (ALE System) Teaching Teaches courses including Natural Language Computing , Computational Linguistics , and Programming Languages . Recent courses span academic years 2023–2024. Projects & Contributions Principal developer of the Attribute Logic Engine (ALE) , a constraint logic programming system. Organized the 2019 Mathematics of Language (MOL) conference.

Alessandra Palmigianoمشاهده پروفایل

استاد

• Logic
• Duality Theory
• Logics for Social Behaviour
• +۳ مورد دیگر

Alessandra Palmigiano is a Full Professor in Logic at the Department of Ethics, Governance and Society at Vrije Universiteit Amsterdam. She holds a PhD from the Universitat de Barcelona (2005) and has been affiliated with TU Delft and the University of Amsterdam. Her research focuses on duality theory, algebraic proof theory, and logics for social behavior. Key contributions include work on correspondence theory, multi-type calculi, and non-distributive logics. She has secured significant grants: NWO Vidi (€800k, 2013), Delft Technology Grant (€850k, 2013), and two NWO Aspasia grants (€200k in 2019 and 2012). Her research spans modal logic, lattice theory, and applications to AI, particularly in outlier detection and categorization using formal concept analysis. Recent publications (2023–2025) explore topics like polynomial-time checking of Sahlqvist formulas, correspondence theory in vector spaces, and algebraic proof systems for non-classical logics. Awards include the NWO Veni Grant (2007).

Zachiri Mckenzieمشاهده پروفایل

مدرس ارشد

• Mathematical Logic
• Set Theory
• Foundations of Mathematics
• +۵ مورد دیگر

Dr. Zachiri Mckenzie is a Senior Lecturer in Mathematics at the University of Chester's Engineering and Computer Science Department, within the Faculty of Science, Business and Enterprise. His research focuses on mathematical logic and set theory, particularly the structure of models of set theory and foundational theory comparisons using model-theoretic techniques. He has held academic positions globally, including postdoctoral roles at Zhejiang University, Shanghai Jiao Tong University, and the University of Gothenburg. He holds a Ph.D. in Pure Mathematics from the University of Cambridge and bachelor's degrees in Mathematics and Philosophy from the University of Queensland. His educational background includes a Ph.D. from the University of Cambridge (2008-2013), a B.Sc. with Honours in Mathematics (2002-2007), and a B.A. in Mathematics and Philosophy (2002-2006), both from the University of Queensland. His research spans subsystems of Zermelo-Fraenkel Set Theory, first/second-order arithmetic, the Simple Theory of Types, and variants of Quine’s New Foundations Set Theory. Zach teaches mathematics courses across undergraduate and postgraduate programs. His work includes contributions to foundational studies, such as end extensions of countable models, self-embeddings, and decidability in type theory. He has collaborated internationally on topics including admissible covers, automorphisms of models, and category theory foundations.

Harley Eadesمشاهده پروفایل

دانشیار

• Theoretical Computer Science
• Logic in Computer Science
• Foundations of Programming Languages
• +۶ مورد دیگر

Harley Eades is an Associate Professor in the Department of Computer Science at Augusta University's School of Computer and Cyber Sciences. His research focuses on theoretical computer science, logic in computer science, foundations of programming languages, categorical logic, and human-computer interaction (HCI), with a specific emphasis on sports+HCI applications. Ph.D. in Computer Science (2014), University of Iowa MS in Computer Science (2012), University of Iowa BS in Applied Mathematics (2009) and Computer Science (2009), Millikin University His scholarly work bridges substructural logics with type theory, including graded logics, linear logic, and categorical models. Recent projects include tools for developers with vision impairments, remote athletic coaching systems, and the Granule Project exploring graded logics and type theories. As a co-founder of the ForML Lab, he collaborates on formal methods and programming language research. He has served on university committees such as the Faculty Affairs Committee and Curriculum and Academic Policies group. His teaching interests include discrete mathematics, programming language concepts, and theory of computation, with courses ranging from graduate-level dissertation research (CSCI 8940) to undergraduate research (CSCI 4990) and programming languages (CSCI 3300).

William Youngمشاهده پروفایل

استاد

• Universal Algebra
• Algebraic Logic
• Residuated Lattices
• +۳ مورد دیگر

William Young is a Professor of Mathematics and Associate Dean for Curriculum and Academic Policy at Huntingdon College. He holds a Ph.D. in Mathematics from Vanderbilt University, along with an M.S. from Vanderbilt and a B.S. in Mathematics from Purdue University, with minors in Philosophy and Anthropology. Ph.D., Mathematics, Vanderbilt University M.S., Mathematics, Vanderbilt University B.S., Mathematics (minors: Philosophy & Anthropology), Purdue University His research focuses on Universal Algebra, Algebraic Logic, and Residuated Lattices. His work explores algebraic structures and their applications in logic, including studies on modular rings and zero-divisor graphs. These investigations bridge abstract algebra with foundational mathematical logic, contributing to the theoretical underpinnings of algebraic systems. His publications include studies on zero-divisor graphs in modular rings, with ongoing work on projective objects in algebraic categories. Conference presentations span topics like modal substructural logics and categorical equivalences in algebra and logic, reflecting his interdisciplinary approach.

• Fuzzy Logic
• Many-Valued Logics
• Mathematical Logic
• +۳ مورد دیگر

Petr Cintula is an Adjunct Professor at TU Wien's Department of Theory and Logic (E192-05). He holds a PhD and the title of Privatdozent, indicating his academic authority. His research focuses on non-classical logics, particularly fuzzy logic and many-valued systems, with interdisciplinary applications in philosophy, linguistics, and artificial intelligence. Key contributions include formalizing strategic games in many-valued logics and exploring foundational issues in deduction theorems for substructural systems. He has edited major works like Understanding Vagueness , bridging logic, philosophy, and linguistics. His work is funded by the Austrian Science Fund (FWF) through the 2011–2019 project 'Nonclassical Proofs: Theory, Applications and Tools'.