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

Johann-Mattis Listمشاهده پروفایل

استاد

• Computational Linguistics
• Language Evolution
• Historical Linguistics
• +۵ مورد دیگر

Prof. Dr. Johann-Mattis List holds the Chair of Multilingual Computational Linguistics at the University of Passau since January 2023 and leads the ERC-funded research group 'ProduSemy'. Previously, he served as acting professor at Bielefeld University and senior researcher at the Max Planck Institute for Evolutionary Anthropology (Leipzig) and the Max Planck Institute for the Science of Human History (Jena). He earned his doctorate at Heinrich Heine University Düsseldorf and completed his habilitation at Friedrich Schiller University Jena. Research Focus: Evolution of language lexica, computational methods for language comparison, Southeast Asian and South American languages, open science practices. Key Projects: ERC-funded 'ProduSemy' group studying word family evolution via algorithms. Cross-Linguistic Data Formats initiative standardizing language data. Media and Outreach: Featured in SWR Wissen, MDR Wissen, and ARD Alpha, discussing language universals and computational methods. His interdisciplinary work bridges linguistics with bioinformatics, emphasizing transparent computational tools for historical language studies. Collaborations span computer science and humanities, advancing methods like phylogenetic analysis and lexical database development. Recent work includes studies on body-part terminology in 1028 languages (Scientific Reports, 2024) and neural network approaches for language affiliation (2025). He mentors students like Frederic Blum, contributing to the next generation of computational linguists.

Jörn Heesمشاهده پروفایل

استاد

• Data Science
• Deep Learning
• Anomaly Detection
• +۳ مورد دیگر

Prof. Jörn Hees is a Professor for Data Science at the Department of Computer Science, Hochschule Bonn-Rhein-Sieg (H-BRS), and serves as Chairman of the Computer Science Faculty Council. He is affiliated with the Institute for Artificial Intelligence and Autonomous Systems (A2S) and the Institute of Technology, Resource and Energy-efficient Engineering (TREE). His research focuses on Data & Graph Mining, Deep Learning, Anomaly Detection, Explainable AI, and AI-assisted education (e.g., automated grading systems). He teaches courses such as Stochastics, Data Analysis and Visualization, Artificial Intelligence (Bachelor level), and Deep Learning Foundations, Natural Language Processing (Master level). His work bridges theoretical advancements with practical applications in finance, remote sensing, and education. Notable projects include federated outlier detection systems (Fin-Fed-OD), the TreeSatAI benchmark dataset for tree species classification, and AI-driven grading solutions using LLMs. His publications emphasize anomaly detection techniques, multimodal fusion, and interpretable machine learning. Despite no explicit awards listed, his contributions to AI education and computational methods are evident through his extensive publication record. He coordinates research teams and advises on infrastructure for AI education and infrastructure monitoring via Earth observation data.

• Natural Language Semantics
• Pragmatics
• Computational Linguistics
• +۳ مورد دیگر

Kyle Rawlins is an Associate Professor and Director of Graduate Studies in the Cognitive Science Department at Johns Hopkins University. His research focuses on natural language semantics and pragmatics, emphasizing interdisciplinary approaches integrating theoretical linguistics, computational modeling, and experimental data. He holds a PhD in Linguistics from UC Santa Cruz (2008) and has taught courses such as Semantics 1 and 2, as well as specialized seminars on questions and discourse dynamics. His work explores topics including definiteness in cross-linguistic contexts, the pragmatics of questions and conditionals, and discourse attention mechanisms. Collaborations with scholars like Justin Bledin and Sadhwi Srinivas have yielded influential studies on presupposition dynamics and anaphoric variability. Rawlins has advised PhD student Sadhwi Srinivas, contributing to her research on Kannada bare nominals. His teaching and research materials, including NASSLLI courses, highlight his commitment to bridging formal semantics with computational and experimental methods. Education: PhD in Linguistics, UC Santa Cruz, 2008 Teaching: Semantics 1/2, NASSLLI courses on questions and conditionals His research spans definiteness, discourse dynamics, and clause-embedding, often leveraging crowd-sourced data and computational models. Ongoing projects include investigations into Korean demonstratives and Italian polar questions, reflecting his interest in cross-linguistic pragmatics. He has contributed to major journals and conferences, with a focus on bridging theoretical and applied linguistic research.

• Deep Learning
• Audio/Video Content Analysis
• Biomedical Data Analysis
• +۳ مورد دیگر

