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

Steve Awodeyمشاهده پروفایل

استاد

• Category Theory
• Homotopy Type Theory
• Algebraic Set Theory
• +۹ مورد دیگر

Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University, affiliated with the Dietrich College of Humanities and Social Sciences and the Department of Philosophy. His research bridges Category Theory, Homotopy Type Theory, and Algebraic Set Theory, with significant contributions to constructive mathematics and the philosophy of type theory. PhD in Mathematics, University of Chicago (1997), dissertation: Logic in Topoi: Functorial Semantics for Higher-Order Logic Awodey's work focuses on the intersection of categorical logic, homotopy theory, and constructive mathematics. He co-founded the Univalent Foundations Program at the Institute for Advanced Study and leads the Hoskinson Center for Formal Mathematics at CMU. His recent publications explore algebraic models of type theory, cubical set models, and higher categorical structures. His research output spans formal verification, proof-theoretic semantics, and topos-theoretic interpretations of modal logic. The 15 most recent articles emphasize Homotopy Type Theory (HoTT), polynomial functors, and applications of algebraic geometry to intuitionistic logic. Trends include univalent foundations, higher inductive types, and model category-theoretic approaches. Scientific Awards: The Dean's Chair in Logic, Carnegie Mellon University Participant Support Grant for Homotopy Type Theory Conferences NSF Grant for Homotopy Type Theory Research Advising and Grants: Awodey has advised numerous PhD students across philosophy, mathematics, and computer science on topics like Martin-Löf complexes, polynomial pseudomonads, and synthetic homotopy theory. He has secured multiple NSF grants for HoTT research and conference support, with affiliations to the Institute for Advanced Study and nLab collaborative projects. Labs and Teams: He leads the Hoskinson Center for Formal Mathematics and collaborates with the Laboratory for Symbolic and Educational Computing at CMU. His work engages international research groups in categorical logic and higher category theory.

Timothy Williamsonمشاهده پروفایل

استاد

• Epistemology
• Metaphysics
• Philosophy of Language
• +۳ مورد دیگر

Timothy Williamson is a prominent Professor of Philosophy at the University of Oxford, holding the prestigious Wykeham Professorship of Logic. His academic career spans several decades with continuous contributions to analytic philosophy, particularly in epistemology, metaphysics, and philosophical logic. His work has positioned him as one of the leading philosophers of his generation. Williamson's research interests concentrate on epistemology (particularly his influential knowledge-first approach), metaphysics, philosophy of language, and philosophical logic. His work on vagueness champions epistemicism—the view that vague predicates have sharp boundaries that we cannot know. His book Knowledge and its Limits revolutionized epistemological thinking by placing knowledge rather than belief at the center of epistemological theory. Williamson has also made significant contributions to modal metaphysics, higher-order thought, and the philosophy of logic. His publication record reveals consistent engagement with foundational philosophical problems across several decades. His most recent work continues his exploration of knowledge-first epistemology while expanding into moral epistemology and methodological questions in philosophy. Williamson's articles demonstrate a distinctive blend of logical precision and philosophical depth, often using formal methods to address traditional philosophical problems. His work frequently intersects with debates in philosophy of language, metaphysics, and philosophical methodology. Williamson has been actively engaged in scholarly debate through numerous replies to critics, demonstrating his commitment to rigorous philosophical dialogue. His publications span major philosophy journals including Synthese , Canadian Journal of Philosophy , Analysis , and Philosophy and Phenomenological Research . Throughout his career, Williamson has mentored numerous graduate students and collaborated with leading philosophers across the globe. His methodological approach emphasizes the value of formal modeling in philosophical inquiry, arguing that philosophy can benefit from the model-building approaches common in natural sciences.

Yale Weissمشاهده پروفایل

استادیار مدعو

• Logic
• History of Logic
• Ancient Philosophy
• +۴ مورد دیگر

