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

• Semantics of programming languages
• Game semantics
• Quantitative semantics
• +۵ مورد دیگر

Guy McCusker serves as Professor and Deputy Head of Department in the Department of Computer Science at the University of Bath, where he actively supervises doctoral students and leads research in programming language semantics. His current projects include LMS Scheme 7: Imperative Taylor Expansion (2026-2026) and collaborations with institutions like Aix-Marseille University. His research centers on game semantics, quantitative semantics, and logical approaches to decision-making for information security. Key themes include the mathematical foundations of computation, non-classical logic applications in security policy, and the interplay between category theory and programming language design. His fingerprint analysis reveals strong connections to lambda-calculus (100%), programming language theory (100%), and event calculus (50%). Recent publications demonstrate consistent focus on dinatural transformations, compositionality problems, and history-based logics across top venues like CSL and LIPIcs. His work bridges theoretical computer science with practical security applications through rigorous semantic frameworks. Scientific recognition includes: LICS Test of Time Award (2018) for foundational contributions to game semantics He has secured significant funding from EPSRC, Royal Society, and London Mathematical Society for projects including Games and Differential Nets for Concurrent Systems (2015-2017) and ALPUIS (2013-2018). His supervision portfolio encompasses 9 completed student works with emphasis on programming language theory. McCusker maintains active collaborations with Jim Laird, Alessio Guglielmi, and John Power, recently serving as Visiting Professor at Aix-Marseille University (Nov-Dec 2023). His research group focuses on categorical approaches to computation and security-aware language design.

Martin Jönssonمشاهده پروفایل

دانشیار

• Philosophy of Language
• Epistemology
• Cognitive Psychology
• +۶ مورد دیگر

Martin Jönsson serves as Head of Department at Lund University's Department of Philosophy within the Faculty of Humanities and Theology since 2022, having previously served as Director of Studies from 2015 to 2021. He holds the academic rank of Associate Professor and Senior Lecturer in Theoretical Philosophy, with his research spanning Philosophy of Language, Epistemology, and Cognitive Psychology. His research interests focus on implicit bias, semantic compositionality, reliabilism, and prejudice, with particular emphasis on developing interventions against implicit bias. Jönsson completed the Swedish Research Council-funded project 'The Epistemology of Implicit Bias Interventions' in 2022 and coordinated the 'Post Hoc Interventions' theme at the Pufendorf Institute. His recent publication trends reveal a strong focus on philosophical approaches to bias mitigation, with multiple 2024-2025 articles examining post-hoc interventions in grant review processes, ranking systems, and prejudice reduction strategies. His work bridges theoretical philosophy with practical applications in social justice contexts. As an academic leader, Jönsson supervises four doctoral students (Andreas, Hubert, Max, and Niklas) and a Marie Curie postdoctoral fellow (Mark), while contributing to multiple research projects including 'Cognitive Epistemology' and 'Fair and Square: An Interdisciplinary Study of Algorithmic Discrimination in Healthcare.' He actively participates in the Information Quality Research Group (LUIQ) and CogComlab, contributing to Lund University's Profile Area on Human Rights. His teaching portfolio includes Philosophy of Language, Formal Logic, Central Problems in 20th Century Philosophy, and One World, One Language courses.

• Theoretical Linguistics
• Formal Semantics
• Computational Linguistics
• +۳ مورد دیگر

Roberto Zamparelli is an Associate Professor at the University of Trento in both the Department of Psychology and Cognitive Science and the Center for Mind/Brain Sciences (CIMeC) . His research spans theoretical and computational linguistics with a focus on syntax-semantics interface phenomena. His research interests include formal semantics , distributional semantics , computational models of language , and linguistic education . He has supervised multiple PhD theses and contributed to interdisciplinary projects combining linguistics with cognitive science. The 15 most recent articles (2013-2024) demonstrate consistent focus on partitive structures , multimodal language models , semantic knowledge evaluation , and multilingualism effects . Key subfields include ellipsis mechanisms, cross-linguistic analysis, and neural network linguistic testing. Marie Curie Post-Doctoral Fellowship (1997-1999) British Academy 'Joint Activity Grant' (2000) Patent: Dispositivo didattico per l’apprendimento o l’esercizio nell’uso di strutture linguistiche (2016) Students supervised include Eva Vecchi , Rossella Varvara , and Sara Zanellini . His work integrates computational methods with theoretical linguistics , supported by grants like the PRIN REPLAI project (2023-25) and EU Atheme collaboration (2014-19).

