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

Philipp Koralusمشاهده پروفایل

استاد

• Philosophy of Cognitive Science
• Artificial Intelligence
• Philosophy of Language
• +۶ مورد دیگر

Philipp Koralus is the McCord Professor of Philosophy and AI at the University of Oxford and serves as Director of the Human-Centered AI Lab (HAI Lab) within the Institute for Ethics in AI. He is also a member of St Catherine's College. Koralus holds a Ph.D. in Philosophy and Neuroscience from Princeton University and a B.A. from Pomona College. His research focuses on the human capacity for reasoning and decision-making, exploring how these processes relate to artificial intelligence agents and large language models like GPT. He advocates for the Erotetic Theory of Reason (ETR), which posits that reason aims to resolve issues or questions directly, explaining both human rationality and fallibility. His work extends to moral judgment, definitions of intelligence, and interdisciplinary collaboration with computer scientists, psychologists, linguists, and neuroscientists. Koralus is preparing to launch the HAI Lab in Fall 2024, aiming to advance human-centered AI ethics and cognition research. His educational background includes advanced studies in philosophy and neuroscience, combining analytical rigor with empirical insights. Collaborations span diverse fields, including fisheries management through agent-based modeling and healthcare ethics in AI applications. He has published widely on topics such as attention mechanisms, visual perception, and the theoretical foundations of AI reasoning. Koralus regularly teaches graduate seminars on philosophy and AI, including upcoming sessions like 'Building the Philosophy to Code Pipeline' starting in 2025. He has supervised doctoral students in both philosophy and computer science but currently lists no specific advisees. His research has been recognized in symposia and commentary, though no formal scientific awards are explicitly mentioned.

Franz Huberمشاهده پروفایل

دانشیار

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

Franz Huber is an Associate Professor in the Department of Philosophy at the University of Toronto (St. George campus). He holds an MA from the University of Salzburg, Austria, and a PhD from the University of Erfurt, Germany. His primary research areas include Formal Epistemology, Philosophy of Science, Philosophical Logic, and Metaphysics. Huber’s work focuses on belief revision, counterfactual reasoning, and means-end rationality, often employing formal methods to address philosophical problems. His publications include influential books like A Logical Introduction to Probability and Induction (2018) and Belief and Counterfactuals (2021), as well as numerous peer-reviewed articles in journals such as Synthese and Journal of Philosophical Logic . His research explores the foundations of epistemology and metaphysics, particularly through ranking theory and its applications to belief change, counterfactuals, and causal reasoning. Huber has also contributed to the philosophy of science, examining confirmation theory and the logic of scientific reasoning. His recent work emphasizes a means-end approach to philosophical problems, integrating instrumental rationality with normative theory. Huber’s publications demonstrate a commitment to bridging formal methods with traditional philosophical inquiry. His academic contributions include editing volumes on belief revision and co-authoring works on ranking theory. He maintains an active research agenda, reflected in his latest book Causality, Counterfactuals, and Belief (2025). His office is located in the Jackman Humanities Building, and he is affiliated with the University of Toronto’s philosophy faculty and research initiatives such as the Balzan Research Project on Styles of Reasoning.

Benjamin J. Delawareمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Formal Verification
• +۳ مورد دیگر

Benjamin J. Delaware is an Assistant Professor of Computer Science at Purdue University. His research focuses on programming languages, formal verification, and tools for ensuring software correctness using mechanized theorem provers. He holds a Ph.D. from The University of Texas at Austin (2013), an MSc from Washington University in St. Louis (2007), and a B.S. from Truman State University (2005). His work emphasizes practical formal methods, including static enforcement of privacy policies, compiler design for oblivious computation, and automated verification techniques. Key contributions include tools like Taypsi, KestRel, and HACCLE. His research bridges theory and practice, addressing challenges in software security, correctness, and efficiency. Publications span top venues like POPL, PLDI, and OOPSLA, reflecting a strong focus on foundational programming language concepts. Collaborations with researchers like Suresh Jagannathan and Qianchuan Ye drive advancements in automated reasoning and secure computation.

