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

Sanjay Jainمشاهده پروفایل

استاد

• Inductive Inference
• Recursion Theory
• Complexity Theory
• +۳ مورد دیگر

Sanjay Jain is a Provost's Chair Professor in the Department of Computer Science at the School of Computing, National University of Singapore (NUS). His research focuses on theoretical computer science with particular emphasis on inductive inference, recursion theory, complexity theory, and computational learning theory. Education: B.Tech. in Computer Science from Indian Institute of Technology Kharagpur, India (1986) M.S. in Computer Science from University of Rochester, USA (1988) Ph.D. in Computer Science from University of Rochester, USA (1990) Professor Jain's research spans multiple areas of theoretical computer science. His primary contributions are in computational learning theory, where he has made significant advances in understanding the intrinsic complexity of language identification and the limits of inductive inference. His work on recursion theory explores fundamental questions about computability and complexity, while his research in complexity theory addresses structural aspects of computational problems. A notable achievement was his work on "Deciding Parity Games in Quasipolynomial Time," which won the prestigious STOC 2017 best paper award and later the EATCS-IPEC Nerode Prize. Professor Jain's publication record shows a consistent focus on theoretical foundations of computer science, particularly in learning theory and computational complexity. His recent work has expanded into automatic structures, semiautomatic models, and connections between computational learning and algebraic structures. There is a clear progression from foundational work on language identification to more complex models involving automatic functions, transducers, and connections to mathematical logic. Scientific Awards: STOC 2017 Best Paper Award for "Deciding Parity Games in Quasipolynomial Time" EATCS-IPEC Nerode Prize (2021) Professor Jain has served on the editorial board of Information and Computation and has been actively involved in the academic community through program committee memberships for major conferences including COLT, ALT, LATA, TAMC, and PRICAI. He has held leadership roles as program co-chair for ALT 2000 and ALT 2013, and conference chair for ALT 2005. His work has been supported by various research grants, though specific details are not provided in the available materials. Professor Jain leads research in theoretical computer science at NUS, where he has built a strong research group focused on computational learning theory and related areas. His work often involves collaborations with researchers from around the world, particularly with Frank Stephan, with whom he has co-authored numerous papers. His research group has made significant contributions to understanding the fundamental limits and possibilities of computational learning models.

• Computational Logic
• Symbolic Machine Learning
• Neuro-symbolic AI
• +۳ مورد دیگر

Professor Alessandra Russo leads the Structured and Probabilistic Knowledge Engineering (SPIKE) research group at Imperial College London's Department of Computing. With expertise spanning computational logic, symbolic machine learning, and neuro-symbolic AI, she develops foundational AI techniques applied to security, network management, healthcare, and adaptive systems. Professor Russo holds a PhD in Computing from Imperial College London and an MSc in Computer Science from Ionian University. Her research pioneers logic-based learning systems for intelligent adaptive technologies, with projects including declarative networking for security management, privacy-preserving federated learning, and hybrid neuro-symbolic approaches for robust reasoning. Her current work focuses on developing interpretable AI systems through neuro-symbolic integration, creating frameworks that combine neural networks with symbolic reasoning for explainable decision-making. Recent publications explore rule learning from knowledge graphs, transformer-based world models, and formal methods for representation learning. Professor Russo teaches courses on Logic-Based Learning and AI Applications, and has received the Google PhD Fellowship for her research contributions. She mentors numerous PhD students in areas spanning theoretical foundations and practical applications of computational logic and machine learning.

Liangming Panمشاهده پروفایل

استادیار

• Natural Language Processing
• Large Language Models
• Machine Learning
• +۳ مورد دیگر

Liangming Pan is an Assistant Professor at the University of Arizona's College of Information Science. His research focuses on building trustworthy large language models (LLMs) with an emphasis on logical reasoning, truthfulness, and safety. He holds a PhD in Computer Science from the National University of Singapore (2022), a Master's from Tsinghua University, and a Bachelor's from Beihang University. Education : PhD in Computer Science, National University of Singapore (2022) Master of Engineering in Computer Science, Tsinghua University (2017) Bachelor of Engineering in Computer Science, Beihang University (2014) Research Interests : Dr. Pan's work centers on enhancing LLMs' reliability through: Logical reasoning mechanisms to ensure faithful deductions Truthfulness verification to combat misinformation Safety protocols to mitigate societal harm Key Contributions : Developed TART, an open-source framework for explainable table-based reasoning Created benchmarks like SCITAB and FactCheck-Bench for evaluating LLMs Advanced techniques for knowledge editing and causal reasoning Awards : Best Paper Runner-Up at NeurIPS Table Representation Workshop (2024) Area Chair Award for Question Answering (IJCNLP-AACL 2023) Service & Outreach : He serves as an Area Chair for EMNLP (2024), COLING (2025), and ACL (2024). He has delivered invited talks at Tsinghua University, Peking University, and other institutions.