• Applied Category Theory
• Game Theory
• Theoretical Computer Science
• +۳ مورد دیگر

Matteo Capucci is a researcher at the University of Strathclyde , affiliated with the Department of Computer and Information Sciences . His work centers on applied category theory , game theory , and mathematical cybernetics , with a focus on compositional structures and coalgebraic modeling. PhD in Computer and Information Sciences Research interests include: Extensive form games and equilibrium models Categorical optics and fibrational structures Compositionality failures in cohomology and sheaf theory Quantitative reasoning and parametric categories Open energy-driven systems in physics His publications from 2020–2025 span theoretical advancements in category theory, applications to game theory, and connections to cybernetics, with recurring themes of feedback, gradient descent, and compositional modeling. A notable prize is the Distinguished Presentation Award (2021) . Capucci contributed to the EPSRC-funded project "Maths DTP 2020" , collaborating with Fredrik Nordvall Forsberg, Julian Hedges, and others. He has co-authored 4 research outputs, including conference papers and book chapters.

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

استادیار

• Computer Science
• Artificial Intelligence
• Machine Learning
• +۷ مورد دیگر

Manling Li is an Assistant Professor at the Department of Computer Science, Northwestern University. She previously served as a postdoc at Stanford University's Vision and Learning Lab under Prof. Jiajun Wu and received her Ph.D. from the University of Illinois at Urbana-Champaign (advisor: Prof. Heng Ji). Her research spans Language + Vision + Robotics with applications in Embodied AI and AI for Science . Key Research Areas : Knowledgeable Foundation Models, Reasoning & Planning, Compositionality, Multimodal Knowledge Extraction, Factuality & Trustworthiness in AI Leadership Roles : Organizing Committee for ACL 2025, NAACL 2025, EMNLP 2024 Research Trends in her 15 most recent publications show: Advancing Embodied AI through structured reasoning and planning frameworks Developing Vision-Language Models for 3D layout optimization and video understanding Addressing LLM Hallucinations via knowledge shadowing and mechanistic interpretability Creating collaborative agent systems with out-of-sync recovery mechanisms Scientific Recognition : ACL 2024 Outstanding Paper SoCal NLP 2024 Best Paper Microsoft Research Fellowships (PhD & Postdoc) DARPA Riser & EE CS Rising Star Advising Impact : Mentored 19 students in developing the UIUC information extraction system. Currently advising 12 students across PhD, Master's, and undergraduate levels, with particular emphasis on supporting underrepresented groups. Led teams to rank 1st in DARPA AIDA evaluations.

Jingwei Jiمشاهده پروفایل

عضو هیئت علمی

• Human Activity Understanding
• Video Analysis
• 3D Vision
• +۲ مورد دیگر

Jingwei Ji is a Research Scientist at Waymo LLC, specializing in computer vision and machine learning. He holds a Ph.D. in Electrical Engineering from Stanford University, where he was co-advised by Prof. Juan Carlos Niebles and Prof. Silvio Savarese, and a B.Sc. in Physics from Peking University. Education Ph.D. in Electrical Engineering, Stanford University B.Sc. in Physics, Peking University His research focuses on human activity understanding , video analysis , 3D vision , and scene graph modeling . He pioneered the Action Genome dataset, which bridges human actions and human-object relationships through spatio-temporal scene graphs. Jingwei's recent publications emphasize temporal alignment in few-shot learning, semantic segmentation of actors/actions, and 3D shape reconstruction. His work spans both theoretical advancements and practical applications in autonomous systems. Academic services include serving as a reviewer for top-tier conferences like CVPR, ICCV, AAAI, and journals including The Visual Computer. He organized workshops at CVPR 2020 and ECCV 2020 on compositional perception. Previously, he worked as an Applied Scientist Intern at Amazon Go (2018) and contributed to open-source projects like ActionGenome, a Python-based video dataset framework under MIT license.

Lei Buمشاهده پروفایل

استاد

• Software Verification
• Software Testing
• Software Analysis
• +۸ مورد دیگر

