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

• Modal Logic
• Mathematical Linguistics
• Formal Language Theory
• +۹ مورد دیگر

Marcus Andreas Kracht is a professor at Bielefeld University (Department of Linguistics and Literary Studies) and holds a position at Károli Gáspár Reformed Church University in Hungary. His academic career spans mathematics, cognitive science, and linguistics, with habilitations in both mathematics and general linguistics. Freie Universität Berlin: PhD in Mathematics (1991), Habilitation in Mathematics (1997) University of Edinburgh: MA in Cognitive Science (1988) University of Potsdam: Habilitation in General Linguistics (1999) His research bridges modal logic, computational linguistics, and formal semantics. Key areas include logic for computer scientists, spatial semantics, syntactic theories, and compositionality. He has supervised PhD students like Jens Michaelis and served as opponent in doctoral defenses at UCLA and Bielefeld University. Recent publications focus on compositionality, logic of action, and markup language foundations in computational linguistics. His work has been recognized with prestigious awards including the Heisenberg Research Fellowship and Studienstiftung des Deutschen Volkes scholarship. Organized ESSLLI Summer School and Mathematics of Language conferences Guest professorships at Brandenburgische Technische Universität Cottbus and University of California, Los Angeles

• Dutch Language
• Estonian Language
• Germanic Languages
• +۷ مورد دیگر

Anne Tamm is an Associate Professor in the Department of Dutch Studies at Károli Gáspár University of the Reformed Church in Hungary, where she has been teaching since 2013. She is affiliated with the Institute for German and Dutch-speaking Cultures within the Faculty of Humanities and Social Sciences. Her academic career spans multiple institutions including the University of Tartu, University of Florence, Johns Hopkins University, and Central European University, where she has held various teaching and research positions. Dr. Tamm's research focuses on linguistic typology, language and cognition, with particular expertise in Estonian, Dutch, Germanic, and Finnic languages. Her work examines cross-categorial phenomena, evidentiality, aspectual systems, and partitive constructions across languages. She has made significant contributions to understanding how cognitive and social factors influence grammatical structures, particularly in Uralic languages. Her research integrates theoretical linguistics with experimental approaches to explore how language structure relates to cognitive processing. The most recent publications reveal a consistent research trajectory examining scalar properties across grammatical categories, the relationship between evidentiality and aspect, and how social cognitive factors shape linguistic complexity. Her work demonstrates a sophisticated integration of typological, cognitive, and functional approaches to linguistic analysis, with particular attention to Uralic languages and their comparison with Germanic systems. Scientific Awards and Distinctions: KRE BTK Research Project Award (2018-2019) Publication Award from KRE BTK (2016) Honorary Alumunus from University of Tartu (2016) Research Project Award for 'Evidential and Generic Issues of Social Cognitive and Developmental Linguistics' (2012) OTKA PD 73826 Cross-Categorial Case research grant (2009-2010) Dr. Tamm has supervised numerous doctoral students and served as an opponent in many doctoral defenses. She has participated in significant research projects including the Dutch Science Fund NWO's Internationalization project 'Partitives in Europe' (2017-2020), Hungarian-Estonian bilateral researcher exchange projects (2016-2021), and the Cambridge University Press project 'Uralic Syntax' (2016). She has also contributed to Routledge's 'Essential Grammar of Estonian' and edited volumes on negation in Uralic languages. Her international scholarly engagement is extensive, with guest professorships at the University of Amsterdam, University of Groningen, Johns Hopkins University, and University of Florence. She has organized numerous international conferences and workshops on Uralic syntax, negation, and typology, demonstrating her leadership in the field of comparative linguistics.

Nayoung Kwonمشاهده پروفایل

دانشیار

• Neurolinguistics
• Psycholinguistics
• Syntax
• +۶ مورد دیگر

