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

• Natural Language Processing
• Machine Learning
• Multimodal Learning
• +۵ مورد دیگر

Ekaterina Shutova is an Associate Professor at the Institute for Logic, Language and Computation (ILLC) within the Faculty of Science at the University of Amsterdam. She concurrently holds a Visiting Associate Professor position in the Computer Science Department at Stanford University. She leads the Amsterdam Natural Language Understanding Lab and heads the NLP & Digital Humanities research unit at ILLC. An ELLIS Scholar, she earned her PhD from the University of Cambridge Computer Laboratory and Pembroke College. Her research has been funded by ERC, Innovate UK, British Academy, Leverhulme Trust, Google, Meta, and Deloitte. Her research spans natural language processing and machine learning, with core interests in: Few-shot learning for NLP Multilingual and cross-lingual systems Joint modeling of language and vision Cognitive processing and semantic representation Figurative language interpretation Computational social science applications Her recent publications (2024-2025) predominantly focus on multimodal learning, cultural alignment in AI, metaphor processing, and evaluation methodologies for language models. These works reflect a trend toward integrating cognitive science with multilingual systems and ethical considerations. Awards & Fellowships: ERC Consolidator Grant (2025) ELLIS Scholar Outstanding Paper Award at ACL 2023 Finalist for Outstanding Certification by TMLR Runner-up Best Paper Award at NAACL-HLT 2016 Research Leadership: She directs the Amsterdam Natural Language Understanding Lab, supervising 8 PhD students, 1 MSc student, and 34 alumni. Her projects include an ERC-funded initiative on globally accessible language technology and an AI Democratization grant for hate speech detection.

• Computer Vision
• Artificial Intelligence
• Multimodal Learning
• +۷ مورد دیگر

Dr. Hilde Kuehne is a Professor at the University of Tuebingen and a key researcher at the Tuebingen AI Center. She holds affiliations with MIT-IBM Watson AI Lab and Goethe University Frankfurt, with a focus on computer vision, multimodal learning, and explainable AI. Her work bridges vision-language models, audio-visual alignment, and self-supervised methods. Co-organizer of the New Frontiers in Associative Memories workshop @ ICLR 2025 Member of the Scientific Advisory Board of the Carl-Zeiss-Foundation Contributor to CVPR 2025's UTD dataset for unbiased video benchmarks Her research addresses critical challenges in: Explainability for Vision Transformers (LeGrad) Fine-grained audio-visual alignment (CAV-MAE Sync) Zero-shot visual recognition automation (Meta-Prompting) Spatio-temporal grounding without annotations Recent collaborative work spans 15+ publications across CVPR, NeurIPS, ICCV, and ICLR, with emphasis on multimodal foundation models, dataset bias mitigation, and differentiable logic networks. She actively contributes to workshop organization and peer review as evidenced by her involvement in CVPR 2025 and ICLR 2025 program committees.

Sebastian Rudolphمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Description Logics
• +۷ مورد دیگر

Prof. Sebastian Rudolph is a Professor of Computational Logic at the Institute for Artificial Intelligence , Faculty of Computer Science , TU Dresden. Since 2021, he has been an Affiliate Member of the Faculty of Mathematics. His research spans theoretical and applied artificial intelligence, focusing on Knowledge Representation and Reasoning through formalisms like Description Logics, Existential Rules, and Formal Concept Analysis, with applications in Semantic Technologies. 2017 : ERC Consolidator Grant for decidability principles in logic-based knowledge representation 2006-2013 : Postdoctoral researcher, project leader, and Privatdozent at KIT's Institute AIFB 2011 : Habilitation at KIT Earlier : PhD in Algebra and teaching qualification in mathematics, physics, and computer science at TU Dresden His recent publications address decidability of logical reasoning, non-monotonic extensions in formal concept analysis, standpoint logics, and multiagent systems. He supervises the DeciGUT and KIMEDS projects, and is involved in the SECAI and ScaDS.AI centers. Teaching activities include courses on Theoretical Computer Science, Existential Rules, and Formal Concept Analysis.

• Philosophy of Language
• Pragmatics
• Gottlob Frege
• +۳ مورد دیگر

