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

Egor Kostylevمشاهده پروفایل

دانشیار

• Foundations of AI
• Symbolic AI
• Description Logics
• +۹ مورد دیگر

Egor Kostylev serves as an Associate Professor in the Department of Informatics within the Faculty of Mathematics and Natural Sciences at the University of Oslo. His research focuses on the theoretical foundations connecting symbolic and sub-symbolic artificial intelligence, particularly examining relationships between formal logic systems and machine learning approaches. His educational background includes an MSc (Specialist, 2005) and PhD (Candidate, 2009) from Lomonosov Moscow State University under Prof. Vladimir A. Zakharov. He subsequently held research positions at the University of Edinburgh (2010-2013) and the University of Oxford (2013-2020) before joining the University of Oslo in 2020. Kostylev's research interests center on bridging symbolic AI formalisms with sub-symbolic approaches. He investigates connections between various logics (Description Logics, Temporal Logics, Datalog), query languages (SPARQL, Regular Path Queries, OTTR), and machine learning formalisms (Graph Neural Networks, Markov Logic Networks). His work addresses critical challenges in Explainable, Trustworthy, and Green AI through theoretical foundations that connect different AI paradigms. His publication record demonstrates consistent high-impact contributions in theoretical computer science and AI, with numerous publications in top venues including AAAI, LICS, Journal of the ACM, and ICLR. His recent work shows a clear trajectory toward unifying logical reasoning with neural network approaches, particularly through graph neural networks and their connections to logical formalisms. The research spans theoretical foundations of knowledge representation, temporal reasoning in knowledge bases, and the logical expressiveness of modern neural architectures. As a research leader, Kostylev supervises multiple PhD students including Shuwen (Aurora) Liu, Maximilian Pflüger, Roxana Pop, Dongzhuoran Zhou, and Erik Snilsberg. He serves as a Research Theme Leader for the Integreat SFF: Norwegian Centre for Knowledge-driven Machine Learning. His teaching responsibilities include IN3020/4020 Database Systems courses. He leads the Data and Knowledge Management (DKM) research group at the University of Oslo, which focuses on foundational aspects of knowledge representation, database theory, and the intersection with modern machine learning techniques. The group actively collaborates with international researchers and contributes to advancing theoretical understanding of how symbolic and neural approaches to AI can complement each other.

• Spanish Grammar
• Language Variation
• Morphosyntax
• +۷ مورد دیگر

Antonio Fábregas (b. 1978) is a Professor at the Department of Language and Literature, Norwegian University of Science and Technology (NTNU), specializing in Spanish grammar, variation, morphosyntax, comparative linguistics, and semantics. He has authored 8 monographs and over 150 articles/book chapters. Research : Focuses on syntax, semantics, phonology, and their interactions in word formation. Explores Spanish language variation, sociolinguistic contact phenomena, and theoretical morphology. Teaching : Engaged in linguistics education at NTNU (office: Bygg 4 Dragvoll, Trondheim). Publications : Recent work includes analyses of Spanish prefixation, argument structure, elative compounds, and negation-participle constructions. Key contributions to morphological theory and Romance language comparison.

• Linguistics
• Cognitive Linguistics
• Corpus Linguistics
• +۵ مورد دیگر

Laura Alexis Janda is a Professor of Russian Linguistics at the UiT The Arctic University of Norway , where she has worked since 2008. She is a member of the CLEAR research group (Cognitive Linguistics: Empirical Approaches to Russian) and leads the THREAT-DEFUSER project funded by the Norwegian Research Council. Her academic profile spans Cognitive Linguistics , Construction Grammar , and Corpus Linguistics , with a focus on Russian, Slavic, and Sámi languages . Education: PhD in Slavic Linguistics & Certificate in Teaching ESL, UCLA (1984) Visiting Fellowships at Princeton University and UNC Chapel Hill Training in Persian, Czech, and Russian methodologies Research Interests: Janda’s work bridges constructional networks and grammatical profiling in Slavic languages, with emphasis on aspect , case semantics , numeral classifiers , and political discourse analysis . She explores how morphological units like Russian prefixes function as verb classifiers and investigates language change in Sámi and Russian contexts. Publication Trends: Recent articles analyze ChatGPT’s grammatical interpretation , constructicon architecture , and ideological messaging in Putin’s speeches . Her research integrates quantitative methods and FAIR data principles to address both theoretical and pedagogical challenges. Awards & Grants: 2021 Honorary Doctorate (University of Turku, Finland) 2018 Member of the Norwegian Academy of Science and Letters 2017 Open Data Champion (SPARC Europe) 2013-2015 Norwegian Research Council grant for 'Birds & Beasts: Shaping Events in Old Russian' 2007-2011 Norwegian Research Council grant for 'Exploring Emptiness: Russian Verbal Morphology and Cognitive Linguistics' Collaborative Networks: Janda mentors international researchers and collaborates with linguists in Russia, Norway, and the U.S. She co-developed the Russian Constructicon and Construxercise! pedagogical tool, emphasizing interdisciplinary applications of linguistic theory. Labs & Projects: She co-founded the Tromsø Construction Lab , advancing constructicon resources for Russian and Sámi languages. Her THREAT-DEFUSER project examines perceived threats in Russian and Norwegian political discourse.

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