Yale Weiss is an Adjunct Assistant Professor in the Department of Philosophy at the CUNY Graduate Center and Director of the Saul Kripke Center. He holds a Ph.D. from the CUNY Graduate Center (2019). His research focuses on logic, history of logic, and ancient philosophy, with a particular emphasis on modal logic, the history of analytic philosophy, and the works of Saul Kripke. Weiss co-organizes the Logic and Metaphysics Workshop at the Graduate Center with Graham Priest and is a member of the Logicians Liberation League. He authored Saul Kripke on Modal Logic (2024), an edited volume celebrating Kripke’s contributions to modal logic. His work spans topics such as Leibnizian completeness theorems, barriers to entailment in relevance logic, and Augustine’s KK principle. Weiss has also contributed to the semantics of connexive and constructive logics, as well as historical studies of Parmenides and Aristotle. His recent publications analyze topics including Hume’s law, Boolean group semantics, and the philosophical implications of Kripke’s early work in modal logic. Weiss’s research bridges historical and contemporary logic, emphasizing formal methods in understanding philosophical problems.

Åsa Maria Wikforssمشاهده پروفایل

استاد

• Philosophy of Language
• Philosophy of Mind
• Semantic Externalism
• +۵ مورد دیگر

Åsa Maria Wikforss is a Professor in Theoretical Philosophy at Stockholm University, specializing in intersections of philosophy of language, mind, and epistemology. Her research focuses on semantic externalism, content externalism, and normativity of meaning, with significant grants from the Swedish Research Council and Bank of Sweden Tercentenary Foundation. Ph.D., Columbia University (1996) Docent, Stockholm University (2002) Research interests include challenges to semantic normativity, self-knowledge, and knowledge resistance. She critiques Kripke-Putnam theories of natural kind terms and develops 'reason-providing functionalism' for belief characterization. Key publications address transparency of content, semantic externalism, and belief justification Organized international workshops on internalism/externalism and Wittgenstein/Davidson Scientific awards include: Swedish Research Council grants (2007-2010, 2013) Bank of Sweden Tercentenary Foundation grant (2004-2006) Project leadership in CCCOM and Eurounderstanding initiatives She supervises doctoral students and has co-led Nordic graduate seminars on epistemology and philosophy of mind. Her popular science work addresses knowledge resistance, pseudoscience, and self-knowledge in media debates.

Johannes Sternمشاهده پروفایل

استاد مدعو

• Philosophical Logic
• Formal Theories of Truth
• Modality
• +۷ مورد دیگر

Johannes Stern is an Adjunct Professor at the Department of Philosophy, University of Bristol. He completed his Master's in Logic and Philosophy of Science at the University of Munich and earned his PhD in 2012 from the University of Geneva under Fabrice Correia and Karl-Georg Niebergall. His work spans philosophical logic, formal theories of truth/modality, paradox, and the philosophy of language and mathematics. Key research areas: Predicate approaches to modality, semantic paradoxes, and the intersection of truth theory with mechanized reasoning. Notable collaborations include Volker Halbach (Oxford) and contributions to debates on Gödel's and Penrose's arguments against computationalism. His publications bridge proof-theoretic and semantic methods, with a focus on reconciling classical reasoning with self-referential truth theories. Recent work critiques and extends Kripke's reduction of modal predicates to truth-modified operators. Selected publications analyze the interplay between axiomatic truth systems and their semantic counterparts, including formalizations of Montague's theorem and reducibility criteria for multimodal paradoxes. His 2018 paper on supervaluation-style truth theories remains among his most cited works.

Tommaso Moraschiniمشاهده پروفایل

دانشیار

• Algebraic Logic
• Duality Theory
• Universal Algebra
• +۳ مورد دیگر

Tommaso Moraschini is an Associate Professor at the Department of Philosophy of the University of Barcelona (UB) , where he also contributes to the Institute of Mathematics of the UB . He is affiliated with the Barcino research group , focusing on advanced logical systems. Research Interests : Algebraic Logic, Duality Theory, Universal Algebra, Intuitionistic Logic, Modal Logic. Teaching : Abstract Algebraic Logic, Algebraic Logic, and The Algebra of Logic. Recent Publications (2021–2025): Explores topics such as Heyting algebras, structural completeness, epimorphisms, and Leibniz hierarchies, reflecting his expertise in algebraic and mathematical logic. Contact details: Department of Philosophy, University of Barcelona , Carrer de Montalegre 6, 08001 Barcelona, Spain.

Olivia Sultanescuمشاهده پروفایل

استادیار مهمان

• Philosophy of Language
• Philosophy of Mind
• Normativity
• +۳ مورد دیگر