Lei Bu is a Professor and Vice Dean of the Software Institute at Nanjing University, China. He has been with Nanjing University since 2010, progressing from Assistant Professor to his current position. His academic career includes a visiting position at Microsoft Research Asia through their StarTrack Program from 2014-2015. Professor Bu received his B.Sc. and Ph.D. degrees in Computer Science from Nanjing University, with additional research experience at Carnegie Mellon University and University of Texas at Dallas during his doctoral studies. His academic journey shows steady progression through the ranks at his alma mater. Lei Bu's research primarily focuses on software verification, testing, and analysis, with particular expertise in model checking, bounded model checking, formal methods, and cyber-physical systems. His work spans theoretical foundations to practical applications in safety-critical systems. Recent publications demonstrate growing interest in integrating machine learning techniques with traditional formal methods, as seen in works like SpecGen that leverage large language models for program specification generation. His research outputs show a consistent focus on verification techniques for complex systems, particularly addressing challenges in hybrid systems, cyber-physical systems, and IoT applications. Professor Bu has developed several verification tools including BACH (Bounded Reachability Checker for Linear Hybrid Automata) and BRICK (Bounded Reachability Checker of Numerically-Intensive C Code), which have been used in international verification competitions. 2023: Zhongchuang Software Talent Award 2022: CCF-IEEE CS Young Computer Scientist Award 2020: The Outstanding Teachers of Computing in Higher Education Award Program 2019: NASAC Young Software Innovation Award 2016: Young Talent Development Program 2014: StarTrack Program Visiting Young Faculty 2007: Full Scholarship under the State Scholarship Fund Professor Bu serves as a Principal Investigator on multiple significant research projects funded by the Natural Science Foundation of China, including a Key Program grant (2023-2027) on dynamic adjustment-control-fault tolerance theory. He has also advised numerous students and taught courses including Formal Languages and Automata, Theoretical Foundation of Software Engineering, and Preliminary Introduction to the Theory of Computation. His laboratory work focuses on developing practical verification tools for industrial applications in cyber-physical and IoT systems.

Leonidas Doumasمشاهده پروفایل

مدرس ارشد

• Analogy
• Relational Reasoning
• Mental Representation
• +۳ مورد دیگر

Leonidas Doumas is a Senior Lecturer in Psychology at the University of Edinburgh’s School of Philosophy, Psychology and Language Sciences. He holds a PhD in Cognitive and Developmental Psychology from UCLA and has held academic positions at Indiana University and the University of Hawaii before joining Edinburgh in 2013. His research focuses on relational reasoning, analogy, cognitive development, and computational modelling, particularly exploring how distributed systems like neural networks represent and generalize relational concepts. He teaches courses in developmental science, cognitive science, and statistics, and actively supervises PhD students in these areas. Dr. Doumas’s work combines empirical studies with computational models to investigate topics such as cross-domain generalization, relational learning in children and adults, and the role of structured representations in cognition. His research also employs neuroscientific techniques like EEG and TMS to understand cognitive processes. He is a core member of the Edinburgh Cognitive and Neuroethology Lab (CNE) and leads initiatives in immersive virtual reality (VR) for neuropsychological assessment, such as the Virtual Reality Everyday Assessment Lab (VR-EAL). His educational background includes a PhD under John Hummel, Keith Holyoak, and Cathy Sandhofer at UCLA, followed by postdoctoral training in Linda Smith’s lab at Indiana University. His current projects emphasize the intersection of symbolic and connectionist approaches to cognition, with a focus on how structured representations emerge through experience. Research Interests: Relational learning, analogy, cognitive development, computational modelling, neural networks, and VR applications in cognitive science Teaching: Year 1/2 Psychology courses, Cognitive Science, and advanced options on neural networks and induction Advising: Open to PhD/MSc students interested in relational cognition, computational models, or VR applications Publications span topics from neural network limitations in language processing to mechanisms of hierarchical linguistic structure, with a focus on bridging computational and empirical cognitive science.

• Cognitive Science
• Neurolinguistics
• Psycholinguistics
• +۴ مورد دیگر