• Grammatical Gender
• Dialectal Variation
• Norwegian Syntax and Morphology
• +۵ مورد دیگر

Ragnhild Eik is an Associate Professor of Nordic Linguistics at the Norwegian University of Science and Technology (NTNU), based in the Department of Language and Literature within the Faculty of Humanities. She is affiliated with the AcqVA research group and the GenVAC project, focusing on grammatical gender variation in Norwegian dialects. Her research explores syntax, morphology, dialectal variation, and language change, particularly in Norwegian and Sami languages. Eik teaches grammar, Norwegian as a second language, and scientific theory. Eik holds a PhD in Nordic Linguistics from NTNU (2019), supervised by Professors Tor Åfarli and Terje Lohndal, and an MA in Linguistics from NTNU (2014). Her doctoral work centered on Norwegian compound syntax. Her research interests include grammatical gender decline, dialectal variation, argument structure, and multilingualism. Recent work examines feminine gender loss in Norwegian dialects, documented in articles like "The decline of feminine gender: a cross-dialectal study" (2024) and "Ho trakka han på foten – ein eksoskeletal analyse av possessivt objekt" (2024). She also studies compound-internal language mixing in American Norwegian (2022) and verb semantics comparisons (2021). Eik actively disseminates research through media appearances (e.g., NRK radio) and public lectures. She collaborates with the GenVAC team on large-scale dialect data collection and participates in international conferences like Microvariation and Microchange in Scandinavian Languages (2024). Her work bridges theoretical linguistics with sociolinguistic and experimental methods, contributing to understanding language change dynamics.

Dag Trygve Truslew Haugمشاهده پروفایل

استاد

• Syntax
• Formal Semantics
• Computational Linguistics
• +۵ مورد دیگر

Dag Trygve Truslew Haug is a Professor at the Department of Classics at the University of Oslo, specializing in Greek and Latin linguistics with a focus on syntax and computational approaches. His research bridges classical philology with modern computational linguistics, particularly through treebank development and semantic analysis. His primary research interests include: Greek and Latin grammatical structures Lexical-Functional Grammar and formal semantics Computational linguistics and treebank development Historical linguistics and syntactic change Semantic annotation frameworks Morphological tagging systems His recent publications demonstrate a strong focus on computational linguistics applications for classical languages, semantic parsing methodologies, and the development of linguistic resources for Norwegian. The work shows consistent innovation in formal semantics, corpus linguistics, and interdisciplinary applications in computational biology. He leads the DAMOS project (Database of Mycenaean at Oslo) and participates in multiple research groups including Digital Humanities, Grammar and Meaning, Language Change, Linguistics and Poetics, Pragmatics: Theory & Experiments, and Super Linguistics.

• Large language models
• Artificial intelligence
• Cognitive neuroscience
• +۷ مورد دیگر

Heming Strømholt Bremnes is a post-doctoral researcher in the Department of Electronic Systems at the Norwegian University of Science and Technology (NTNU), working within the SCRIBE project on Norwegian language technology, dialect variation and evaluation metrics for large language models. He also holds an MA in Scandinavian linguistics from NTNU (2013) and an MSc in Philosophy from the University of Edinburgh (2015), and he completed his NTNU PhD in 2023 with a dissertation on the neural correlates of quantifier verification. Research interests span large language models, artificial intelligence, cognitive neuroscience, neurolinguistics, formal semantics and the philosophy of language. His empirical work combines behavioural experiments and EEG to probe how computational complexity of quantifier meanings is reflected in brain activity and memory load. Public outreach: Bremnes is a frequent panel member on NRK P2’s radio programme Språksnakk , where he answers popular questions on Norwegian grammar, etymology and usage. Recent articles (2022-2024) concentrate on the cognitive and neural foundations of quantifier processing, demonstrating that differences in computational complexity leave detectable signatures in both behaviour and brain activity.

Giles Regerمشاهده پروفایل

مدرس ارشد

• Theorem Proving
• Runtime Verification
• Formal Methods
• +۳ مورد دیگر

