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

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.

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +۶ مورد دیگر

Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.

Julien Dutantمشاهده پروفایل

مدرس

• Epistemology
• Formal Epistemology
• Philosophy of Language
• +۲ مورد دیگر

Julien Dutant is a Lecturer in Philosophy at King's College London, affiliated with the Department of Philosophy within the Faculty of Arts & Humanities. His research examines epistemological frameworks, including the principles of knowledge, rational belief, and epistemic value. He holds a Ph.D. from the University of Geneva (2010) and has held research positions at the University of Oxford and University of Michigan. Dutant's primary research explores foundational questions in epistemology, formal models of knowledge, and the semantics of propositional attitudes. His work integrates philosophical analysis with formal methods to address epistemic norms and contextual variations in knowledge attribution. His publications demonstrate sustained focus on refining theories of justification, rationality, and epistemic norms. Recent research trends include investigations into practical rationality, epistemic utility, and the interplay between evidence and ignorance. Dr. Dutant teaches undergraduate and postgraduate courses including Introduction to Philosophy, Methodology, Intermediate Logic, and advanced topics in epistemology. He maintains active engagement with philosophical communities through invited talks and editorial roles.

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.

Jeffrey Sanford Russellمشاهده پروفایل

استاد

• Decision Theory
• Ethics
• Formal Epistemology
• +۴ مورد دیگر

Jeffrey Sanford Russell is a Professor of Philosophy at the University of Southern California's School of Philosophy, where he also serves as Director of Graduate Studies. He holds a PhD from New York University (2011). His research focuses on decision theory, ethics, formal epistemology, metaphysics, and the philosophy of religion and mathematics. Russell teaches courses on topics like probability, rational choice, and the limits of logic, emphasizing interdisciplinary approaches blending philosophy with mathematics, psychology, and economics. His work explores foundational questions in ethics, such as infinite value aggregation paradoxes, and decision theory, including stochastic dominance and self-locating evidence in cosmology. He has contributed to debates on multiverse hypotheses, moral hedging, and the structure of possible worlds. Russell’s publications appear in top journals like Noûs , Philosophical Review , and Philosophy and Phenomenological Research . His recent research addresses moral and epistemic challenges in infinite scenarios, such as infinite ethics and fanaticism in decision-making. He also investigates the intersection of metaphysics and formal logic, including composition principles and qualitative grounds for non-qualitative facts. Russell’s work bridges abstract philosophical inquiry with practical implications, such as ethical dilemmas in collective action and the epistemology of divine hiddenness.

• Type Theory
• Dependent Types
• Functional Programming
• +۱۱ مورد دیگر

Andreas Abel is a Senior Lecturer in the Division of Computing Science at the Department of Computer Science and Engineering, Chalmers University of Technology and the University of Gothenburg. He has previously served as an Assistant Professor at Ludwig-Maximilians-Universität (LMU) Munich and has been a visiting researcher at INRIA in Paris. His primary affiliations are with Chalmers and the University of Gothenburg, where he conducts research and teaches in programming languages and type theory. Chalmers University of Technology, Department of Computer Science and Engineering, Senior Lecturer University of Gothenburg, Division of Computing Science LMU Munich, Assistant Professor (former) INRIA Paris, Visiting Researcher Abel’s research lies at the intersection of type theory, functional programming, and formal verification. He is particularly known for his work on dependent types, normalization by evaluation, and the development of the Agda proof assistant. His interests include constructive logic, logical frameworks, modal and linear typing, program verification, and compiler construction. He leads the Modal Dependent Type Theory project funded by the Swedish Research Council (Vetenskapsrådet) and has contributed to several other major research initiatives in programming language theory. His recent publications reflect a strong focus on foundational aspects of type systems, including cubical type theory, decidability of conversion, and formalization of algebraic completeness. These works appear in top-tier venues such as ICFP, LICS, POPL, and TYPES, showcasing both theoretical depth and practical implementation in Agda. Distinguished Paper Award, ICFP 2019 Editor, Theoretical Pearls column, Journal of Functional Programming Member, IFIP WG 1.3 on Foundations of System Specification Abel actively supervises students and contributes to the research community through program committee memberships for major conferences including LICS, ICFP, and CPP. He is a senior developer of Agda and the maintainer of the BNFC (Backus-Naur Form Compiler) tool. His work bridges theoretical computer science with practical software development for formal methods. He is involved in several research groups and projects, including the Programming Logic Group at Chalmers and the international EUTYPES network. His role as principal investigator and core contributor in multiple funded projects highlights his leadership in the field of programming language foundations.