Nayoung Kwon is an Associate Professor in the Department of East Asian Languages and Literatures at the University of Oregon , affiliated with the Schnitzer School of Global Studies and Languages . Her research focuses on neurolinguistics , psycholinguistics , and syntax , particularly how language systems interact with cognitive functions and grammatical variations map to processing . She employs ERP , eye-tracking , and self-paced reading methodologies for cross-linguistic parsing studies. Ph.D. in Linguistics & Cognitive Science, University of California, San Diego M.A. in Linguistics & Applied Linguistics, UC San Diego & Korea University Her recent work explores honorific processing , pronoun resolution , and social hierarchy computation in Korean and Chinese. She supervises psycholinguistic research using an SR Eyelink eye-tracker and Brain Vision EEG system , offering opportunities for PhD students in East Asian Linguistics and MA candidates in Linguistics and Pedagogy . Her teaching portfolio includes courses on Korean linguistics , psycholinguistics , and research methods .

• Historical Linguistics
• Lexical and Inflectional Morphology
• Sicilian Dialect Studies
• +۷ مورد دیگر

Tiziana EMMI is a Researcher in Glottology and Linguistics at the Department of Humanities, University of Catania. She teaches courses such as “General Linguistics with Laboratory” and “Glottology and Linguistics” across undergraduate and graduate programs in literature, languages, and speech therapy. She holds a PhD in Modern Philology (Linguistics) and is qualified for associate professorship in the competitive sector 10/G1. Her research focuses on theoretical and descriptive linguistics, particularly in the areas of: Inflectional and lexical morphology of Italian and its dialects, especially Sicilian Phraseology and complex lexemes in grammars and dictionaries Relationship between literature and dialect, including marked syntactic and lexical uses Language acquisition, interlanguage, and learning processes Her recent publications reflect a strong trend in historical and evolutionary morphology, especially concerning the Sicilian language. The works explore diachronic word formation, exogenous influences on the lexicon, and syntactic evolution in literary Italian, indicating a deep engagement with both theoretical and applied linguistics. She has supervised several thesis students on topics including language acquisition, dubbing, dialect and identity, and neologisms in Italian. She maintains regular office hours via Microsoft Teams and in person at the former Benedictine Monastery, Studio 136.

• Probabilistic Verification
• Formal Methods
• Artificial Intelligence Safety
• +۷ مورد دیگر

Dr. Sebastian Junges is an Assistant Professor at the Software Science Group of Radboud University (Nijmegen, Netherlands) since September 2021. He previously held postdoctoral and research assistant positions at UC Berkeley and RWTH Aachen University respectively, working under prominent researchers like Sanjit Seshia and Joost-Pieter Katoen . Education: Ph.D. in Computer Science, RWTH Aachen University (2020) M.Sc. in Computer Science, RWTH Aachen University (2015) B.Sc. in Computer Science, RWTH Aachen University (2012) His research focuses on trustworthy algorithms for system dependability , particularly in safety-critical domains like autonomous systems and infrastructure automation. Key technical contributions include: Verification algorithms for Markov decision processes (MDPs) Parameter synthesis in probabilistic models Finite state controller generation Runtime monitoring with imprecise sensors Recent work (2022-2024) has explored multi-objective verification , neuro-symbolic reasoning , and scalable analysis of probabilistic models . His methodological approach combines formal methods with machine learning and automated reasoning techniques, often implemented in the state-of-the-art Storm probabilistic model checking framework. Selected scientific contributions include: Keynote speaker at MODEM 2024 Invited tutorial presenter at Dagstuhl 2024 Co-organizer of multiple VeriProp workshops (2021-2024) Program committee member for TACAS 2026, CONCUR 2024, and CAV 2024 He actively supervises Bachelor and Master student projects in algorithm development for probabilistic systems, including topics on: MDP model checking acceleration Runtime monitoring frameworks Syntax-guided controller synthesis State estimation for fault trees Probabilistic inference transpilation His academic service includes: Radboud Science Faculty Diversitee Committee Steering Committee of ETAPS (2025-2026) Program committee roles across 15+ top venues

Eran Yahavمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Program Analysis
• +۱۲ مورد دیگر