Olivia Sultanescu serves as a Visiting Assistant Professor of Philosophy at Haverford College, affiliated with the Department of Philosophy. She maintains her office in Hall 002 and her contact email is asultanesc@haverford.edu. Prior to her current position, she taught at Concordia University's Department of Philosophy and held a Harper-Schmidt Fellowship at the University of Chicago's Society of Fellows in the Liberal Arts. Her academic journey began with a Bachelor of Arts from the University of Bucharest, followed by advanced studies at York University in Toronto, where she earned both her Master of Arts and Doctor of Philosophy degrees. Dr. Sultanescu's scholarly work centers on core questions in the philosophy of language and mind. She investigates the essence of meaning, the characteristics of linguistic agency, and the distinctive normativity and objectivity of language and thought. Her research is particularly concerned with the implications of Donald Davidson's later work, as well as the later philosophy of Ludwig Wittgenstein, for understanding how human beings function as rational agents governed by reasons. An analysis of her recent publications reveals a sustained engagement with the challenges of finite cognition in the context of semantic and rational norms. Her articles consistently bridge Davidsonian themes of interpretation and rationality with Wittgensteinian insights on rule-following and language games, contributing to contemporary debates on meaning and mind. Her notable recognition includes: Harper-Schmidt Fellow, Society of Fellows in the Liberal Arts, University of Chicago While her current role involves teaching and research, the available information does not specify her advising activities or grant-funded projects. Similarly, there is no mention of laboratory or team affiliations beyond her departmental appointment.

Ichiro Hasuoمشاهده پروفایل

استاد

• Formal Verification
• Mathematical Structures
• Cyber-Physical Systems
• +۳ مورد دیگر

Ichiro Hasuo is a Professor at the National Institute of Informatics (NII) in Tokyo, Japan, where he serves as Director of the Research Center for Mathematical Trust in Software and Systems. He holds a joint appointment at The Graduate University for Advanced Studies (SOKENDAI). Since 2016, he has been the Research Director of the JST ERATO Metamathematics for Systems Design Project, and founded Imiron Co., Ltd. in 2024. Education: PhD in Computer Science (cum laude) from Radboud University Nijmegen (2008) MSc in Mathematical and Computing Sciences from Tokyo Institute of Technology (2004) BSc in Mathematics from University of Tokyo (2002) His research focuses on foundational aspects of software science, particularly formal verification techniques using mathematical structures from category theory and coalgebra. He develops methods for ensuring reliability in cyber-physical systems and systems incorporating machine learning components. Current work emphasizes logical frameworks for autonomous vehicle safety and mathematical trust in complex systems. Hasuo's publications demonstrate consistent focus on theoretical foundations with practical applications. His recent work spans coalgebraic verification methods, temporal logic for hybrid systems, quantum programming semantics, and applications to autonomous driving systems. Key themes include compositional reasoning, probabilistic modeling, and the integration of discrete and continuous system verification. Awards and Honors: Best Paper Award at ICTAC 2024 Minister of Education, Culture, Sports, Science and Technology Commendation (2024) Distinguished Paper Award at CAV 2023 Outstanding Reviewer Award at EMSOFT 2022 Best Paper Award at ICECCS 2018 Best Paper Award at CONCUR 2014 Hiroshi Fujiwara Encouragement Prize (2012) PhD cum laude (2008) He leads multiple major research grants including: JST ASPIRE (2024-2029) for international collaboration on software trust JST START (2022-2025) for autonomous driving verification JST ERATO Metamathematics for Systems Design (2016-2025) Several JSPS KAKENHI grants As head of the MMM laboratory (Hasuo-Lab) at NII, he supervises PhD students and postdoctoral researchers in formal methods and mathematical systems design.

James Walshمشاهده پروفایل

استادیار

• Logic
• Mathematical Logic

James Walsh is an Assistant Professor of Philosophy at New York University, specializing in mathematical logic. His research focuses on proof theory, reflection principles, and incompleteness theorems, with applications to foundational mathematics. He received the Sacks Prize (2020) for his dissertation on proof theory and ordinal analysis. His research bridges mathematical logic, proof theory, and theoretical computer science, with recent publications exploring reflection principles, ordinal analysis, and connections between truth theories and modal logic. Walsh has developed novel approaches to incompleteness phenomena and the classification of formal theories. His interdisciplinary work includes collaborations with physicists applying machine learning to thermospheric density modeling. Before joining NYU, Walsh was a Klarman Postdoctoral Fellow at Cornell University and received his DPhil from UC Berkeley.

