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

Uwe Egbert Wolterمشاهده پروفایل

دانشیار

• Theoretical Computer Science
• Category Theory
• Algebraic Specification
• +۱۲ مورد دیگر

Uwe Egbert Wolter is an Associate Professor in the Department of Informatics at the University of Bergen, Faculty of Mathematics and Natural Sciences. He is actively engaged in research at the intersection of theoretical computer science, category theory, and formal methods in software engineering. His research interests include: Theoretical Computer Science Category Theory Algebraic Specification Graph Transformations Formal Methods Coalgebras Diagrammatic Modeling Model-Driven Engineering Multilevel Modeling Logic in Computer Science Wolter’s recent publications focus on diagrammatic specification frameworks, generalized sketches, and coalgebraic modeling. His work explores the use of categorical and algebraic structures to formalize software models, knowledge representation, and logical systems. He frequently collaborates with researchers such as Harald König, Adrian Rutle, Zinovy Diskin, and Alfio Martini. The research trends show a consistent focus on unifying logical and structural aspects of systems using category-theoretic tools. He has no listed scientific awards in the provided text. Wolter has advised or collaborated with several researchers, though formal students are not explicitly listed. His work has been supported through academic collaborations and research projects, including funding from the Research Council of Norway (e.g., project 194521). He has contributed to workshops and conferences in formal methods, algebraic development techniques, and model-driven engineering. He is involved in research groups and collaborative efforts centered on formal modeling, particularly through the Diagram Predicate Framework and multilevel typed graph transformations. His work contributes to foundational aspects of software specification and knowledge representation.

Elia Dal Corsoمشاهده پروفایل

پژوهشگر

• Linguistics
• Endangered Languages
• Ainu Language
• +۱۲ مورد دیگر

Elia Dal Corso is a Researcher in the Department of Asian and North African Studies at Ca' Foscari University of Venice. His work centers on the linguistic and cultural study of endangered East Asian languages, particularly the Ainu language of Hokkaidō and Sakhalin, as well as broader Japanese and Korean linguistics. His research interests include linguistics, endangered languages, Ainu language, Japanese and Korean linguistics, phonetics, phonology, morphosyntax, evidentiality, language revitalization, historical linguistics, sociolinguistics, and folklore studies . He employs philological and linguistic methodologies to analyze historical corpora, especially those of Bronisław Piłsudski, to document and preserve vanishing languages. The recent publications reflect a consistent focus on the structural and functional analysis of Sakhalin Ainu, exploring topics such as inferential markers, clause linking, negation, phonology, and the role of linguists in language revival. His editorial work further highlights his leadership in advancing scholarship on endangered languages of East Asia. Scientific Awards: No awards mentioned in the text. Elia Dal Corso teaches courses on the Ainu language and culture, Japanese linguistics, and general linguistics at the undergraduate level. He supervises bachelor's and master's theses on Ainu-related topics and supports students by providing access to rare publications from his personal collection. There is no mention of research grants or external funding in the provided materials. He is actively involved in research and publication, contributing both as an author and editor to major works on East Asian endangered languages. While no formal lab or research team is mentioned, his collaborative editorial projects suggest active engagement with an international network of scholars in the field.

Beate Hampeمشاهده پروفایل

استاد

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

Beate Hampe is a Professor of Language and its Structure (English Linguistics) at the Department of Linguistics, Faculty of Philosophy, University of Erfurt. She serves as Vice President for International Affairs and Founders Service Representative at the university. Academic Focus: Cognitive Linguistics, Construction Grammar, Corpus Linguistics, Metaphor Theory, Embodied Cognition, and Discourse Studies. Leadership: Associate Editor of Cognitive Semantics (2019-2022), Board Member of the Yearbook of the German Cognitive Linguistics Association (GLCA), and active reviewer for major linguistic journals and funding bodies like the Humboldt Foundation and DFG. Research Trends: Her recent publications examine the intersection of embodiment, constructional networks, and corpus-driven analyses of syntactic patterns. She investigates multimodal constructions, metaphor dynamics, and quantitative approaches to constructional polysemy. Advising: Supervised Ph.D. students Matthias Altmann (ongoing), Volodymyr Dekalo (2018), and Susanne Hoppe (2013). She has conducted external reviews for Ph.D. and Habilitation theses at multiple institutions. Collaborative Work: Engaged in cross-institutional research groups like "Kulturtechniken des Sammelns" and "Medienvertrauen in der digitalen Welt," with collaborations involving Irene Mittelberg, Peter Uhrig, and Mark Turner on multimodal constructions.