• Programming Languages
• Formal Methods
• Software Engineering
• +۴ مورد دیگر

Alexander Summers is an Associate Professor at the Department of Computer Science , University of British Columbia . He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages , Formal Methods , and Software Engineering , with a focus on automated verification tools for heap-based and concurrent programs. MSc Joint Mathematics and Computer Science, Imperial College London (2004) PhD Computer Science, Imperial College London (2009) Postdoc, ETH Zurich (2009-2014) Summers leads the Prusti Project , developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in: Memory safety and concurrency verification Ownership models and aliasing control Automated reasoning with SMT solvers Resource-oriented programming specifications Debugging verification condition quantifiers Formal validation of verification infrastructure His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards . He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification , and supervises graduate students in formal verification and Rust-related research.

Ellie Pavlickمشاهده پروفایل

استادیار

• Language Acquisition
• Grounded Language Learning
• Neural Language Models
• +۷ مورد دیگر

Ellie Pavlick is an Assistant Professor of Computer Science and Linguistics at Brown University, where she leads the Language Understanding and Representation (LUNAR) Lab . Her work bridges computational linguistics and cognitive science, focusing on grounded language learning and the structural dynamics of neural language models. PhD from University of Pennsylvania (2017), specializing in paraphrasing and lexical semantics Collaborates with Brown's Robotics, Visual Computing labs, and Cognitive, Linguistic, and Psychological Sciences department Research interests center on cognitively-inspired approaches to language acquisition, analyzing how LLMs and humans encode abstract reasoning and compositional structures. Her lab explores: Grounded language learning in multimodal systems Emergence of compositional behavior in neural networks Interpretability frameworks for black-box AI Key publication areas include: Transformer mechanisms and cognitive modeling Formality and complexity in language systems Relational reasoning and multimodal integration Ellie teaches courses on computational linguistics and human-machine language processing, with a focus on synergies between AI and psychological science.

• Formalized Mathematics
• Proof Assistants
• Homotopy Type Theory
• +۳ مورد دیگر