LEE Mong Liمشاهده پروفایل

استاد

• Data Management
• Data Cleaning
• Data Fusion
• +۵ مورد دیگر

LEE Mong Li is a Professor of Computer Science at the National University of Singapore (NUS) and serves as Director of the NUS Centre for Trusted Internet and Community. She holds a Ph.D., M.Sc., and B.Sc. (First Class Honours) in Computer Science from NUS, where she was awarded the IEEE Singapore Information Technology Gold Medal as the top Computer Science student in 1989. Her academic career includes a visiting fellowship at the University of Wisconsin-Madison (1999) and consultancy with QUIQ USA (2000). Her research spans Data Management, Spatio-temporal Databases, Biomedical Informatics, and Retinal Image Analysis . She has pioneered work in data cleaning, data fusion, and analysis of semistructured data, with applications in social media analytics and healthcare. Her recent publications demonstrate strong interdisciplinary focus, particularly in AI-driven medical diagnostics including diabetic retinopathy screening and chronic kidney disease detection from retinal images. She co-authored foundational books on 'Designing Semi-structured Database' and 'Temporal and Spatio-Temporal Data Mining'. Her 150+ publications in major database conferences and journals reflect leadership in both theoretical and applied research. Recent work shows significant emphasis on Medical AI applications (retinal analysis, kidney disease prediction) Temporal fact verification systems Misinformation detection in multimodal environments Privacy challenges in large language models Key honors include: Singapore's President Technology Award (2014) for co-inventing an AI system screening eye conditions IEEE Singapore Information Technology Gold Medal (1989) She actively contributes to government-funded multidisciplinary projects building practical deployable systems. Her leadership extends to program committees of prestigious database conferences and directing the NUS Centre for Trusted Internet and Community. She teaches BT5110 Data Management and Warehousing and has co-developed an AI system for diabetic retinopathy screening deployed in Singapore's national teleophthalmology program.

Derry Wijayaمشاهده پروفایل

دانشیار

• Multilingual Natural Language Processing
• Low-Resource Language Technologies
• Machine Learning
• +۴ مورد دیگر

Derry Wijaya is an Associate Professor and Program Coordinator for the Data Science Program at Monash University Indonesia. She also co-directs the Monash Data and Democracy Research Hub, focusing on analyzing data's impact on democracy. Previously, she served as an Assistant Professor at Boston University's Department of Computer Science. Her research spans multilingual NLP, low-resource language technologies, and combating AI-driven misinformation. Education: PhD in Language Technologies, Carnegie Mellon University (2013) Postdoctoral Fellowship, University of Pennsylvania (2013–2015) Bachelor's & Master's in Computing, National University of Singapore Research Interests: Improving language model performance via self-consistency and reasoning Analysis of bias, toxicity, and framing in AI outputs Preservation of Indonesian indigenous scripts and languages Development of tools like OpenFraming AI for multilingual framing analysis Recent Work Trends: Her publications (2023–2025) emphasize ethical AI, low-resource language solutions, and social media analysis. Notable contributions include frameworks for metric calibration (MetaMetrics), debiasing generative models, and surveys on Indonesian language technology needs. Awards & Roles: Fulbright Scholarship recipient Serves on program committees for ACL, EMNLP, NeurIPS, and ICLR Co-created OpenFraming AI for multilingual framing analysis Grants & Labs: Leads the Monash Data and Democracy Hub, focusing on tech's societal impact. Active in grant-funded projects preserving Indonesia's linguistic heritage through digitization efforts.

David A. Plaistedمشاهده پروفایل

استاد پژوهشی

• Mechanical theorem proving
• Term rewriting systems
• Logic programming
• +۳ مورد دیگر