Dr. Markus Mühling is a Research Fellow in the Department of Mathematics and Computer Science at Philipps-Universität Marburg, working under Prof. Bernd Freisleben. His research focuses on deep learning applications for audio/video content analysis and biomedical data interpretation. He joined the group in 2015 and has contributed to projects involving wildlife monitoring, medical imaging, and heritage digitization. His work spans sensor networks, neural network architectures, and edge computing solutions for real-world challenges. Key research areas include: Deep learning for bioacoustic and visual species recognition Automated analysis of biomedical and histological images Edge-based AI systems for resource-constrained environments Content-based retrieval in video and image archives Publications highlight advancements in biodiversity monitoring (e.g., acoustic sensor networks), medical imaging (e.g., blood cell counting), and cultural heritage (e.g., organ tablature transcription). His work bridges theoretical machine learning with practical ecological and biomedical applications.

• Federated Learning
• Blockchain Technology
• Internet of Vehicles
• +۷ مورد دیگر

Hao Chen is a Professor at the University of Chinese Academy of Sciences, School of Artificial Intelligence, with significant contributions across multiple research domains. His work spans computer science, networking, and artificial intelligence with applications in transportation, healthcare, and industrial systems. His primary research interests include Federated Learning , Blockchain Technology , Internet of Vehicles , Satellite Networks , Resource Allocation , and UAV Systems . His research program focuses on developing novel algorithms and frameworks for distributed systems, edge computing, and intelligent networking solutions. Recent work demonstrates particular strength in privacy-preserving techniques, multi-agent systems, and real-world applications of AI in transportation and healthcare domains. Analysis of his recent publications (2024-2025) reveals a strong emphasis on practical applications of theoretical concepts, with particular attention to vehicular networks, satellite communications, and medical imaging. His work frequently combines deep learning with traditional optimization techniques to address complex real-world problems. The interdisciplinary nature of his research connects computer science with civil engineering, medical diagnostics, and transportation systems. His leadership in federated learning and blockchain applications for Internet of Vehicles has established him as a significant contributor to these emerging fields. Recent publications show increasing collaboration with both academic and industry partners across multiple continents.

Isaac Sheffمشاهده پروفایل

پژوهشگر ارشد

• Distributed Systems
• Consensus Protocols
• Heterogeneous Trust
• +۲ مورد دیگر

Isaac Sheff is a Senior Research Scientist at Heliax and former Postdoctoral Researcher at the Max Planck Institute for Software Systems. His research focuses on distributed systems, consensus protocols, and formal verification, with applications to blockchain technology. He leads development of Typhon, a next-generation heterogeneous consensus protocol enabling fast finality and multi-chain atomic transactions. His work combines theoretical foundations with practical implementations in Haskell and Coq. Publications demonstrate his contributions to program logics (Iris, Melocoton), consensus algorithms (Heterogeneous Paxos), and distributed data structures (Charlotte). His research consistently bridges formal methods, distributed systems, and security. He has collaborated on projects including ProLoc and CoVault that develop privacy-preserving location proofs and secure analytics platforms using distributed systems principles.

Christof Wolfمشاهده پروفایل

استاد

• Social Inequality
• Social Change
• Health
• +۴ مورد دیگر

Prof. Dr. Christof Wolf holds the Chair of Social Structural Analysis at the University of Mannheim's Faculty of Social Sciences. His research focuses on social inequality, health, social networks, and religion, approached through a structural lens. He collaborates with the Mannheim Centre for European Social Research (MZES) and GESIS – Leibniz Institute for the Social Sciences. His work emphasizes methodological advancements in data collection and analysis, particularly in open science frameworks. Research interests span interdisciplinary topics including the interplay between social structures and individual well-being, quantitative methodologies, and the application of computational tools to sociological inquiry. His team explores innovative approaches to social science research, leveraging advanced data analysis techniques. Publications highlight expertise in multimedia systems, adaptive streaming, and serious games for educational and therapeutic purposes. Collaborations with technical institutions reflect a commitment to bridging social science and computational research. He actively contributes to teaching, developing interactive learning scenarios and leveraging mobile technologies for classroom engagement.

• Formal Semantics
• Syntax-Semantics Interface
• Semantics-Pragmatics Interface
• +۷ مورد دیگر