Prof. Dr. Thorsten Sander is an adjunct professor in philosophy at the University of Duisburg-Essen's Institute of Philosophy, within the Faculty of Humanities. His research focuses on philosophy of language, pragmatics, and Gottlob Frege's contributions to semantics. He holds a PhD from Universität Gesamthochschule Essen (2001) and has authored influential works such as Frege's Pragmatics (2025) and Bedeutung als Gebrauch (2018). His work bridges historical analysis of Frege's theories with contemporary issues in semantics and psycholinguistics. Research Interests: Non-at-issue contents (e.g., implicatures) Fregean pragmatics (coloring, side-thoughts) Register differences and use-conditional meaning Meta-ethics and moral semantics Publications highlight his engagement with Frege's legacy, including analyses of modality, presupposition, and pragmatic vs. semantic meaning distinctions. He critiques traditional categorizations like 'epistemic implicature' and advocates for precise semantic profiles tailored to theoretical goals. Prof. Sander's contributions span books, peer-reviewed articles, and reviews. His current projects include exploring pejoratives and Frege's influence on modern psycholinguistics. Office hours are Fridays at 12 noon (email预约).

Joel David Hamkinsمشاهده پروفایل

استاد

• Set Theory
• Computability Theory
• Philosophy of Mathematics
• +۷ مورد دیگر

Joel David Hamkins is the O’Hara Professor of Logic at the University of Notre Dame, with significant affiliations to logic and philosophy research communities in China and Japan. His work bridges set theory, computability, and philosophy of mathematics, focusing on foundational questions about infinity, truth, and mathematical existence. Key Research Areas : Set theory, potentialism, continuum hypothesis, surreal numbers, forcing, large cardinals, definability, halting problem history Recent Talks : Kobe University (2025), Notre Dame HPS Colloquium (2025), Fudan University seminars (2025), Peking University conference (2025) Scientific Contributions : 2024 arXiv paper on halting problem attribution, ongoing work on bi-interpretation of surreal arithmetic with ZFC, analysis of transitive submodel principles Awards & Recognitions : William Reinhardt Memorial Lecture (2025), former JSPS Fellowship at Kobe University Hamkins’ work reveals deep connections between technical set theory and philosophical inquiry, particularly through his modal logic approach to potentialism and analysis of truth nonabsoluteness. His 2024 paper with Theodor Nenu re-examines Turing’s legacy, while his technical collaborations with researchers from Fudan University and Oxford advance foundational mathematics.

Christian Listمشاهده پروفایل

استاد

• Decision-making
• Individual and collective choice
• Preference and judgment aggregation
• +۹ مورد دیگر

Christian List is Professor of Philosophy and Decision Theory at Ludwig Maximilian University of Munich, where he serves as Co-Director of the Munich Center for Mathematical Philosophy (MCMP). Previously, he was Professor of Philosophy and Political Science at the London School of Economics until 2020. His work bridges philosophy, economics, and political science with a particular focus on individual and collective decision-making and the nature of intentional agency. Professor List's research spans multiple interconnected domains: theories of individual and collective choice (particularly social choice theory and judgment aggregation), free will and consciousness, the philosophy of mind and action, and the foundations of the social sciences. His work on group agency, developed in his influential book Group Agency with Philip Pettit, has reshaped debates about corporate entities and collective intentionality. His more recent work on free will, culminating in his book Why Free Will is Real , presents a scientifically grounded defense of free will against reductionist skepticism. His recent publications reveal a sophisticated integration of formal methods with deep philosophical questions, particularly regarding consciousness, probability aggregation, and the relationship between different levels of explanation. List's work consistently demonstrates how mathematical precision can illuminate fundamental philosophical problems while maintaining relevance to broader social and scientific contexts. Scientific Awards and Recognition: Elected Fellow of the British Academy (2014) Member of Academia Europaea (2023) Member of the Bavarian Academy of Sciences and Humanities (2022) Joseph B. Gittler Award from the American Philosophical Association (2020) Philip Leverhulme Prize in Philosophy (2007) 5th Social Choice and Welfare Prize (2010) List has supervised numerous PhD students and early-career researchers, many of whom have gone on to prominent positions in philosophy and related fields. His collaborative work with Franz Dietrich on judgment aggregation has been particularly influential. As Co-Director of the Munich Center for Mathematical Philosophy, he has secured substantial research funding and established MCMP as a leading international hub for formal and mathematical approaches to philosophical problems. Through the Munich Center for Mathematical Philosophy, List leads a vibrant research community that brings together philosophers, economists, political scientists, and mathematicians to tackle foundational questions using rigorous formal methods. The center hosts regular workshops, seminars, and visiting scholars, creating a dynamic intellectual environment that bridges disciplinary boundaries.

• Knowledge Representation
• Semantic Web
• Ontology Engineering
• +۷ مورد دیگر