Eran Yahav is a Professor in the Computer Science Department at the Technion, Israel Institute of Technology, and serves as CTO at Tabnine. His research bridges programming languages, software engineering, program analysis, and machine learning, focusing on program synthesis, verification, and code intelligence. Research Interests: His work spans program synthesis , abstract interpretation , verification of concurrent systems , binary analysis , and AI for code . He leads the PRIME project, which uses machine learning and static analysis to enable programming with millions of examples, improving code completion, search, and prediction. The recent publications reflect a strong trend toward integrating neural models with program analysis—using structured representations of code (e.g., AST paths) for property prediction, generating sequences from code (code2seq), learning distributed representations (code2vec), and interpreting neural networks via automata extraction. His work consistently appears in top-tier venues such as POPL, PLDI, ICSE, OOPSLA, and ICLR. Scientific Awards: Best paper award at ISSTA'07 Best paper award at ISSTA'06 Advising and Grants: He has advised numerous PhD and Master’s students, many of whom have published in premier conferences and now hold academic or industry positions. While specific grants are not mentioned, his sustained high-impact research and leadership in major projects (e.g., PRIME, Fender, SAFE) imply significant funding support. He has served on program committees for PLDI, POPL, CAV, OOPSLA, and VMCAI, reflecting his standing in the programming languages and verification communities. Labs and Teams: He leads a research group focused on program analysis and synthesis, with strong collaborations, particularly with Martin Vechev and others, on concurrency, synthesis, and machine learning for code. The group has developed influential tools such as PRIME, code2seq, code2vec, TRACY, and SAFE.

Ulf Norellمشاهده پروفایل

پژوهشگر

• Interactive Theorem Proving
• Dependently Typed Programming
• Type Theory
• +۳ مورد دیگر

Ulf Norell is a Researcher at the Computing Science department of Chalmers University of Technology. He is an active member of both the Programming Logic and Functional Programming research groups, focusing on the intersection of theoretical type systems and practical programming language implementation. Dr. Norell completed his PhD at Chalmers University of Technology in 2007 with the dissertation "Towards a practical programming language based on dependent type theory," following a Licentiate thesis from Chalmers and Göteborg University in 2004 and a Master's degree from Chalmers in 2002. His educational background demonstrates a consistent focus on the theoretical foundations of programming languages. His research centers on making formal verification accessible through practical implementations of dependent type theory. Dr. Norell has made significant contributions to the Agda proof assistant, developing both the core system and the experimental AgdaLight platform. His work bridges advanced type theory with real-world programming challenges, particularly in the areas of parser implementation, mixfix operator handling, and generic programming techniques. The evolution of his publications shows a clear trajectory from foundational theoretical work toward increasingly practical applications of dependent types in programming. At Chalmers, Dr. Norell has taught Advanced Functional Programming (2008-2009) and Types for Programs and Proofs (2009), courses that directly reflect his research expertise. His teaching emphasizes the practical application of advanced type systems and formal methods. He maintains an active presence in the programming languages research community through conference presentations at venues including ICFP, TPHOLs, and MPC, where he demonstrates how dependent types can be used for interactive programming and formal verification in real-world contexts.

Alastair F. Donaldsonمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Verification
• +۵ مورد دیگر

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. His academic career spans positions as a Visiting Researcher at Microsoft Research Redmond, a Postdoctoral Research Fellow at the University of Oxford, a Research Engineer at Codeplay Software Ltd., and PhD studies at the University of Glasgow. Notably, he served as Director of GraphicsFuzz, an Imperial College spinout acquired by Google in 2018, demonstrating significant industry impact from his academic research. Donaldson's research focuses on Programming Languages, Compilers, Verification, Testing, and Multicore Programming, with particular expertise in randomized testing methodologies for compilers and program analyzers. His work bridges theoretical computer science with practical software engineering applications, developing innovative techniques like metamorphic testing for graphics shader compilers and systematic approaches for testing memory persistency models. His research output shows consistent progression toward increasingly sophisticated testing frameworks for verification-aware languages and GPU programming interfaces. Analysis of his 15 most recent publications reveals a strong trend toward applying fuzzing and randomized testing techniques to increasingly complex systems, including zero-knowledge proof circuits, large language models for code generation, and WebGPU APIs. His work consistently addresses the challenge of verifying correctness in systems where traditional testing approaches fall short, with growing emphasis on industrial deployment of compiler testing techniques. Throughout his career, Donaldson has maintained exceptional service to the academic community, serving on program committees and as chair for numerous prestigious conferences including SPLASH, PLDI, POPL, ECOOP, and ISSTA. His leadership roles have included Program Chair for ECOOP and General Chair for PLDI, reflecting his standing within the programming languages research community. As an advisor and mentor, Donaldson has contributed to the PLMW (Programming Languages Mentoring Workshop) with talks on 'The Lean Researcher' and 'Hacks to Compensate for Lack of Novelty in Programming Languages Research,' demonstrating his commitment to nurturing the next generation of researchers. His work on integrating compiler fuzzing into continuous integration pipelines represents significant practical impact on software development practices.