Ian Starkمشاهده پروفایل

مدرس ارشد

• Programming Languages
• Theoretical Computer Science
• Concurrency Theory
• +۱۵ مورد دیگر

Ian Stark is a Senior Lecturer in Computer Science at the School of Informatics , The University of Edinburgh , and a key member of the Laboratory for Foundations of Computer Science (LFCS) . His research centers on mathematical models of programming languages and concurrent systems, with a focus on reasoning about name generation and secure mobile code. Research Interests: Ian Stark's work lies at the intersection of theoretical computer science and programming language semantics. He investigates foundational models such as the π-calculus and nu-calculus, applying them to problems in security, resource management, and systems biology. His research in denotational and operational semantics provides rigorous frameworks for understanding program behavior, particularly in systems with dynamic name creation and local state. He has made significant contributions to proof-carrying code and resource guarantees for mobile and embedded systems, ensuring safety and security through formal methods. The trends in his publications over the last 15 years show a consistent focus on foundational models for concurrency and security. Early work established semantic models for the π-calculus, while later research applied these to practical domains like mobile code security and systems biology. His articles frequently appear in top venues like LICS, FOSSACS, and TCS, reflecting a strong theoretical grounding with applications in verification and language design. Scientific Recognition: Advising and Funding: Stark has supervised several PhD students, including Marek Kwiatkowski, Chris Banks, Uli Schöpp, Sam Lindley, and Tom Chothia. He has been involved in major collaborative research projects such as REMS (Rigorous Engineering for Mainstream Systems), App Guarden (Resilient Application Stores), CerCo (Certified Complexity), and Mobius (Proof-Carrying Code), funded by the EPSRC and the European Union. He actively recruits PhD students, particularly through the Centre for Doctoral Training in Pervasive Parallelism. Labs and Teams: He is a core member of the Laboratory for Foundations of Computer Science (LFCS) , a world-renowned research group at the University of Edinburgh focused on the mathematical foundations of computing. His work often involves collaboration with researchers across Europe in the areas of programming languages, semantics, and formal verification.

• Ancient Religious History
• Classical Translation Studies
• Latin Language and Literature
• +۲ مورد دیگر

Rita Kopeczky is an Assistant Professor at the Faculty of Humanities and Social Sciences , Károli Gáspár Reformed University , with a focus on Ancient Religious History and Classical Translation Studies . She previously served as an Assistant Professor at Eötvös Loránd University (ELTE BTK). Her research integrates Latin Literature , Ancient Greek , and Biblical Hebrew to analyze ancient translation practices and religious ideologies. Honors : 2014 Publication of the Year (KRE BTK) Key Projects : Co-editor of Vallásfogalmak sokfélesége (2012) and Orpheus Noster (2013), organizer of the Ábel Jenő National Latin Competition (since 2003) Her publications span topics like: Ancient Translation : Examining Cicero's translation techniques and Homer's Latin adaptations Military and Cultural Studies : Analyzing gladiatorial games and Hannibal's symbolic portrayal Religious Analysis : Investigating Mithraic rituals and definitions of 'atheism' in antiquity Language Expertise : Intermediate proficiency in English , German , and Italian (C-type state exams). Academic Service : Active member of the Hungarian Society for Ancient Studies ' Audit Committee and contributor to the Digital Latin Textbook (2004–2011).

• 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

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.

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