Maribel Romero is a Professor in the Department of Linguistics at the University of Konstanz since 2007. She holds a Ph.D. from the University of Massachusetts Amherst (1998), with a dissertation on focus and reconstruction effects in wh-phrases. Previously, she taught at the University of Pennsylvania (1998–2007), progressing from Assistant to Associate Professor. Her research focuses on formal semantics, syntax-semantics interfaces, and semantics-pragmatics interactions. Key areas include negation, questions, epistemic bias, copular sentences, and superlatives. She has pioneered work on counterfactual conditionals, polar question bias, and clausal embedding restrictions across languages. Romero has led major projects funded by DFG, ERC, and the Nuance Foundation. Notable initiatives include the Questions at the Interfaces research unit and the Meaning-Driven Combinatorial Restrictions AHRC-DFG project. She has also held editorial roles for Journal of Semantics and Language and Linguistics Compass , and serves on advisory boards for the DFG and Leibniz-ZAS. Teaching responsibilities span introductory linguistics to specialized courses in semantics/pragmatics (e.g., Intensional Semantics , Computational Semantics ). She has also contributed to summer schools at Stanford and Humboldt University Berlin.

Mark-Matthias Zymlaمشاهده پروفایل

پژوهشگر ارشد

• Computational Semantics
• Syntax/Semantics Interface
• Formal Pragmatics
• +۵ مورد دیگر

Mark-Matthias Zymla is a post-doctoral researcher at the University of Konstanz's Department of Linguistics specializing in computational linguistics. His work bridges theoretical linguistic frameworks with practical computational implementations, focusing on semantic representation and processing. His primary research interests include computational semantics, the syntax/semantics interface, formal and computational pragmatics, with particular expertise in tense and aspect systems, argumentation theory, discourse particles, and rhetorical questions. He develops computational tools like LiGER (Linguistic Graph Expansion and Rewriting) that integrate syntactic analyses from LFG and Universal Dependencies with semantic annotations using Glue Semantics. Zymla has taught numerous courses at the University of Konstanz including Computational Semantics, Lexical Functional Grammar, Large Language Models, and Grammar Development across multiple semesters since 2015. His research is supported by projects like CUEPAQ (Visual Analytics for Argument Quality), VALIDA, and tense/aspect research funded by the Nuance Foundation. He actively participates in the ParGram community, co-organizing meetings in Rochester (2023) and Groningen (2022), and co-founded the 'SuP' reading group on semantics and pragmatics at Konstanz. His publications demonstrate strong interdisciplinary work connecting computational linguistics with visual analytics, argumentation studies, and cross-linguistic semantic annotation.

• Philosophy of Language
• Cognitive Science
• Episodic Memory
• +۵ مورد دیگر

Markus Werning is a Professor in the Department of Philosophy at Ruhr University Bochum, specializing in the Philosophy of Language and Cognition. His research spans multiple interdisciplinary domains including cognitive science, philosophy of mind, and neuroscience, with particular focus on episodic memory, semantics, and compositionality. He leads research within the Department of Philosophy's cognitive research groups and has established himself as a prominent scholar through extensive publications and editorial work in leading journals. Werning's research interests concentrate on the intersection of philosophy and cognitive science, particularly examining episodic memory systems, semantic compositionality, and the philosophical implications of cognitive neuroscience findings. His work explores how memory functions as a system for representing past experiences, the relationship between memory and imagination, and the compositional nature of mental representations. He has developed theoretical frameworks such as trace minimalism and scenario construction theory to explain how minimal memory traces can be expanded into rich episodic recollections. Analysis of his recent publications reveals a consistent research trajectory focused on understanding memory as a constructive process rather than a simple preservation mechanism. His work increasingly integrates neuro-computational modeling with philosophical analysis, bridging empirical findings with conceptual frameworks. Key thematic areas include the role of episodic memory in causal reasoning, the nature of reference in memory reports, the processing of negation and scalar implicatures, and the integration of multimodal information in language comprehension. Werning has served as co-editor for numerous special journal issues and edited volumes, including The Oxford Handbook of Compositionality (2012). His editorial work demonstrates leadership in bringing together interdisciplinary perspectives on compositionality, semantics, and cognitive science. His publications appear in high-impact journals such as Behavioral and Brain Sciences, Synthese, and Frontiers in Psychology, reflecting the interdisciplinary nature of his research. As an active researcher with continuous publication output through 2025, Werning maintains strong collaborations with cognitive scientists, neuroscientists, and philosophers across multiple institutions. His research group at Ruhr University Bochum appears to focus on the cognitive and neural mechanisms underlying memory, language processing, and conceptual representation, with several ongoing projects examining the interplay between memory systems and linguistic cognition.

Adrian Niegotمشاهده پروفایل

استاد

• Music Pedagogy
• Music Didactics
• Historical Meaning in Music Education
• +۷ مورد دیگر