Christoph Benzmüllerمشاهده پروفایل

استاد

• Automated Theorem Proving
• Computational Metaphysics
• Artificial Intelligence
• +۵ مورد دیگر

Prof. Christoph Benzmüller is a Full Professor at the University of Bamberg (Chair for AI Systems Engineering) and an adjunct professor at Freie Universität Berlin's Department of Mathematics and Computer Science. He is a leading researcher in automated reasoning, computational metaphysics, and formal logic systems. His work focuses on integrating higher-order logic into AI to achieve transparent and ethically grounded systems. Research Interests: His research spans automated theorem proving, formal ontologies, and normative reasoning in AI. Notably, he has formalized Gödel's ontological argument using computational methods and developed the Leo theorem provers for higher-order logic. He emphasizes the use of symbolic reasoning for ethical and legal AI frameworks. Grants & Projects: He leads projects like PetraKIP (AI portfolios for teacher education) and NFDIxCS (National Research Data Infrastructure). His work is funded by DFG, EPSRC, and the Volkswagen Foundation. He also collaborates with institutions globally, including Stanford and Cambridge. Awards: Recipient of the Central Teaching Award (FU Berlin) for his Computational Metaphysics course and a DFG Heisenberg Fellowship. His research on Gödel's argument gained international media attention. Education: Studied at Saarland University, where he earned his PhD (1999) and habilitation (2006).曾是专业长跑运动员，后转向学术研究。

Robert D. Rupertمشاهده پروفایل

استاد

• Philosophy of Mind
• Cognitive Science
• Philosophy of Cognitive Science
• +۱۲ مورد دیگر

Robert D. Rupert is a Professor in the Department of Philosophy at the University of Colorado Boulder, within the College of Arts and Sciences. He is also Co-Editor-in-Chief of the British Journal for the Philosophy of Science , a Fellow of the Institute of Cognitive Science at CU-Boulder, and a member of the Committee for the History and Philosophy of Science. Ph.D., University of Illinois at Chicago, 1996 Robert Rupert's research lies at the intersection of philosophy of mind, cognitive science, metaphysics, and epistemology. His primary interests include mental representation, cognitive architecture, situated and extended cognition, group cognition, and the philosophical foundations of cognitive science. He critically examines the boundaries of the mind, the nature of concepts, and the role of embodiment and environment in cognition. His work often challenges traditional internalist views by advocating for more integrated, dynamic models of mind. His recent publications reflect a sustained engagement with predictive processing, self-modeling, enactivism, and the epistemic status of subpersonal processes. Themes across his work include the rejection of strict personal/subpersonal divides, the critique of group-level cognition, and the exploration of how cognitive systems extend into the environment. His research combines conceptual rigor with sensitivity to empirical findings in psychology and neuroscience. Robert Rupert has received several prestigious awards and fellowships, including: National Endowment for the Humanities Fellowship for College Teachers NEH Summer Research Stipend CU Provost's Faculty Achievement Award Kayden Book Award Fellow, Institute of Cognitive Science, CU-Boulder He has held visiting research positions at the University of Edinburgh, the Australian National University, and Ruhr-Universität Bochum. While no formal list of advisees or grants is provided, his editorial role and sustained publication record indicate significant influence and mentorship in the field. He has contributed to major debates in philosophy of mind and cognitive science through both original research and critical reviews. Rupert is affiliated with CU-Boulder’s Institute of Cognitive Science and contributes to interdisciplinary research through this institute. His work bridges philosophy and cognitive science, fostering collaboration across departments and institutions.

Rosanna Keefeمشاهده پروفایل

استاد

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

Rosanna Keefe is currently a Professor of Philosophy at the School of History, Philosophy and Digital Humanities , University of Sheffield . She joined Sheffield in October 1999 after three years as a Research Fellow at Jesus College, Cambridge. Her primary research focuses are in the philosophy of logic and language and metaphysics , particularly the nature of vagueness and its implications for logic and semantics. Education BA, University of Cambridge PhD, University of Cambridge Keefe's research explores the vagueness of natural language , addressing questions about its logic, semantics, and methodology. She is renowned for defending a supervaluationist theory of vagueness , which posits that vague terms lack a definite truth value in borderline cases. Her work also extends to paradoxes like the Sorites Paradox and debates on logical consequence. The trends in her publications indicate a sustained engagement with vagueness and its semantic modeling, including higher-order vagueness, logical consequence, and the role of context. Her recent articles analyze phenomena such as prefaces, reasoning guides, and essentialism, bridging metaphysics and logical theory.