Giosuè Baggio is a Professor of Psycholinguistics at the Norwegian University of Science and Technology (NTNU), affiliated with the Department of Language and Literature within the Faculty of Humanities. His research focuses on cognitive science, neurolinguistics, and the neural mechanisms underlying language processing, including semantics, syntax, and compositionality. He is the author of influential works such as Meaning in the Brain and Neurolinguistics , published by MIT Press. Baggio teaches courses such as Language and Cognition , Semantics and Pragmatics , and Research Methods in Linguistics . His work bridges experimental psychology, neuroscience, and computational models, with a particular interest in how language is represented in the brain and the implications for artificial intelligence. He actively engages in science communication, contributing to media outlets like Nature , The Guardian , and Norwegian public radio (NRK), discussing topics ranging from AI ethics to university policies. His research has explored the cultural transmission of symbolic systems, the neural basis of deductive reasoning, and the role of computational complexity in quantifier processing. Baggio is a vocal advocate for rigorous scientific methodology, emphasizing preregistration and theory development. He collaborates internationally, including roles at the Embodied Cognitive Science Unit (OIST, Okinawa) and the Sydney Music, Mind, and Body Lab. His recent work includes organizing conferences like the 2025 Linguistic Association of Finland Symposium on 'Meaning in Language, Machines, and Humans.'

Sam Cummingمشاهده پروفایل

استاد

• Philosophy of Language
• Semantics
• Reference Theory
• +۵ مورد دیگر

Sam Cumming is a Professor in the Department of Philosophy at the University of California, Los Angeles. His research spans philosophy of language, semantics, and the philosophical analysis of film and narrative structures. With a Ph.D. from Rutgers University (2007), he has established himself as a significant contributor to contemporary debates in linguistic reference, truth conditions, and nominalist approaches to semantics. Dr. Cumming's research interests focus on foundational questions in the philosophy of language, particularly concerning reference, truth, and meaning. His work examines how language connects to reality through semantic content, with special attention to problematic cases like fictional entities, indefinite descriptions, and reportative constructions. He has made notable contributions to understanding the semantics of film, exploring how cinematic techniques create coherent narrative viewpoints and convey meaning through visual representation. His interdisciplinary approach bridges analytic philosophy with cognitive science and film studies, revealing how linguistic structures parallel audiovisual cognition in storytelling. Analysis of Cumming's publication record reveals a consistent trajectory from formal semantic theory toward broader applications in narrative and film. His early work focused on technical aspects of reference and indefinites, while more recent publications demonstrate increasing engagement with moral philosophy in narrative contexts and the cognitive foundations of film perception. A unifying thread throughout his career is the examination of how meaning is constructed across different representational systems, whether linguistic or audiovisual. His articles frequently address the relationship between semantic content and cognitive processing, suggesting an underlying interest in how humans make sense of complex representational structures. Dr. Cumming actively mentors graduate students, as evidenced by his students Gabe, Rory, and Koby Leff who have presented research at academic conferences. His advising appears focused on the intersection of philosophy of language with film and narrative studies, guiding students through technically rigorous analyses of cinematic representation and narrative structure. While specific grant information isn't provided in the available materials, his sustained publication record in prestigious journals suggests successful research funding throughout his career.

• Theoretical Linguistics
• Variationist Sociolinguistics
• Morphology
• +۵ مورد دیگر

Naomi Lee is an Assistant Professor at the Weissman School of Arts and Sciences , Baruch College - CUNY. She holds a Ph.D. in Linguistics from New York University and an A.B. in Linguistics from Princeton University. Her work bridges theoretical morphology with variationist sociolinguistics. Ph.D., Linguistics, New York University A.B., Linguistics, Princeton University Lee's research investigates: Linguistic mental representations through computational simulations and experimental methods English morphological/syntactic variation Asian American ethnolinguistic repertoire formation Artificial language learning paradigms Her recent publications focus on particle verb alternation, syntactic universals, and computational modeling of language acquisition. She actively presents at major conferences including LSA, NELS, and NWAV. Lee teaches: First-year writing Theoretical linguistics Sociolinguistics Quantitative/Experimental methods in linguistics She serves on the Baruch Undergraduate Admissions Committee as a Faculty Presenter.

Matthieu Labeauمشاهده پروفایل

مدرس ارشد

• Natural Language Processing
• Machine Learning
• Representation Learning
• +۲ مورد دیگر