Jiaoyan Chen is a Senior Lecturer (Associate Professor) in the Department of Computer Science at The University of Manchester. She previously held roles as a Lecturer at Manchester, a Senior Researcher at the University of Oxford, and a Postdoctoral Fellow at Heidelberg University. Education: PhD and Bachelor's in Computer Science and Technology from Zhejiang University (2016 and 2011), with a visiting PhD stint at Zurich University's Department of Informatics. Research Interests: Integrating knowledge graphs and ontologies with machine learning and large language models (LLMs), focusing on semantic embeddings, knowledge curation, and explainable AI systems. Publication Trends show emphasis on ontology embeddings (e.g., OWL2Vec*), LLM evaluation with knowledge graphs, and hybrid neural-symbolic reasoning. Her work bridges structured knowledge and modern AI through projects like OntoEm and ConCur . Current Research Team includes postdoctoral researchers, PhD students, and externally co-supervised associates. She actively recruits PhD candidates in areas like Retrieval-Augmented Generation and LLM Explainability , with projects funded by EPSRC and international consortia. Grants & Leadership: EPSRC New Investigator Award (2023-2026) Manchester-Melbourne-Toronto Research Fund (2024-2026) EPSRC ConCur Project (2021-2025) Professional Service: Associate Editor, Transactions on Graph Data and Knowledge EPSRC Peer Review College member OAEI Track Co-organizer at ISWC

Dominique Devrieseمشاهده پروفایل

استاد

• Functional Programming
• Object Capabilities
• Secure Compilation
• +۵ مورد دیگر

Dominique Devriese is a professor at the Department of Computer Science, KU Leuven, and a member of the DistriNet research group. His work bridges computer security, programming languages, and formal verification. Research interests: Functional Programming, Object Capabilities, Secure Compilation, Dependently-typed Programming, Modal Type Theory Teaching: Formal Systems, Object-Oriented Programming, CyberSecurity, Secure Software His research focuses on rigorous software systems security through capability machines and secure compilation techniques. He actively contributes to formal verification using Agda and Haskell, with recent work on multimode type theory and effect parametricity. Key publication trends include: multimode/presheaf type theory, capability-based security models, formal verification of hardware/software abstractions, and parametricity applications in programming languages. Contact: Email: dominique.devriese@kuleuven.be ORCID: 0000-0002-3862-6856

Farzaneh Derakhshanمشاهده پروفایل

استادیار

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

Dr. Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology (Illinois Tech), where she explores logical foundations of concurrency and develops formal methods for program verification. She earned her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Frank Pfenning, followed by a postdoctoral fellowship at CMU with Limin Jia and Stephanie Balzer. Current affiliation: Illinois Tech (since ~2021) Previous affiliation: Carnegie Mellon University (Ph.D. and postdoc) Research focus: Type theory, logical verification, and security for concurrent systems Teaching: Courses on programming languages, type systems, and security Her research addresses fundamental challenges in concurrent programming, including: Developing modal logic frameworks for system verification Designing type systems for intermittent computing Creating behavioral type systems for security guarantees Applying relational logic to GPU security and secure compilation Investigating logical foundations of session-typed processes Formal verification of cyclic process networks Current research trends include: Hybrid dynamic verification for parallel systems Logical approaches to side-channel security Formal methods for cyber-physical systems Crash-resilient computing models Security verification in decentralized applications Noninterference proofs in session-typed concurrency Scientific recognition: NSF SaTC CORE Collaborative Award #2350217 Organizing committee member at Dagstuhl Seminar 26071 Professional leadership: Program committee co-chair for PLACES 2025 Committee roles at LICS 2026, ESOP 2026, ICFP 2025, and ECOOP 2025 Regular reviewer for ACM Transactions journals Laboratory involvement: Co-director of behavioral types research at Illinois Tech Collaboration with Carnegie Mellon's formal verification group Key participant in the FACCT workshop

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).曾是专业长跑运动员，后转向学术研究。

Matteo Vialeمشاهده پروفایل

استاد

• Mathematical Logic
• Set Theory
• Forcing Axioms
• +۳ مورد دیگر

Matteo Viale is a Full Professor in the Department of Mathematics at the University of Torino. He specializes in mathematical logic with a focus on set theory, forcing axioms, and generic absoluteness. He is an active member of the Turin Logic Group and maintains international collaborations in foundational mathematics. His research explores advanced topics in set theory including forcing techniques, large cardinals, cardinal arithmetic, and their applications to mathematical foundations. Recent work investigates connections between forcing axioms and category theory, as well as absoluteness principles across different mathematical structures. Viale has advised numerous graduate students on theses covering boolean-valued models, forcing techniques, set-theoretic topology, and applications of logic to functional analysis. His pedagogical contributions include comprehensive lecture notes on forcing iterations, model companionship, and semiproper forcing. Notable recognitions include the Kurt Gödel Research Prize Fellowship (2010), Premio Fubini (2010), and Sacks Prize (2006) for his doctoral thesis on forcing axioms and cardinal arithmetic.