Prof. Dr. Adrian Niegot is a full professor of Music Education and Music Didactics at Faculty 2 of Folkwang University of the Arts, where he has been serving since 2015. He is also the study programme coordinator for Music Teaching. Previously, he held teaching positions at Bergische Universität Wuppertal and served as a senior teacher for music and German at a secondary school in Duisburg. His educational background includes a doctorate (Dr. phil.) from Folkwang University of the Arts in 2014, with a dissertation on historical meaning formation and validity in music education. He completed his teacher training at Folkwang-Hochschule Essen and the University of Duisburg-Essen, earning his first state examination in 2001/2004, followed by the second state examination in 2007. He also holds a degree in Catholic Church Music (A-Examen, 2003) and a C-Examen in church music from Münster (1993). Adrian Niegot’s research centers on epistemological, cultural-theoretical, and educational-philosophical foundations of music pedagogy. His work explores historical meaning-making in musical contexts, symbolic orders of knowledge, and the integration of contemporary music in school curricula. He investigates how aesthetic practices and cultural semiotics shape music education, particularly through the lens of composers like Hanns Eisler. The publications listed reflect a strong thematic focus on music didactics, historical consciousness, and political dimensions of music. There is a recurring engagement with Hanns Eisler, memory theory, and the philosophical underpinnings of music education. His works span journal articles, book chapters, and educational materials, demonstrating both scholarly depth and practical classroom relevance. Excellence Scholarship of Folkwang University of the Arts (2010) Prizewinner of the German Study Prize (2004) He is a member of several academic societies, including the Arbeitskreis Musikpädagogische Forschung (AMPF), Gesellschaft für Musikpädagogik (GMP), Bundesfachgruppe Musikpädagogik (BFG), and the Internationale Hanns Eisler Gesellschaft (IHEG). While no formal students or grants are listed, his role as a doctoral supervisor and study coordinator suggests active academic mentorship. His work bridges theoretical research and practical music teaching, particularly in secondary and higher education contexts. Adrian Niegot has also been involved in artistic projects as an organist, choir conductor, and composer, particularly of songs for children and youth choirs. He has initiated and led interdisciplinary cultural events, reflecting a commitment to integrating music with broader educational and societal themes.

Alessio Mansuttiمشاهده پروفایل

استادیار

• Logic in Computer Science
• Automated Verification
• Formal Methods
• +۱۲ مورد دیگر

Alessio Mansutti is an Assistant Professor at IMDEA Software Institute, Madrid, where he conducts research in logic and formal methods in computer science. Prior to this, he was a Research Associate in the Automated Verification Group at the University of Oxford. His research focuses on decision procedures for arithmetic theories, separation logic, modal logics, and proof theory. Key areas include Presburger arithmetic with non-linear operations (exponentiation, GCD), quantifier elimination, complexity analysis, and logical expressiveness. He has made significant contributions to the decidability and complexity of extended arithmetic and spatial logics. The recent publications show a strong trend in developing quantifier elimination techniques for linear-exponential and counting extensions of arithmetic, analyzing reachability in separation logic, and designing internal calculi for modal and spatial logics. His work bridges theoretical logic with practical verification and optimization problems. Scientific Awards : None mentioned in the text. Advising and Grants : Alessio Mansutti is currently leading independent research funded by the Madrid Regional Government under the César Nombela grant 2023-T1/COM-29001. There is no mention of formal students or advisees, suggesting he may be early in his independent career. He was previously involved in the ERC project ARiAT (2020–2024) led by Christoph Haase, focusing on advanced reasoning in arithmetic theories. Labs and Teams : He is affiliated with the IMDEA Software Institute and was part of the Automated Verification Group at the University of Oxford. His research is deeply collaborative within the formal methods and logic communities, particularly in decision procedures and logical foundations for program verification.

Lutz Schröderمشاهده پروفایل

استاد

• Formal Methods
• Logic in Computer Science
• Knowledge Representation
• +۵ مورد دیگر

Lutz Schröder is a Professor and head of the Chair of Computer Science 8 (Theoretical Computer Science) at the Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). He is actively involved in research and leadership within formal methods and logic in computer science. His research interests include Formal Methods , Logic in Computer Science , Knowledge Representation , and Coalgebraic Logic . His work emphasizes theoretical foundations of programming semantics, modal and fixpoint logics, and automated reasoning, often employing category-theoretic and coalgebraic frameworks. His recent publications span top conferences such as LICS, POPL, CSL, and CONCUR, focusing on graded semantics, behavioral metrics, nominal automata, and generic model checking. These works exhibit a strong trend toward unifying logical systems and developing modular, coalgebraic tools for verification. EATCS Best Paper Award at ETAPS 2006 Best Theory Paper at FM 2019 He advises several researchers, including Paul Wild, Jonas Forster, and Daniel Hausmann, many of whom are frequent co-authors. He leads DFG projects such as CoMoC (Coalgebraic Model Checking), SpeQT (Spectra of Behavioural Distances), and is a principal investigator in the DFG Research Training Group 2475 on Cybercrime and Forensic Computing. He has been a PC member or co-chair for major conferences including LICS, IJCAI, FoSSaCS, and STACS, and co-chaired IFIP WG 1.3 from 2016–2022. He is also involved in the development of reasoning tools like COOL and COOL-MC.