Giles Reger is a Senior Lecturer in the School of Computer Science at the University of Manchester , affiliated with the Formal Methods Group . His academic journey includes a BA in Computer Science from the University of Cambridge (2009), an MSc in Advanced Computer Science (University of Manchester, 2010) with the Highest Achiever of the Year Award , and a PhD (University of Manchester, 2014) on runtime verification. Research Interests: Theorem Proving (via Vampire system) and Runtime Verification (via MarQ and VyPR tools). Collaborations: Projects with University of Oxford, ARM, AWS, CERN, and SnT Luxembourg. Recent Work: Giles' publications span 2019-2016, focusing on Vampire's higher-order reasoning, symmetry avoidance in finite model finding, neural guidance in theorem proving, and runtime verification for Python web services (VyPR2). Trends include integrating machine learning with formal methods and advancing logic-based verification tools. Scientific Awards: Highest Achiever of the Year Award (MSc, University of Manchester, 2010) Vampire's multiple trophies at CASC and SMT-COMP competitions Advising: Supervises PhD students Michael Rawson, Ahmed Bhayat, and Joshua Dawes. Labs/Teams: Contributes to the Vampire team and the VyPR project.

Arild Høie Henriksenمشاهده پروفایل

دانشیار

• Generative Grammar
• Syntax
• Semantics
• +۴ مورد دیگر

Arild Høie Henriksen is an Associate Professor of English language and didactics at the Department of Foreign Languages and Translation, University of Agder. His research focuses on generative grammar syntax, semantics, and language didactics. He holds a PhD in Linguistics (2020) and has taught courses on English grammar, phonetics, and didactics for teachers. His work includes comparative syntactic analyses between English and Norwegian and contributions to language education curricula. Education: PhD in Linguistics, University of Agder (2020) MPhil in English, University of Oslo (2002) MA in Language, Mind, and Communication, Newcastle University (2001) Practical-Pedagogical Education, University of Oslo (1999) BA in English and German, University of Oslo (1999) Research Interests: Generative grammar and syntax Syntax-semantics interface Language acquisition and didactics Multilingualism English curriculum design Publications Trends: Recent work includes cross-cultural analyses of English instruction, refugee education challenges, and comparative syntactic studies. Earlier contributions include dictionary entries on linguistic concepts like passives and pronouns. Labs/Teams: Collaborates with researchers on projects like the ELT Survey and curriculum analysis for teacher education programs.

Heidi Elizabeth Klockmannمشاهده پروفایل

دانشیار

• Linguistics
• Syntax
• Semantics
• +۳ مورد دیگر

Heidi Elizabeth Klockmann is an Associate Professor in the Department of Foreign Languages and Translation at the University of Agder, Norway. Her research focuses on syntactic and semantic phenomena in language, particularly in the areas of numeral structures, quantification, and second language acquisition. She has published in journals such as Revue roumaine de linguistique and Glossa , exploring topics like pseudopartitives in Norwegian and English, cross-linguistic analysis of numerals in English and Polish, and the role of definite articles in quantifying expressions. Her work bridges formal linguistics and applied linguistic analysis, contributing to our understanding of syntactic structures and their acquisition challenges in multilingual contexts. Dr. Klockmann's recent studies highlight the interplay between syntax and semantics in quantificational expressions across languages.

Giosuè Baggioمشاهده پروفایل

استاد

• 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 integrates cognitive science, neurolinguistics, and philosophy to explore language, logic, and music as models of human cognitive complexity. He co-directs the Language Acquisition and Language Processing Lab and coordinates English linguistics teaching. Education: Philosophy (University of Pavia/Strasbourg), MSc in Logic, Language & Computation (University of Amsterdam), PhD in Cognitive Neuroscience (Donders Institute, Nijmegen). Prior to NTNU, he worked at the Max Planck Institute for Psycholinguistics and SISSA (Trieste). Research focuses on semantic composition, neural correlates of language processing, and interdisciplinary theories linking linguistics to neuroscience. Key books include *Meaning in the Brain* (2018) and *Neurolinguistics* (2022, translated into Arabic/Spanish). Recent work explores ERP studies of morphological agreement, computational complexity in quantifier verification, and neural markers of musical perception. Awards: None explicitly listed. However, his impactful publications and book translations indicate scholarly recognition. Supervision spans linguistics and cognitive science topics at all levels. Active in outreach, advocating for evidence-based academic practices and interdisciplinary collaboration. Labs/Teams: Co-director of the Language Acquisition and Language Processing Lab. Teaching includes courses on semantics, pragmatics, and cognitive neuroscience of language.