David A. Plaisted is a Research Professor in the Department of Computer Science at the University of North Carolina at Chapel Hill. He joined UNC-Chapel Hill as a full professor after serving on the faculty of the Computer Science Department at the University of Illinois at Urbana-Champaign until 1984. His academic career spans several decades with significant contributions to automated reasoning and computational logic. Bachelor's degree in Mathematics from the University of Chicago (1970) Ph.D. in Computer Science from Stanford University (1976) Professor Plaisted's research focuses on mechanical theorem proving, term rewriting systems, logic programming, and algorithms. His work in term-rewriting systems investigates methods of combining them with first-order theorem provers, including techniques for applying efficient permutation group algorithms to equational theorem proving. In mechanical theorem proving, he has developed a sequence of methods including clause linking with semantics and ordered semantic hyper-linking. His research in logic programming includes developing tests to eliminate the occurrence check in Prolog while maintaining semantics. His work spans theoretical foundations to practical applications in program verification and generation. His recent publications demonstrate continued innovation in automated reasoning, particularly in semantic guidance for theorem proving. His work shows a consistent focus on improving the efficiency and effectiveness of automated deduction systems, with recent contributions to SGGS (Semantically-Guided Goal-Sensitive) theorem proving and analysis of the relationship between semantics and unification in proof systems. Professor Plaisted has served on numerous program committees and editorial boards including the Journal of Symbolic Computation, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. He is currently on the editorial board of ACM Transactions on Computational Logic and the electronic Journal of Functional and Logic Programming. He has organized significant conferences including serving as co-chair of the Second International Conference on Rewriting Techniques and Applications in 1987. He has spent several sabbaticals at prestigious institutions including SRI in Menlo Park (1982-1983), the Max-Planck Institute and University of Kaiserslautern in Germany (1993-1994), and research visits to groups in Grenoble and Nancy, France (1998).

Salvatore Ruggieriمشاهده پروفایل

استاد

• Data Mining
• Knowledge Discovery
• Discrimination Discovery and Prevention
• +۹ مورد دیگر

Salvatore Ruggieri is a Full Professor in the Department of Computer Science at the University of Pisa, where he teaches in the Master Programme in Data Science and Business Informatics. He is affiliated with the KDD LAB, a joint research group of ISTI-CNR and the University of Pisa, and actively contributes to national and European AI initiatives such as XAI, NoBIAS, TAILOR, and SoBigData.eu. His research focuses on data mining and knowledge discovery, with a strong emphasis on ethical AI. Key areas include discrimination discovery and prevention, fairness, privacy, explainable AI (XAI), causal inference, and classification algorithms. He has led significant projects such as ENFORCE, a national FIRB project on legal and computational enforcement of non-discrimination and privacy rights in ICT systems (2010–2014), and has served as program chair for the XIII Italian Symposium on Artificial Intelligence (2014). The recent publications (2018–2023) highlight a consistent trend in interpretable and fair machine learning, including selective classification, stability of interpretable models, and causal reasoning for fairness. His work often involves collaboration with leading researchers like Dino Pedreschi and Riccardo Guidotti, and appears in top venues such as AAAI, IEEE TKDE, and WIREs. His scientific honors include the award for the best Ph.D. thesis in Theoretical Computer Science from the Italian Chapter of EATCS. Best Ph.D. Thesis in Theoretical Computer Science, Italian Chapter of EATCS He advises and collaborates with numerous researchers in the KDD LAB and has contributed to major grants and research initiatives in AI and data science. He is involved in educational programs, including the National Ph.D. in Artificial Intelligence - Society, and promotes interdisciplinary research at the intersection of computer science, law, and ethics. Ruggieri is a member of the KDD LAB, where he leads research in ethical and transparent AI. He is also part of large collaborative networks such as SoBigData.eu and HumanE-AI-Net, which aim to build socially responsible and human-centered AI systems.

Keith J. Holyoakمشاهده پروفایل

استاد

• Cognitive Psychology
• Human Reasoning
• Analogy
• +۵ مورد دیگر