Pawel Sobocinskiمشاهده پروفایل

استاد

• Applied Category Theory
• Compositional Systems
• Theoretical Computer Science
• +۱۰ مورد دیگر

Paweł Sobociński is a Professor of Trustworthy Software Technologies at the Department of Software Science, School of Information Technologies, Tallinn University of Technology (TalTech), where he also leads the Laboratory for Compositional Systems and Methods. He is a principal investigator in several major research projects including the Estonian Research Council’s PRG1210 (ALICE), the EU-funded CHESS cybersecurity hub, and the EXAI Centre of Excellence in AI. His academic background includes faculty positions at the University of Southampton and research roles at the University of Cambridge and institutions in France and Italy. His research lies at the intersection of computer science and mathematics, with a focus on applied category theory. He investigates compositional modeling of systems, where the behavior of complex systems emerges from the structured interaction of their components. His work employs string diagrams, process algebras, Petri nets, and categorical semantics to develop formal methods for verifying and reasoning about concurrent and cyber-physical systems. He is particularly known for his contributions to graphical linear algebra and diagrammatic reasoning. The recent publications highlight a strong trend in diagrammatic methods, especially string diagrams, for expressing logic, algebra, and system behavior. These works span from foundational categorical structures to applications in electrical circuits, concurrency, and formal verification, demonstrating a unifying thread of compositional reasoning. His leadership in organizing conferences like LICS 2024 and ICALP 2024 underscores his central role in the theoretical computer science community. His scientific recognition includes numerous invited talks and tutorials at major international venues such as CONCUR, QPL, MFPS, and ETAPS, as well as leadership roles in academic organizations. He is an Associate Editor for journals including Compositionality , Mathematical Structures in Computer Science , and Logical Methods in Computer Science , and has served on the steering committee of ETAPS. Sobociński has supervised multiple PhD students and postdoctoral researchers, including Owen Stephens, Fabio Zanasi, Mario Román, and Elena di Lavore. He is also the director of the PhD programme in ICT at TalTech and has received research grants from the Estonian Research Council, the European Commission, and the Estonian Ministry of Education and Research, supporting his work in trustworthy software, AI, and cybersecurity. He leads the Laboratory for Compositional Systems and Methods at TalTech, a research group focused on developing and applying compositional techniques in software science, with applications in AI, security, and formal verification. The lab fosters international collaboration and is active in organizing workshops and summer schools.

Bernhard Rumpeمشاهده پروفایل

استاد

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSL)
• +۱۳ مورد دیگر

Bernhard Rumpe is a full Professor at RWTH Aachen University, where he leads the Chair of Software Engineering (Department of Computer Science 3). His research focuses on model-based software and systems engineering (MBSE), domain-specific languages, and generative development techniques to improve software quality and development efficiency. His research interests include: Model-Based Software Engineering (MBSE) Domain-Specific Languages (DSLs) and language workbenches like MontiCore Model-driven digitalization and digital twins Agile integration with formal modeling Applications in embedded systems, AI, automotive, IoT, and cloud systems His team has developed MontiCore, a powerful language workbench used in both academia and industry for creating and processing DSLs, supporting code generation and static analysis. Research projects span theoretical foundations and industrial applications, with over 100 successfully completed projects celebrated recently. The recent publications reflect a strong trend in model-driven engineering, emphasizing formal modeling, automation, and scalability. Key themes include DSL design, variability modeling, digital twins, and integration of MBSE with agile practices. The work bridges theoretical rigor with practical implementation, especially in safety-critical and complex systems. Scientific contributions and leadership are evident through: Founding and leading a major research chair in software engineering Supervising PhD students such as Sage Binder and Brooke Burson Securing and managing over 100 research projects with industrial partners Developing widely used tools like MontiCore He also actively promotes academic careers, inviting applications for PhD and postdoctoral positions in software engineering, including opportunities for habilitation. The research is conducted within the Software Engineering group at RWTH Aachen, which fosters collaboration between students, researchers, and industry partners, focusing on innovation in software development processes and tools.