Matthieu Labeau is a Senior Lecturer at Télécom Paris, affiliated with the Department of Image, Data, Signal (IDS). He joined the institution in 2019 after completing his PhD at the University of Paris-Saclay and a postdoctoral position at the University of Edinburgh. His research primarily centers on Natural Language Processing (NLP), with specialized interests in representation learning, language modeling, and conversational AI. His work spans: Core NLP : Contextual word representations, semantic alignment, and polysemy analysis. Machine Learning : Hierarchical classification, graph prediction, and few-shot learning techniques. Applications : Emotion recognition in dialogues, persuasiveness decoding, and educational NLP tools. Labeau leads research in the Signal, Statistics and Learning (S2A) team at the Information Processing and Communication Laboratory (LTCI). His recent publications demonstrate a strong focus on improving language model interpretability and efficiency, with innovations in tokenization effects and multimodal fusion. Though no awards or grants are mentioned, his consistent output in top-tier venues (e.g., NeurIPS, ACL, AAAI) highlights significant scholarly contributions. He actively collaborates on tools like EZCAT for conversation annotation and mentors researchers in NLP projects. Current work explores LLM capabilities in persuasion assessment and optimal transport methods for graph-based learning.

Achla M Rainaمشاهده پروفایل

استاد

• Cognitive Linguistics
• Pragmatics
• Lexical Semantics
• +۱۲ مورد دیگر

Achla M Raina is a Professor in the Department of Humanities and Social Sciences at Indian Institute of Technology Kanpur (IIT Kanpur) . Her expertise lies in cognitive and theoretical linguistics, with a focus on South Asian languages. Education: PhD in Linguistics, Indian Institute of Technology Kanpur (1992) M.Phil in Linguistics, Delhi University (1984) M.A. in Linguistics, Delhi University (1982) M.A. in English Literature, Kashmir University (1980) B.A. in English Literature, Kashmir University (1978) Research Focus: Her work spans Cognitive Linguistics , Pragmatics , Lexical Semantics , and Sign Linguistics , with particular attention to Indic languages like Kashmiri and Hindi. She explores how meaning is constructed in language through cognitive and cultural lenses. Teaching Areas: She teaches courses in cognitive linguistics, natural language semantics, computational linguistics, language acquisition, language evolution, Indian linguistic tradition, sociolinguistics, pragmatics, philosophy of language, generative linguistics, communication studies, and language teaching . Publications Overview: Her research output includes studies on classifier systems in Kashmiri, co-eventual verbs in Hindi, and semantic compositionality in complex predicates, reflecting a deep engagement with both theoretical and empirical linguistics. Contact: achla@iitk.ac.in | Office: FB324, Department of Humanities and Social Sciences, IIT Kanpur | Phone: +91-512-259-7894

Ildikó Szijjمشاهده پروفایل

دانشیار

• Romance Linguistics
• Portuguese Language
• Spanish Language
• +۵ مورد دیگر

Ildikó Szijj is an Associate Professor at the Institute of Romance Studies, Department of Portuguese Language and Literature, Eötvös Loránd University. Her academic work focuses on comparative and historical linguistics within Iberian Romance languages, including Portuguese, Spanish, and Catalan. Research Interests: Romance Morphology Verbal and Nominal Compounds Imperative and Subjunctive Mood Interaction Negative Quantifier Structures Galician-Portuguese Linguistic Relations Minority Language Education in Academic Settings She has extensively published on topics such as parasynthetic derivation, prefixal irregularities, and dialectal variations in verb forms, with a particular emphasis on cross-linguistic comparisons. Her work bridges theoretical morphology with pedagogical approaches to minority Iberian languages.

Abel Jansmaمشاهده پروفایل

پژوهشگر ارشد

• Complexity
• Information Theory
• Statistical Physics
• +۷ مورد دیگر

Abel Jansma is a Research Fellow at the Dutch Institute for Emergent Phenomena (DIEP), affiliated with the University of Amsterdam's Institute of Physics (IoP) and Institute of Logic, Language, and Computation (ILLC). His work bridges physics, mathematics, and biology to study emergence, higher-order interactions, and complexity. He holds a unique interdisciplinary background, transitioning from art school to scientific research while maintaining creative projects like origami design and AI culinary applications. Research interests include quantitative mereology, information theory, and causal modelling, with a focus on decomposing systems into parts and interactions. Notable contributions involve applying Möbius inversion techniques to study higher-order effects in complex systems. He explores topics like entropy decomposition, coarse-graining, and interdisciplinary frameworks linking category theory with physics. Additional projects span art-science interfaces: creating Penrose tiling visualizations, developing AI cooking assistants (Autolenghi), and collaborating on bio-design projects (mycorrhizal transplantations). His work often emphasizes visual and conceptual clarity, with outputs ranging from mathematical blogs to physical installations. Active on social media platforms including Twitter and GitHub, he engages in open science and public communication.