Graham Huttonمشاهده پروفایل

استاد

• Mathematics of program construction
• Functional programming
• Programming language semantics
• +۶ مورد دیگر

Graham Hutton is a Professor of Computer Science at the University of Nottingham , where he leads the Functional Programming Lab and serves as Director of the Midlands Graduate School . He co-founded the Quotient Haskell project and maintains key roles in Journal of Functional Programming editorial work and Haskell Foundation governance. Co-leader, Functional Programming Lab (2008–date) Director, Midlands Graduate School (2023–date) ACM Distinguished Scientist Principal investigator for £912k EPSRC project (2024–2027) His research focuses on mathematical approaches to program construction , particularly through functional languages like Haskell and Agda . He develops techniques for compiler correctness , type system design , and program optimization , with recent work on quotient polymorphism and denotational cost models . Key article themes include: Compiler derivation from formal semantics Effect handling in functional languages Graph-based code generation over traditional tree structures Quotient type systems with SMT solver integration Concurrency semantics using choice trees Operational improvement with parametric polymorphism Scientific awards include: ACM Distinguished Scientist (2013) Best Paper & Best Student Paper (2018) EPSRC funding for compiler correctness projects He advises current PhD students in compiler calculation and memory safety , while maintaining extensive educational contributions through his widely-used textbook Programming in Haskell and open course materials.

• Linguistics
• Second Language Acquisition
• Syntax
• +۳ مورد دیگر

Dr. Antje Sauermann is a researcher affiliated with the University of Potsdam and has previously taught at Humboldt University Berlin . Her work focuses on language development , multilingualism , and second language acquisition , particularly in bilingual preschoolers and heritage speakers. She explores how factors like proficiency , referring expressions , and focus marking influence syntactic comprehension and production. Her research often intersects with computational tools like the CHILDES system for analyzing child language data. Teaching Roles: Syntax introduction courses (2006–2017), seminars on language acquisition and information structure (2017, 2018). Key Research Themes: OVS sentence processing, anaphor resolution, word order acquisition, and quantification errors in bilingual children and adults. Collaborations: Natalia Gagarina, Barbara Höhle, Gulsen Yilmaz, Irina Sekerina, and others. Conference Participation: Presented at international symposia on bilingual processing, generative approaches to language acquisition, and syntax-pragmatics interfaces.

Steve Zdancewicمشاهده پروفایل

استاد

• Programming Languages
• Computer Security
• Formal Verification
• +۷ مورد دیگر

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair at the University of Pennsylvania , affiliated with the School of Engineering and Applied Science , Department of Computer and Information Science. He is a leading researcher in programming languages and computer security. University: University of Pennsylvania Department: Computer and Information Science Academic Rank: Professor Research Interests : Programming Languages Formal Verification Computer Security Quantum Programming Type Theory Secure Concurrent Systems Recent Work Trends focus on Coq for formal verification of low-level systems (e.g., LLVM), quantum circuits, and language-based security mechanisms. His work bridges theoretical foundations with practical implementations, emphasizing correctness and security in distributed systems. Scientific Awards : Distinguished Paper Awards (ECOOP 2023, POPL 2020) NSF CAREER award (2004) Alfred P. Sloan Fellow (2009-2010) Christian R. and Mary F. Lindback Award for Distinguished Teaching (2018) Advising : Current Ph.D. students include Calvin Beck Noé De Santo Stephen Mell (co-advised with Osbert Bastani) Francis Rinaldi Joey Velez-Ginorio (co-advised with Konrad Kording) . Former advisees include Nick Rioux (Ph.D. 2025), Paul He (Ph.D. 2024), and Robert Rand (Ph.D. 2018). He has secured grants from NSF Expeditions and TRACTOR program.