Floris van Doorn is a Professor at the Mathematical Institute of the University of Bonn where he leads the Formalized Mathematics group. His research focuses on making it viable to formalize research mathematics in proof assistants that can check the correctness of such proofs. He primarily works with the Lean Theorem Prover and is a maintainer of its mathematical library (mathlib). University of Bonn: Professor (2023-present) University of Paris-Saclay: Postdoc with Patrick Massot (2021-2023) University of Pittsburgh: Postdoc with Tom Hales (2018-2021) Carnegie Mellon University: PhD under Jeremy Avigad and Steve Awodey (2013-2018) Van Doorn's research interests center on formalized mathematics, tools and automation for formalization, and homotopy type theory. He has made significant contributions to several major formalization projects including the Carleson project (proving Carleson's theorem), the sphere eversion project (formalizing Gromov's h-principle), the Flypitch project (formalizing the independence of the continuum hypothesis), and the Spectral sequences project. His work demonstrates that proof assistants can handle complex areas of mathematics beyond algebra, including differential topology and analysis. His recent publications show a consistent focus on advancing formalized mathematics, with his most recent work formalizing the Gagliardo-Nirenberg-Sobolev inequality and continuing the Carleson project. His publications span theoretical foundations of type theory, practical applications of formalization, and educational resources for learning proof assistants. Skolem award (2025) for the paper 'The Lean Theorem Prover (System Description)' Van Doorn actively mentors students and collaborators, with Maria, Michael, and Arend recently joining his formalization group in Bonn. He has taught various courses on formalized mathematics and proof assistants at the University of Bonn, University of Pittsburgh, and Carnegie Mellon University. His educational efforts include developing learning resources such as the Natural Number Game and the online book 'Mathematics in Lean.' He also maintains an active presence in the Lean community through the Formalized Mathematics group and collaborative projects like the Carleson project, which invites participation from those familiar with Lean.

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

استاد

• Mathematical Logic
• Theoretical Computer Science
• Recursion Theory
• +۵ مورد دیگر

Frank Christian Stephan is a Professor at the National University of Singapore (NUS), with joint appointments in the Department of Mathematics (primary) and School of Computing (secondary). His research spans mathematical logic, theoretical computer science, and computational complexity. Research Interests: Recursion theory and Kolmogorov complexity Inductive inference and learning theory Automata theory and automatic structures Parity games and algorithmic randomness Selected Publications include works on quasipolynomial time algorithms for parity games (STOC 2017 Best Paper) and semi-automatic structures. His scientific awards include the STOC 2017 Best Paper Award and the EATCS-IPEC Nerode Prize 2021. He teaches courses such as Computational Complexity (AY 2023/2024 Sem 2, AY 2024/2025 Sem 2), Advanced Automata Theory (multiple editions), and Mathematical Logic (undergraduate). He co-organizes the Logic Seminar at NUS.

Lance Ripsمشاهده پروفایل

استاد

• cognitive psychology
• reasoning
• concepts and categorization
• +۹ مورد دیگر

Lance Rips is a Professor in the Psychology Department at Northwestern University , Evanston, IL. His research focuses on cognitive psychology, particularly concepts, reasoning, and autobiographical memory. Academic Rank: Professor Institution: Northwestern University Department: Psychology Department Contact: ripslab@gmail.com , rips@northwestern.edu Research interests include: Deductive and inductive reasoning Concepts of objects/events over time Causal cognition Mathematical thinking (numbers, non-Euclidean geometry) Informal argumentation and survey methodology His lab investigates foundational questions in cognition, with recent work on conditional reasoning, object individuation, and developmental understanding of substances. Publications span journals like Cognitive Science , Psychological Science , and Cognition .

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.

Peter Millicanمشاهده پروفایل

استاد

• Early Modern Philosophy
• Philosophy of Language
• Philosophy of Religion
• +۴ مورد دیگر

Peter Millican is a Professor of Philosophy and Gilbert Ryle Fellow at Hertford College, University of Oxford, where he has served since 2005. He also holds a part-time role as Visiting Professor at the National University of Singapore (NUS) and temporary Visiting Professor at Nanyang Technological University (NTU). His academic roles include Head of Education & Outreach at the Institute for Ethics in AI. Education: Studied Mathematics at Oxford, switched to Philosophy and Theology, graduating with First Class Honours, then completed a B.Phil. in Philosophy at Oxford. His interdisciplinary work bridges Philosophy and Computing, notably co-founding the Oxford Computer Science and Philosophy degree program in 2012. Research focuses on Early Modern Philosophy (particularly David Hume), Philosophy of Language, Philosophy of Religion, and digital humanities. Major projects include the davidhume.org initiative and English Philosophical Texts Online . Key contributions include over 40 publications on Hume, ethics, and AI. He hosts the Futuremakers podcast exploring AI and climate change implications. Awards include the Gilbert Ryle Fellowship and editorial roles in Hume Studies . Outreach includes educational software development (e.g., PhiloComp.net ) and public engagement through media appearances, debates, and the Signature stylometric software used in high-profile literary analyses (e.g., identifying J.K. Rowling as 'Robert Galbraith').

Raymond J. Mooneyمشاهده پروفایل

استاد

• Artificial Intelligence
• Bioinformatics and Computational Biology
• Machine Learning
• +۱۴ مورد دیگر

Raymond J. Mooney is a Professor in the Department of Computer Science at the University of Texas at Austin, where he has been a faculty member since 1987. He is the Director of the UT Artificial Intelligence Laboratory and affiliated with multiple research groups including the Machine Learning Research Group, UT Computational Linguistics Lab, and the UT Center for Computational Biology and Bioinformatics. He holds a B.S., M.S., and Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign, where his thesis was supervised by Gerald DeJong. His research spans diverse areas in artificial intelligence, machine learning, and natural language processing: Natural Language Learning Connecting Language and Perception Statistical Relational Learning Information Extraction Transfer and Active Learning Abductive Reasoning Text Mining and Clustering Recommender Systems Knowledge-Base Refinement Recent publications highlight trends in grounded language processing, human-robot interaction, and multimodal reasoning. He has been recognized with prestigious fellowships including ACL (2014), ACM (2010), and AAAI (2005). Scientific awards: Fellow of the Association for Computational Linguistics (2014) Fellow of the Association for Computing Machinery (2010) Fellow of the American Association for Artificial Intelligence (2005) Classic Paper Award (2019) Best Paper Awards (2007, 2004, 1996) He teaches graduate courses like CS 371R: Information Retrieval and Web Search (Fall 2025) and CS 395T: Grounded Natural Language Processing (Spring 2025). His research labs include: UT Artificial Intelligence Laboratory Machine Learning Research Group UT Computational Linguistics Lab UT Center for Computational Biology and Bioinformatics

Sebastijan Dumancicمشاهده پروفایل

استادیار

• Program Synthesis
• Probabilistic Programming
• Neuro-Symbolic AI
• +۲ مورد دیگر

Sebastijan Dumancic is an Assistant Professor at Delft University of Technology, focusing on neuro-symbolic AI through program synthesis and probabilistic programming. He leads the RAIL lab and collaborates with institutions like Harvard, MIT, and CNRS. His research bridges symbolic AI and machine learning, applying program synthesis to scientific discovery, transportation, and robotics. He holds an FWO-funded PhD from KU Leuven and has participated in initiatives like ELLIS and the Symbolic Computation and Machine Learning Initiative. Program synthesis Probabilistic programming Neuro-symbolic AI Constraint-based learning His recent articles highlight advancements in program synthesis, neuro-symbolic integration, and constraint satisfaction. Projects like Find2Fix and Intelligent Greenhouse Horticulture (funded by NWO) demonstrate practical applications. ELLIS Membership University Teaching Qualification He supervises numerous MSc and PhD students in projects involving logic programming, program synthesis, and probabilistic modeling. Active in workshops and symposia, he contributes to neuro-symbolic AI and scientific discovery.

Zachary Kincaidمشاهده پروفایل

دانشیار

• Program Analysis
• Formal Methods
• Programming Languages
• +۴ مورد دیگر

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

Brett Hayesمشاهده پروفایل

استاد

• Reasoning
• Concept Learning
• Memory
• +۸ مورد دیگر

Professor Brett Hayes is a distinguished cognitive psychologist at the University of New South Wales, serving in the School of Psychology. He is the founding Director of the Sydney Thinking and Reasoning (STAR) Laboratory, which he has led for over 15 years, securing more than $4 million in competitive research funding. Professor Hayes has previously held the position of Head of the School of Psychology and served as a member of the Australian Research Council (ARC) College of Experts. His research expertise spans reasoning, concept learning, memory, and developmental changes in these cognitive processes. Professor Hayes employs both experimental investigation and computational modeling in his work, with a particular focus on applying fundamental cognitive research to practical problems in forensic and clinical decision-making, early childhood education, and climate change science communication. His research has significant interdisciplinary applications across psychology, education, and environmental science. Professor Hayes has published extensively in top cognitive science journals, with his most recent work focusing on inductive reasoning, sampling assumptions, learning traps, and consensus perception. His research demonstrates consistent innovation in understanding how people process information, make decisions under uncertainty, and develop reasoning abilities across the lifespan. His scientific contributions include numerous journal articles, book chapters, and co-authored textbooks on developmental psychology. Professor Hayes has also contributed to teaching through courses such as PSYC3341 Developmental Psychology (which he chairs), PSYC3221 Cognitive Science, and PSYC2061 Developmental and Social Psychology. Professor Hayes maintains an active research program with ongoing collaborations across multiple institutions, as evidenced by his numerous co-authored publications. His laboratory continues to advance our understanding of human cognition through rigorous experimental work and theoretical development.

Judith Roitmanمشاهده پروفایل

استاد

• Set Theory
• Topology
• Boolean Algebra
• +۲ مورد دیگر

Judith Roitman is a full Professor of Mathematics at the University of Kansas, where she has been since 1976, rising to full professorship after earlier roles at Wellesley College and the Institute for Advanced Study. Her academic journey began with an English Literature degree from Sarah Lawrence College (1966) before transitioning to mathematics at UC Berkeley, earning a Ph.D. in 1974 under Robert Solovay, with research in set-theoretic topology and Boolean algebra. She has held leadership roles in the Association for Women in Mathematics (AWM), serving as its President (1979–1981) and shaping its early structure. Her research spans over 40 papers and a textbook, Introduction to Modern Set Theory (1990), while her work in mathematics education includes co-authoring the NCTM Principles and Standards 2000 . She received the 1990 Louise Hay Award for Mathematics Education and was inducted into the AWM Fellows Program in 2018. Roitman’s career combines research with advocacy: she mentored students, advised on national education policy, and ran teacher workshops for elementary and high school educators. Her non-academic pursuits include poetry (e.g., Slippage , 1999) and Zen Buddhism, co-founding the Kansas Zen Center in 1978.