Keith J. Holyoak is a Distinguished Professor in the Department of Psychology at the University of California, Los Angeles (UCLA), where he conducts foundational research in cognitive psychology. His work centers on human reasoning, learning, decision making, and problem solving, with a specific focus on the psychological mechanisms of analogy and relational knowledge across diverse domains including law, politics, mathematics, and science. He directs the Reasoning Lab at UCLA, integrating experimental, computational, and neuroimaging approaches to investigate cognitive processes. Education: Ph.D. from Stanford University Research Focus: Holyoak's research program systematically explores how analogy facilitates knowledge transfer and learning, examining the neural underpinnings of complex reasoning with emphasis on prefrontal cortex functions. His work bridges theoretical cognitive science with practical applications, investigating causal learning, deductive processes, and the constraints shaping human inference. Through computational modeling and cross-domain studies, he reveals universal principles governing relational reasoning while addressing domain-specific manifestations in scientific, legal, and social contexts. Publication Trends: His scholarly output demonstrates consistent evolution from foundational work on pragmatic reasoning schemas (1980s) toward integrated models of causal learning and Bayesian inference (2000s-2010s). Recent publications emphasize rational analysis frameworks, cross-species comparisons in causal cognition, and the role of invariance principles in knowledge generalization. The corpus reveals deep methodological pluralism—combining behavioral experiments, computational modeling, and neuroimaging—to address fundamental questions about the architecture of human thought. Research Infrastructure: Holyoak leads the Reasoning Lab (https://reasoninglab.psych.ucla.edu), which maintains a collaborative environment for interdisciplinary research. The lab's infrastructure supports advanced experimental paradigms, computational modeling suites, and neurocognitive investigations, facilitating research on analogical transfer, causal inference, and decision-making under uncertainty across the lifespan.

Thomas Pendleburyمشاهده پروفایل

استادیار

• Kant
• Early Modern European Philosophy
• Post-Kantian German Idealism
• +۵ مورد دیگر

Thomas Pendlebury is an Assistant Professor of Philosophy at the University of Chicago, joining in July 2023. Previously, he served as Assistant Professor at the University of Pittsburgh (2021-2023). He holds a PhD from Harvard University (2021) and a BA in Philosophy and Linguistics from the University of North Carolina at Chapel Hill (2014). His research focuses on Kant's theoretical and practical philosophy, its connections to early modern European philosophy, and post-Kantian German idealism. Education : PhD (Harvard, 2021); BA (UNC Chapel Hill, 2014) His work investigates Kant's positive projects during the critical period, emphasizing the relationship between cognitive capacities (understanding, sensibility) and their teleological structure. Current research explores the role of practical reason in moral psychology and the metaphysical implications of transcendental idealism. Recent publications include: The Kantian's Desire (2025) - analyzing practical reason's normative role in desire The Will of All in Kant’s Groundwork (2024) - reinterpreting universality in Kantian ethics The Real Problem of Pure Reason (2022) - reconceptualizing synthetic a priori knowledge The Shape of the Kantian Mind (2021) - examining intuition-concept relationship The First Acts of Kantian Cognition (2025) - Aristotelian first acts in Kantian epistemology

• 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.

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

دانشیار

• Stream Processing
• Knowledge Graphs
• Query Languages
• +۳ مورد دیگر

Riccardo Tommasini is an Associate Professor at INSA Lyon , a leading engineering institution in France. He leads the Stream Processing and Knowledge Graphs research within the DB Team at LIRIS laboratory under Professor Angela Bonifati. His academic journey began with a PhD in Computer Science from Politecnico di Milano under Emanuele Della Valle, with a dissertation titled Velocity on the Web to be published as a Springer book. Research Interests : Advancing stream processing for real-time data systems Extending knowledge graphs with dynamic data Designing graph databases for big data applications Creating query languages for heterogeneous data environments Building data engineering pipelines with Apache Airflow Enabling big graph processing in distributed settings Key Contributions : Developed Zodiac framework for Datalog reasoning under rule amendments (ICDE 2025) Co-authored foundational Streaming Linked Data book with Springer (2023) Created RSP4J API for RDF stream processing (ESWC 2021) Designed challenge-based learning curriculum for Data Engineering courses Scientific Recognition : Received ANR JCJC grant for POLYFLOW project (2024) Awarded Best Resource at ESWC 2021 Managed industrial collaborations with Neo4j, InfluxData, and Confluent Advising & Teaching : Supervises Mohamed Ragab (PhD candidate at University of Tartu) Course Leadership : Foundational Data Engineering course at INSA Lyon and University of Tartu Structured around Apache Airflow , Docker, and graph databases

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