Rineke Verbruggeمشاهده پروفایل

استاد

• Artificial Intelligence
• Logic and Cognition
• Multi-agent systems
• +۴ مورد دیگر

Prof. Rineke Verbrugge is a Professor in Artificial Intelligence at the University of Groningen's Faculty of Science and Engineering, affiliated with the Bernoulli Institute. Her research focuses on computational theory of mind, multi-agent systems, hybrid intelligence, and logical frameworks applied to social networks and legal reasoning. She holds additional roles on the Institute Advisory Board of CWI (Dutch National Research Institute for Mathematics and Computer Science) and several ERC/NWO selection committees. Her work bridges cognitive science and AI, emphasizing human-agent collaboration, belief formation in groups, and ethical AI design. Recent projects include developing computational models for theory of mind in negotiations and scenario-based Bayesian networks for legal evidence analysis. She has authored over 220 publications and supervised multiple PhD candidates in AI and logic. Key research themes include higher-order theory of mind applications, zero-one laws in provability logic, and agent-based policy evaluation for sustainable technologies. Her contributions span conferences like AAMAS, ICAIL, and HHAI, addressing topics from lie detection mechanisms to privacy conflicts in multi-user systems.

Gabriel Uzquianoمشاهده پروفایل

استاد

• Philosophical Logic
• Philosophy of Logic and Mathematics
• Metaphysics
• +۱ مورد دیگر

Gabriel Uzquiano is a Professor of Philosophy at the University of Southern California (USC), holding tenure in the Department of Philosophy. His academic journey includes roles as Lecturer at the University of Oxford (2006–2011), where he was also a Fellow and Tutor at Pembroke College. Previously, he served as Associate Professor at The Ohio State University (2005–2006) and Assistant Professor at the University of Rochester (1999–2005). He earned his Ph.D. from MIT’s Department of Linguistics and Philosophy in 1999. Uzquiano’s research focuses on Philosophical Logic , Philosophy of Logic and Mathematics , Metaphysics , and Philosophy of Language . His work explores topics such as mereology, modal systems, semantic paradoxes, and the foundations of mathematics. Notable contributions include addressing Russell’s paradox, analyzing plural quantification, and developing frameworks for modal metaphysics. His publications span prestigious journals like Philosophical Studies , Journal of Philosophical Logic , and Mind , with a monograph The Mereology of Classes (Cambridge, 2024) and co-edited volume Absolute Generality (Oxford, 2006). His articles often intersect formal logic with metaphysical questions, particularly in resolving paradoxes and clarifying ontological commitments. Uzquiano has held visiting appointments at institutions like the University of St Andrews (2014–2019). His work reflects a rigorous engagement with both technical logic and broader philosophical inquiries, emphasizing the interplay between formal systems and conceptual analysis.

• Deontic Logic
• Normative Reasoning
• Proof Theory
• +۳ مورد دیگر

Xavier Parent is a Researcher in the Department of Theory and Logic at Technische Universität Wien (TU Wien). His work focuses on deontic logic, normative reasoning, and proof theory, with applications to AI and legal systems. He leads the LoDEx project (2024–2026) and previously contributed to the Lisa Meitner grant (2021–2024) and TICAMORE project (2017–2022). His research emphasizes formal verification of normative systems using higher-order logic (HOL) and explores topics like conditional obligations, dyadic deontic structures, and automated reasoning. Key projects include: LoDEx: Developing logical methods for deontic explanations Lisa Meitner Grant: Investigating permissive norms and regulative norms TICAMORE: Embedding dyadic deontic logic in HOL His research interests span: Formal semantics of normative systems Automated theorem proving for deontic logics Interactions between betterness orderings and obligations Publications highlight contributions to journals like Journal of Philosophical Logic and Journal of Applied Non-Classical Logics , with conference presentations at DEON, PRIMA, and Dagstuhl Seminars. He advises students like David Pichler on extensionality in normative systems.

Deepak Gargمشاهده پروفایل

پژوهشگر