• Philosophy of Language
• Metaphysics
• Metaethics
• +۱۲ مورد دیگر

Katharina Felka is an Assistant Professor at the Institute of Philosophy, University of Graz, where she conducts research and teaches in philosophy of language, metaphysics, and metaethics. She has previously held postdoctoral positions at the University of Zurich, University of Hamburg, Uppsala University, and visiting affiliations at MIT, Humboldt University, University of Konstanz, ILLC Amsterdam, and the University of Oslo. Her research focuses on normatively loaded expressions such as slurs, pejoratives, thick terms, and dual-character concepts, as well as the semantics/pragmatics interface, presuppositions, that-clauses, and indirect communication. She employs linguistic methods to address philosophical problems, particularly in ontology and evaluative discourse. Her recent publications reflect a strong trend in the philosophy of language, especially in the semantics of evaluative and normative expressions, indirect speech, and ontological commitments in mathematical discourse. She frequently collaborates with leading scholars such as Nils Franzén, Julia Zakkou, Peter Pagin, and Benjamin Schnieder. Wolfgang-Stegmüller Prize (2015) Karl H. Ditze Award (2016) She leads and co-leads multiple funded research projects, including In A Roundabout Way: Theory and Practice of Indirect Communication (FWF/DFG), The Meaning of Evaluative Language (Swedish Research Council), and contributes to the Excellence Cluster Knowledge In Crisis . She supervises graduate students and regularly organizes international workshops and conferences, such as the Graz Evaluative Language Workshop and colloquia on philosophy-linguistics intersections. She is also involved in the SFB Language and Redundancy starting in 2025. She teaches courses such as Introduction to Philosophy of Language, Introduction to Philosophy of Mind, Philosophy of Logic, and graduate seminars on Frege, Grice, Kripke, generics, and formal semantics.

• Workflow Verification
• Ontology and Logic Reasoning
• Healthcare Information Systems
• +۳ مورد دیگر

Wendy MacCaull is an Adjunct Professor in the Department of Computing and Software at McMaster University's Faculty of Engineering. Her scholarly activity focuses on formal methods for healthcare workflow verification, ontology reasoning, and temporal logic applications in process mining. Role: Adjunct Professor Institution: McMaster University Department: Computing and Software Research Interests: Workflow Verification, Ontology Reasoning, Healthcare Process Mining Her work bridges formal logic and healthcare IT , with publications on compensable workflows, timed BDI CTL logic verification, and ontology merging for clinical systems. She has contributed to Journal of Symbolic Logic , Lecture Notes in Computer Science , and IEEE Transactions on Knowledge and Data Engineering . Recent trends include contextual process mining (2024) and multi-context reasoning architectures (2023). Earlier works (2008-2012) explored non-classical logics, residuated logic models, and Kripke semantics.

Ilya Shapirovskiyمشاهده پروفایل

استادیار

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

Ilya Shapirovskiy is an Assistant Professor in the Department of Mathematical Sciences at New Mexico State University's College of Arts & Sciences. His academic position is listed as Tenure Track Faculty within the university's mathematics department structure. Shapirovskiy's research focuses on advanced topics in mathematical logic, particularly modal logic and its applications. His work spans Kripke frame theory, decidability problems, local tabularity conditions, and connections between modal logic and graph theory. His publications demonstrate expertise in both theoretical foundations and computational aspects of logic systems. Analysis of his recent publications (2016-2025) reveals a consistent research trajectory centered on frame constructions, decidability conditions, and completeness results for various modal logics. His work frequently addresses the finite model property, local tabularity criteria, and relationships between logical systems and mathematical structures like well-orders and graph colorings. The publications appear in leading logic venues including Advances in Modal Logic, Journal of Symbolic Logic, and Studia Logica. Shapirovskiy maintains active scholarly engagement through presentations at major logic conferences including the Association for Symbolic Logic Annual Meeting, Logic Colloquium, and Advances in Modal Logic workshops. His recent talks address topics such as expressibility in distance logics, decidability of modal logics of non-k-colorable graphs, and locally finite polymodal logics.