Johanna Mattissenمشاهده پروفایل

پژوهشگر ارشد

• Linguistic Typology
• Legal Linguistics
• Morphosyntax
• +۷ مورد دیگر

Johanna Mattissen is a Research Fellow in the Department of Linguistics at the University of Cologne, specializing in European Legal Linguistics. Her office is located at Bernhard-Feilchenfeld-Str. 11, 50969 Köln, with postal address Albertus-Magnus-Platz, 50923 Köln. Contact is available by appointment via telephone (+49-221-470-3012) or email. Her research spans: Linguistic typology with focus on polysynthesis, morphological complexity, and endangered languages (Nivkh, Japanese, Laz, Greenlandic, Basque) Legal linguistics analyzing multilingual EU legislation, coordination phenomena, and terminology in European law Cross-linguistic analysis of discourse markers, modality, and reference-tracking in legal texts Machine translation challenges in human vs neural approaches for specialized domains Her recent publications (2021-2023) predominantly examine linguistic structures in EU legal instruments, investigating coordination ambiguity, terminological precision, and multilingual equivalence in binding texts. Earlier works establish foundations in polysynthesis typology and morphological theory.

Martin Fischerمشاهده پروفایل

استاد

• Logic
• Epistemology
• Philosophy of Language
• +۴ مورد دیگر

Martin Fischer is a Professor at Ludwig Maximilian University of Munich (LMU), affiliated with the Faculty of Philosophy, Science Theory, and Religious Studies, and the Munich Center for Mathematical Philosophy. He holds the academic rank of Professor and has been a Privatdozent (PD) since 2019, leading a DFG-funded project on "Logics: From tolerance to pluralism." Prior roles include a visiting fellowship at MCMP, research at K.U. Leuven, and a stint at the Scuola Normale Superiore in Pisa. Educational Background: Fischer earned his Master's degree in 2003 and his Ph.D. in 2007 from LMU Munich. His studies included a DAAD-supported term at the University of Oxford in 2006. He has held research positions in Belgium, Germany, and Italy, contributing to projects like "Syntactical Treatments of Interacting Modalities" funded by the DFG. Research Interests: His work focuses on logic (axiomatic theories of truth, modal logics, interpretability), epistemology (realism/antirealism debate, Fitch paradox), and philosophy of language (Davidson, Quine, deflationism). He explores formal systems, non-classical logics, and the philosophical implications of truth theories. Publications: His recent works address sequent calculi for HYPE logic, nonclassical truth theories, and paradoxes. Key contributions include articles in Studia Logica , Review of Symbolic Logic , and Nous , advancing topics like truth's expressive power, iterated reflection principles, and the interplay between deflationism and instrumentalism. Grants & Projects: Fischer leads a DFG-funded project exploring logics' pluralism and has previously contributed to syntactical treatments of modalities research. His academic trajectory reflects a commitment to formal methods in philosophy. Labs & Affiliations: Affiliated with the Munich Center for Mathematical Philosophy, he collaborates on interdisciplinary projects bridging logic and epistemology.

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.

Martin Ottoمشاهده پروفایل

استاد

• Mathematical Logic
• Model Theory
• Complexity Theory
• +۴ مورد دیگر

Prof. Martin Otto is a Professor of Mathematics at the Technische Universität Darmstadt, specializing in Logic and Mathematical Foundations of Computer Science. He holds a position in the Department of Mathematics (Fachbereich 4) and serves as Dean of Studies. His academic journey includes a PhD from the University of Freiburg (1990), habilitation from RWTH Aachen (1996), and prior roles as a Lecturer/Reader at Swansea University (1999–2003). Research Interests: Mathematical Logic, Model Theory, Complexity Theory, Algorithmic Model Theory, Finite Model Theory, and Logic in Computer Science. Notable contributions include work on bisimulation, guarded logics, and inquisitive semantics. His research bridges structural properties in mathematics and computational expressiveness. Teaching: Courses span Mathematical Logic, Model Theory, Linear Algebra, and Modal Logics. Recent offerings include Introduction to Mathematical Logic (2024/25), Logic & Knowledge Representation, and advanced seminars on model-theoretic topics. Publications: Over 50 peer-reviewed papers in journals like the Journal of Symbolic Logic, and conference proceedings such as LICS and CSL. Key works address guarded fragments, bisimulation invariance, and finite model theory applications. Affiliations: Member of the Logic Group at TU Darmstadt. Editorships include the Bulletin of Symbolic Logic and Lecture Notes in Logic. Organized workshops like AlMoTh 2020 (cancelled due to pandemic) and participated in Simons Institute programs (2016).