• Answer Set Programming
• Logic Programming
• Knowledge Representation
• +۷ مورد دیگر

Mario Alviano is a Professor at the University of Calabria's Department of Computer Engineering, Modeling, Electronics and Systems (DIMES) in Rende, Italy. With a prolific publication record spanning from 2008 to 2025, he has established himself as a leading researcher in Answer Set Programming (ASP), logic programming, and knowledge representation. His work bridges theoretical foundations with practical applications across diverse domains including cybersecurity, environmental monitoring, and explainable AI. Alviano's research focuses on advancing the theoretical understanding and practical applications of Answer Set Programming. His key contributions include developing ASP Chef, a visualization and development framework for ASP; advancing theoretical foundations of conditional reasoning and typicality in weighted knowledge bases; and creating bridges between neural networks and symbolic AI through preferential interpretations. His recent work explores temporal extensions to conditional logics, applications of ASP to digital twin visualization, and tools for improving explainability in AI systems. Alviano's publications consistently appear in top-tier venues including ICLP, LPNMR, JELIA, and Theory and Practice of Logic Programming. His research demonstrates strong trends toward practical applications of theoretical advances, with increasing focus on explainability, visualization, and real-world problem solving. The recent surge in publications (26 in 2024 alone) indicates significant ongoing research activity and leadership in the field. His work increasingly integrates ASP with other AI paradigms, particularly neural networks, to create more interpretable and robust AI systems. Alviano has made substantial contributions to the development of tools and frameworks that lower barriers to entry for ASP, most notably ASP Chef which provides visualization capabilities for complex logic programs. His work on Hashcash Tree demonstrates applications to security problems, while his research on marketplace logistics shows practical business applications of declarative programming. His collaborative network is extensive, with frequent co-authorship with researchers including Wolfgang Faber, Nicola Leone, Francesco Ricca, Carmine Dodaro, Laura Giordano, and Daniele Theseider Dupré, reflecting strong connections across European AI research institutions. Alviano has also organized workshops including multiple editions of Datalog 2.0, demonstrating leadership in the logic programming community.

• Galician lexicography
• Language standardization
• Historical linguistics
• +۴ مورد دیگر

Ernesto Xosé González Seoane (born 1962 in O Barqueiro) is a Professor in the Department of Galician Philology at the University of Santiago de Compostela's Faculty of Philology. He served as Dean of the Faculty of Philology from 2004 to 2012 and maintains active research collaborations with institutions including the City University of New York, University of Buenos Aires, and Georgetown University. As a member of the Instituto da Lingua Galega (ILG), he contributes significantly to Galician linguistic research and documentation. His academic background includes: 1985: Graduated in Hispanic Philology from the University of Santiago de Compostela 1992: Earned doctorate from USC with thesis on 19th century Galician graphic and grammatical codification, receiving the Extraordinary Doctorate Award González Seoane's research focuses primarily on Galician lexicography from both historiographical and applied perspectives, and the standardization process of modern Galician. His work bridges historical linguistics with contemporary language planning, examining how Galician has evolved from its medieval roots through the 'Dark Centuries' of limited written production to its current standardized form. He has made significant contributions to understanding the historical development of Galician linguistic resources and their application in modern contexts, with particular expertise in medieval and early modern Galician texts. His scholarly output demonstrates a consistent focus on documenting and analyzing Galician linguistic heritage, with particular attention to historical corpora, lexical resources, and standardization processes. The 2025 'Manual of Galician Linguistics' represents a culmination of his expertise across multiple dimensions of Galician language study, building on decades of research into Galician lexicography and language history. Award recognition: Extraordinary Doctorate Award for his 1992 thesis on 19th century Galician codification González Seoane leads several significant research projects including Gondomar (a digital corpus of Galician texts from the Modern Age), the Corpus of Galician texts written by students, and the Treasury of Galician and Portuguese Patrimonial Lexicon. His work has been supported by grants from the Ministry of Economy and Competitiveness (reference FFI2013-47589-P) and the Galician government's Directorate General of Language Policy. At the ILG, he has directed major projects including the 'Dictionary of medieval Galician dictionaries' (2006) and actively participates in the development of the 'Treasury of the Galician and Portuguese patrimonial lexicon.' He is actively involved with the Instituto da Lingua Galega, where he contributes to major linguistic resources including the Computerized Treasury of the Galician Language (TILG) and the development of the Treasury of Galician and Portuguese Patrimonial Lexicon. His work represents a crucial bridge between historical Galician linguistic traditions and contemporary language standardization efforts.