Helge Rückertمشاهده پروفایل

مدرس

• Formal Logic
• Philosophical Logic
• Dialogical Logic
• +۱۴ مورد دیگر

Dr. Helge Rückert is a Lecturer at the Chair of Theoretical Philosophy/Philosophy of Language (Chair I) within the School of Humanities at the University of Mannheim. He has been affiliated with the university since 2003, contributing to both academic research and teaching. Education: Studied philosophy, psychology, and computer linguistics at the universities of Saarbrücken and Nancy 2 Completed his doctorate with a thesis on non-classical logics in game-theoretic semantics Research Focus: Dr. Rückert advocates for an analytic approach to philosophy, specializing in formal and philosophical logic, including dialogical logic and modal logic with subjunctive markers. His work extends to analytic metaphysics, particularly the philosophy of metaphysical and epistemic modalities, influenced by Kripke. Additionally, he explores the history of analytic philosophy (e.g., Frege, Wittgenstein, Vienna Circle) and interdisciplinary domains like population ethics, social choice theory, game theory, and philosophy-economics intersections (e.g., Adam Smith, Gary Becker).

Jason Bridgesمشاهده پروفایل

دانشیار

• Philosophy of Mind
• Philosophy of Language
• Metaphysics
• +۶ مورد دیگر

Jason Bridges is an Associate Professor in the Department of Philosophy at the University of Chicago, serving as Climate and Diversity Liaison for the 2025-26 academic year. He has taught at UChicago since 2001 following his PhD completion, contributing significantly to the department's intellectual community through teaching and research leadership. His educational background includes a PhD from the University of California, Berkeley (2001) and a BA from Harvard University (1994), where he graduated summa cum laude and was elected to Phi Beta Kappa. This rigorous foundation established his trajectory in analytic philosophy. Professor Bridges' research centers on the philosophy of mind and philosophy of language, with substantial contributions to metaphysics, epistemology, and Wittgenstein studies. His work explores the structural foundations of rationality, the contextual nature of meaning, and the challenges of naturalizing mental content. Current projects investigate reasons and rationality alongside epistemic and semantic contextualism, examining how mental states relate to external conditions and rational constraints. His scholarship consistently addresses the tension between naturalistic explanations of mind and the normative dimensions of thought. His publication record reveals a sustained engagement with core problems in analytic philosophy, evolving from early work on content externalism and teleofunctionalism toward contemporary investigations of practical reasoning and the unity of inference. The recurring themes across his career include the relationship between rationality and psychological explanation, the nature of semantic normativity, and Wittgenstein's legacy for contemporary philosophy. While specific awards are not documented in available materials, Bridges maintains an active scholarly presence through rigorous publication and editorial contributions. His teaching portfolio demonstrates significant mentorship through graduate seminars and advanced undergraduate instruction, particularly in philosophy of mind and action theory courses where he guides students through complex conceptual terrain. Bridges contributes to departmental infrastructure as Climate and Diversity Liaison while leading innovative courses like 'The Philosophy of Artificial Intelligence: Mind and Model' that bridge traditional philosophical inquiry with emerging technological questions. His collaborative teaching with faculty from neuroscience, linguistics, and cognitive science reflects the interdisciplinary nature of contemporary philosophy of mind.

Andrew Lewis-Smithمشاهده پروفایل

مدرس

• Theoretical Computer Science
• Mathematical Logic
• Artificial Intelligence
• +۳ مورد دیگر

Dr Andrew Lewis-Smith is a Lecturer in Computing Science at Middlesex University with a PhD in Theoretical Computer Science from Queen Mary University of London. He has supervised MSc and BSc students, taught across Mathematics, Computer Science, and Neuroscience programs at King’s College London and Queen Mary University of London, and is affiliated with the London Logic Forum. Education: PhD in Theoretical Computer Science, Queen Mary University of London (2021) Research interests span theoretical computer science , mathematical logic , and non-classical reasoning models , with recent work focusing on Kripke semantics for algebraic logic structures. His teaching includes modules on Secure Web Technologies , Software Engineering Management , and Individual Projects . Research Outputs include contributions to logical reasoning frameworks, accessible via Google Scholar .