• Automated reasoning
• Formal methods
• Autonomous systems
• +۵ مورد دیگر

Zhe Hou is a Senior Lecturer at the School of Information and Communication Technology , Griffith University, Australia. His academic journey includes a PhD in automated reasoning for separation logic from the Australian National University (2015) and prior research roles at Nanyang Technological University, Singapore (2015-2017). He joined Griffith University in 2017 and became permanent faculty in late 2019. Research Interests : Formal methods for software verification Automated reasoning with logical frameworks Blockchain technology and security Quantum computing verification Integration of LLMs with rigorous reasoning Sports analytics via model checking Recent Publications demonstrate expertise in neural-symbolic reasoning, blockchain security, quantum SAT solvers, and runtime verification frameworks. His work combines formal logic with machine learning for applications in cybersecurity and AI trustworthiness. Scientific Awards : ACM SIGSOFT Distinguished Paper Award (2025) Supervision Roles : Principal/Associate Supervisor for 6+ doctoral projects in blockchain security, AI verification, and network security. Professional Activities : Editor for Springer-Nature and Formal Aspects of Computing special issues, conference chair for ICFEM, ICECCS, and ISACE symposia.

Lars E Fogelinمشاهده پروفایل

دانشیار

• Archaeology of Buddhism
• South Asian Archaeology
• Archaeology of Religion
• +۳ مورد دیگر

Lars E Fogelin is an Associate Professor at the University of Arizona specializing in the archaeology of Buddhism in South Asia. His research extends to the broader archaeology of religion, architectural studies, and the application of philosophy of science to archaeological reasoning, establishing him as a leading scholar in theoretical and material approaches to religious practice. Dr. Fogelin's work centers on material manifestations of Buddhist practice in early historic South Asia, particularly examining stupa architecture, monastic spatial organization, and ritual landscapes. He investigates how religious communities navigated social contradictions through spatial strategies and how material transformations reflected doctrinal shifts, such as the emergence of Mahayana Buddhism. His theoretical contributions emphasize inference to the best explanation and critical deconstruction of essentialist approaches in religious archaeology. His publication trajectory reveals consistent thematic focus across 20 years, with recurring exploration of Buddhist material culture, ritual practices, and methodological innovation. Early works established foundations in South Asian Buddhist archaeology, while later publications expanded into philosophical frameworks for interpreting religion. Key patterns include integration of ethnographic analogy with archaeological data, persistent attention to architectural evidence, and theoretical rigor in bridging anthropology, religious studies, and archaeological practice.

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

استاد

• formal methods
• software security
• relational verification
• +۷ مورد دیگر

David Naumann is Professor and Department Chair of Computer Science at Stevens Institute of Technology. His leadership in the department and active research program positions him as a key figure in programming languages and formal methods research. Naumann's research focuses on formal methods and software security, with particular emphasis on relational and hyperproperty verification , fine-grained confidentiality/integrity policies , and program analysis and verification . His work bridges theoretical foundations with practical applications in security-critical systems. He has developed novel program logics and verification techniques that enable precise reasoning about information flow and security properties. His recent publications (2022-2025) reveal a strong trend toward modular relational verification techniques with applications to pointer programs, distributed systems, and concurrent applications. The research spans theoretical foundations (algebraic structures for alignment) to practical tools (WhyRel prototype), demonstrating both depth and breadth in addressing verification challenges. Naumann has served as program committee co-chair for IEEE Computer Security Foundations Symposium (2021-2022) and has been active on committees for POPL, CCS, CSF, ECOOP, and other top venues. His editorial service includes ACM Transactions on Programming Languages and Systems, Formal Aspects of Computing, and Journal of Object Technology. He leads the Cypress research group at Stevens Institute of Technology and has secured significant funding from NSF, Microsoft Research, and Siemens. His mentoring extends to numerous PhD students who have gone on to successful careers in academia and industry.