• Heritage Language Bilingualism
• Second Language Acquisition
• Morphosyntactic Variation
• +۵ مورد دیگر

Fatih Bayram is a Researcher in Linguistics at UiT The Arctic University of Norway, specifically within the Department of Language and Culture in the Faculty for Humanities, Social Sciences and Teacher Education. Based in Tromsø, he actively contributes to the university's research profile in language studies with a particular focus on heritage language bilingualism and second language acquisition. Dr. Bayram's research primarily investigates heritage language phenomena across multiple linguistic systems and populations. His work centers on Turkish as a heritage language, but also extends to Bosnian, Serbian, Persian, and Mandarin heritage speakers. He examines morphosyntactic variation, lexical outcomes, and processing mechanisms in heritage bilinguals, with particular attention to how language experience shapes linguistic competence. His methodological approach combines theoretical linguistics with psycholinguistic experimentation and sociolinguistic documentation. Analysis of Dr. Bayram's publication record from 2016-2024 reveals consistent research trajectories in heritage language acquisition, with increasing methodological sophistication in documenting language experience. His recent work emphasizes the role of external factors, schooling, and language usage patterns in shaping heritage language outcomes, challenging deficit perspectives on heritage bilingualism. The publications demonstrate strong international collaboration, particularly with Jason Rothman and other prominent researchers in the field. Dr. Bayram actively contributes to multiple research groups including AcqVA Aurora, the Psycholinguistics of Language Representation (PoLaR) lab, and C-LaBL. He has been involved in significant research projects such as BLINK (2018-2021) and CODE-V (2023-2025), focusing on heritage language development and variation. His teaching portfolio includes courses on Multilingualism, Second Language Acquisition, Heritage Speaker Bilingualism, and Research Methods in Applied Linguistics at both undergraduate and graduate levels, demonstrating his commitment to training the next generation of language researchers.

Erin O’Rourkeمشاهده پروفایل

دانشیار

• Intonation
• Prosodic Variation
• Spanish Dialectology
• +۱۲ مورد دیگر

Erin O’Rourke is an Associate Professor of Spanish Linguistics at the Department of Modern Languages & Classics, University of Alabama. She specializes in intonation, sociolinguistics, and language contact phenomena, particularly focusing on Spanish dialects in the Andean and Amazonian regions. PhD in Spanish from University of Illinois at Urbana-Champaign MA in Spanish Linguistics from Pennsylvania State University BA in Spanish and BS in Chemistry from University of Illinois at Urbana-Champaign Her research explores: Intonation and prosodic variation in Spanish and Quechua Acoustic and articulatory phonetics in bilingual contexts Sociophonetic patterns and statistical methods in linguistics Language contact in the Amazon and Andean regions Recent publications analyze phonetic shifts in Amazonian Spanish-Quichua interaction and socioprosodic frameworks. She is affiliated with the PRESEEA project (Quito) and leads the LengUA Lab at the University of Alabama.