• Programming Languages
• Secure Compilation
• Type Theory
• +۷ مورد دیگر

Deepak Garg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. His work primarily focuses on secure compilation , type theory , and formal verification of software systems. Conference Roles: He has served as an author and committee member in premier programming language conferences such as POPL , PLDI , ICFP , and ESOP since 2015. Research Interests include: Secure compilation techniques for hyperproperty preservation. Modal and refined type theories for cost analysis and concurrency. Formal verification of C code and probabilistic programs. Compiler correctness and decentralized multi-language verification. Contributions span foundational research in programming languages, with a focus on security, complexity, and concurrency. His work has been published in tracks like PriSC , OOPSLA , and ESOP , addressing topics such as data-flow back-translation and robust property preservation.

Asta Halkjær Fromمشاهده پروفایل

پژوهشگر

• Formal Logic
• Automated Reasoning
• Theorem Proving
• +۱۳ مورد دیگر

Asta Halkjær From is a postdoctoral researcher in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society (SDPS) section under Dmitriy Traytel. She previously completed her PhD at DTU Compute from 2020 to 2023, focusing on formalized deduction methods in computational logic. She holds a Master’s and Bachelor’s degree from DTU in Computer Science and Software Technology, respectively, with a specialization in Artificial Intelligence and Algorithms. Her research lies at the intersection of formal logic and computer science, particularly in automated reasoning, proof assistants (Isabelle/HOL and Lean), and mechanized metatheory. She has contributed extensively to synthetic completeness proofs, tableau systems, and verified theorem provers. Her work emphasizes formal verification of logical systems, including epistemic logic, hybrid logic, and first-order logic, with a focus on soundness and completeness. The recent publications highlight a consistent trend: the mechanization of logical foundations in proof assistants. Her work bridges theoretical logic with practical verification tools, enabling reliable automation in theorem proving. She has developed and verified provers, explored axiomatic systems, and advanced the methodology of synthetic completeness, often leveraging Isabelle/HOL’s framework. Distinguished Paper Award, CPP 2023 DTU Young Researcher Award DTU Travel Grant (Executive Board Recognition) Otto Mønsted Fonden Travel Grant She has supervised BSc and MSc theses, special courses, and research projects at DTU, and currently teaches Software Development for Digital Health . She has served on program committees for CPP, ITP, and Dalí workshops and has reviewed for journals including Journal of Automated Reasoning and Journal of Logic and Computation . She has also participated in international research visits, including at VU Amsterdam. She is actively involved in building tools for formal reasoning and maintains a personal website with resources, including an Isabelle snippets generator and bibliography tools. Her work continues to advance the foundations of formal logic through mechanized proofs and practical automation.

Brigitte Pientkaمشاهده پروفایل

استاد

• Type theory
• Programming languages
• Logical frameworks
• +۷ مورد دیگر

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, where she leads the Computation and Logic group. She received her PhD from Carnegie Mellon University in 2003, and previously studied at the University of Edinburgh and Technical University of Darmstadt. Her educational background includes: PhD from Carnegie Mellon University (2003) Studies at the University of Edinburgh Studies at Technical University of Darmstadt Dr. Pientka's research focuses on developing theoretical and practical foundations for building and reasoning about reliable, safe software systems. She combines theoretical research on logical foundations of computer science in programming languages and verification with system building. Her work spans logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks. She has made significant contributions to the field of contextual types and mechanized metatheory. Her recent publications demonstrate a strong trend toward modal type theory, contextual types, and session types, with applications to functional programming, verification, and meta-programming. She has made significant contributions to the Beluga system, which explores how to combine functional programming with dependently-typed, higher-order data specified in the logical framework LF. Her work often bridges theoretical foundations with practical implementations for mechanized reasoning. Dr. Pientka has received several notable awards: Humboldt Fellowship Test of Time Award @ PPDP'18 for 'Programming with proofs and explicit contexts' Best student paper award at ICLP'03 She is actively involved in mentoring and academic service, having served as PC Chair for ICFP'24, CPP'23 and CPP'24, and as General Chair for POPL'20. She is an Executive Editor of Logical Methods in Computer Science and serves on the editorial boards of the Journal of Functional Programming and ACM Transactions of Computational Logic. She leads the Computation and Logic group at McGill University, which focuses on developing theoretical and practical foundations for reliable software systems through research in logical frameworks, type theory, and programming language design.