جستجوی استاد راهنمای دانشگاهی

Niklas Mückمشاهده پروفایل

پژوهشگر

• Formal Methods
• Programming Languages
• Type Theory
• +۳ مورد دیگر

Niklas Mück is a PhD student at the Max Planck Institute for Software Systems in Saarbrücken, Germany, co-advised by Derek Dreyer and Deepak Garg. His research focuses on robust compilation techniques and formal verification within the semantic multi-language framework DimSum. He holds a Bachelor's degree from Saarland University. Education: Bachelor's degree in Computer Science, Saarland University Research Interests: His work integrates formal methods and programming language theory to ensure correctness in complex systems. Key areas include: - Compilation to capability machines - Theoretical foundations of type systems (Calculus of Inductive Constructions) - Semantic analysis for property preservation. Teaching Contributions: Teaching Assistant for courses like Pearls of Functional Programming (2025), Semantics (2023/24), and Mathematics Preparatory Courses (2020–2023) Main Organizer for Introduction to Computational Logic (2023) Research Trends in Publications: His publications emphasize bridging abstract theory (e.g., Kleene-Post theorems) with practical compiler design, leveraging semantic frameworks for rigorous guarantees. Recent work explores computability and reducibility in formal systems. Labs/Teams: Active contributor to the DimSum framework development team.

• Algorithms
• Theory & Logic
• Programming Languages & Verification
• +۴ مورد دیگر

Dip Nag is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on interdisciplinary research areas including algorithms, programming languages, security, and distributed systems. His work spans theoretical foundations and practical applications in cyber-physical systems and social information systems. While specific academic rank details are not explicitly stated, his affiliation with the MPI-SWS Faculty section indicates a senior research role within the institute. No formal educational background, grants, or awards are documented in the provided text. Research interests prominently feature: Cyber-Physical Systems design and verification Security protocols for distributed networks Formal logic in programming language semantics Algorithmic foundations for social computing systems No recent publications or student advising records are listed in the provided materials.

Ludger Paschenمشاهده پروفایل

پژوهشگر

• Phonetics
• Phonology
• Morphology
• +۷ مورد دیگر

Ludger Paschen is a Researcher at the Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS) in Berlin, specializing in the intersection of phonetics, phonology, and morphology. He leads the DFG-funded project AIRAL (Acoustic insights into the root-affix asymmetry across languages) and co-edits the Language Documentation Reference Corpus (DoReCo). His work focuses on cross-linguistic speech databases, prosody, segmental duration, and endangered languages. Education: PhD from University of Leipzig (2018), member of Research Training Group IGRA. Previously held positions as Substitute Professor at University of Potsdam and PostDoc at Max Planck Institute for the Science of Human History (Jena). Key research areas include: speech corpora design, acoustic analysis of morphological structure, prosodic phrasing, and the phonology-morphology interface. His projects leverage DoReCo to study typological patterns in segmental duration and word-internal pauses. Notable achievements include the 2024 publication of DoReCo 2.0 (53 languages), co-authored Nature Human Behaviour study on consonant lengthening universals, and multiple presentations at major linguistics conferences (ICPhS, DGfS, ICL). Collaborations involve institutions like CNRS, LMU Munich, and Sorbonne University. Teaching experience includes courses on Russian dialects, linguistic theories, and phonological length at Humboldt University and Potsdam University.

Andreea Nicolaeمشاهده پروفایل

پژوهشگر

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

Dr. Andreea Nicolae is Senior Researcher and Research Manager in the ERC project 'Realizing Leibniz's Dream' at Leibniz-Zentrum Allgemeine Sprachwissenschaft, focusing on semantics and pragmatics. She investigates how logical structures are expressed and interpreted across languages. Research examines polarity sensitivity, question semantics, and the grammatical encoding of implicature calculation. Currently leads DFG project CrossConn exploring cross-linguistic expression of logical connectives. Recent publications analyze disjunction interpretation in child language, semantic composition of quantifiers, and experimental approaches to logic in language. Work integrates theoretical linguistics with psycholinguistic experimentation. Teaches advanced topics in quantification and implicature computation. Supervises student research in formal semantics and language acquisition.

Fabienne Salfnerمشاهده پروفایل

پژوهشگر

• syntax
• semantics
• information structure
• +۴ مورد دیگر

Fabienne Salfner is a Researcher at the Leibniz Centre for General Linguistics (ZAS) in Berlin, where she currently serves as Public Relations Officer since May 2019 and manages research data for the ERC project Realizing Leibniz's Dream: Child Languages as a Mirror of the Mind since January 2022. Her academic background includes a Magister in German Linguistics/Computer Science and a PhD from Humboldt-Universität zu Berlin, with dissertation work on adverbials. Her research focuses on the interface of syntax, semantics and information structure, particularly examining the interaction between discourse structure and pragmatics. She specializes in cross-linguistic pragmatics and experimental approaches to linguistic theory, frequently organizing academic events to advance these fields. Her publication record shows consistent engagement with theoretical linguistics, particularly in the analysis of non-conservative linguistic phenomena and discourse structures. Salfner has demonstrated strong organizational capabilities through her roles as co-organizer of the Cross-linguistic Pragmatics workshop (2017), DGfS Summer School on Experimental Pragmatics (2019), and the upcoming Linguistic Open Access Series kick-off event (2025). Her editorial work on ZAS research reports demonstrates institutional leadership in documenting and disseminating linguistic research findings. Public Relations Officer at ZAS (2019-present) ERC Project Research Data Manager (2022-present) Project Manager for SPP 1727 XPrag.de (2014-2022) Researcher for Implikaturen und Diskursstruktur project (2011-2013)

• Machine Learning
• Artificial Intelligence
• Stochastic Games
• +۵ مورد دیگر

Xian Chen is an active academic researcher with an extensive publication record spanning over 30 years from 1994 to 2025. Their research demonstrates significant contributions across multiple disciplines within computer science, engineering, and applied mathematics. The publication pattern indicates sustained scholarly activity at a high level, with numerous papers in top-tier journals and conferences. Chen's research interests span a remarkably diverse range of fields, with particular emphasis on machine learning, artificial intelligence, stochastic processes, and their applications across various domains. Their work bridges theoretical foundations with practical applications, as evidenced by publications in both theoretical journals like SIAM Journal on Control and Optimization and applied venues like IEEE Access . The research portfolio shows evolution from early work in parallel computing and wireless networks toward contemporary AI and machine learning applications. The publication record reveals significant trends in Chen's research trajectory. Early work focused on parallel computing, wireless networks, and database systems. Over time, there's a clear shift toward machine learning applications, optimization techniques, and interdisciplinary work connecting computer science with fields like biomedical engineering, renewable energy, and education technology. Recent publications (2024-2025) show strong focus on large language models, federated learning, hate speech detection, and educational AI applications, reflecting current trends in artificial intelligence research. The consistent output across multiple domains suggests a highly collaborative research approach with numerous co-authors across different institutions. Chen has established productive collaborations with researchers worldwide, as evidenced by the diverse author lists across publications. The research demonstrates both theoretical depth in areas like stochastic games and Markov decision processes, as well as practical applications in fields ranging from medical diagnostics to renewable energy systems. The interdisciplinary nature of the work indicates versatility in applying computational methods to solve domain-specific problems.

• Ecology
• Biochemistry
• Mathematics
• +۴ مورد دیگر

Bob M. Oscar is a Professor affiliated with the VIVO Demo Instance. His academic work spans multiple disciplines including Ecology, Biochemistry, Mathematics, Medical Sciences, Library Science, Materials Science, and Statistics. Dr. Oscar's research interests focus on ecological systems, mathematical modeling, medical sciences, and information systems. His work demonstrates interdisciplinary approaches that bridge traditional academic boundaries, with particular emphasis on marine ecology, cellular biology, and data science applications across multiple domains. Analysis of his publication record shows consistent research output from 1979 through 2016 across prestigious journals including Science, Nature, Cell, Journal of Ecology, New England Journal of Medicine, and Acta Mathematica. His work demonstrates a pattern of interdisciplinary research with connections between biological systems, mathematical modeling, and information science. Dr. Oscar has collaborated with researchers across multiple institutions, with co-authors including Lauren K. Hermann, Izzy F. Laon, Xerxes Yiola, Sara R. Nunes, Kristi V. Ithimore, and Pedro N. Oscar. His 1996 publication in the Journal of Biochemistry covered diverse subject areas including Baseball, British Royal Navy, Cubism, and Obstetrics, highlighting his interdisciplinary approach.

• Algorithms
• Theory & Logic
• Programming Languages & Verification
• +۴ مورد دیگر

David Swasey is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on formal methods, programming languages, and system security. His work spans theoretical foundations of verification, secure compilation, and language design, with contributions to frameworks like Iris for concurrent reasoning and formal modeling of mobile systems. Research interests include algorithms, logic, cyber-physical systems, and distributed networks. His publications address challenges in robust verification, object-capability patterns, and enhancing security in systems like Android. He has explored modular compilation for Standard ML and cross-domain security protocols. Publications highlight a trajectory from foundational type system research to applied security solutions, with an emphasis on formal methods bridging theory and practice. No awards or grants are explicitly mentioned in the provided text.

Petra Isenbergمشاهده پروفایل

استاد پژوهش

• Information Visualization
• Visual Analytics
• Human-Computer Interaction
• +۲ مورد دیگر

Dr. Petra Isenberg serves as a Research Director (DR2) at INRIA, leading the AVIZ research group and affiliated with the University of Paris-Saclay. Her research specializes in information visualization, visual analytics, and human-computer interaction, with particular focus on mobile and embedded visualization techniques. She teaches courses on Information Visualization and Visual Analytics at Université Paris-Saclay. Her recent work has earned honorable mentions at IEEE VIS 2024 for papers on perceived readability evaluation and speech interaction in collaborative analytics. Additionally, she received the IEEE SciVis Test of Time Award (2012) for her contributions to 3D point cloud visualization techniques. Current research explores glanceable visualizations for older adults, situated visualization in motion, and modeling register variation in semantic change.

Federico Nanniمشاهده پروفایل

پژوهشگر

• Natural Language Processing
• Information Retrieval
• Digital Humanities
• +۳ مورد دیگر

Dr. Federico Nanni is a Researcher at the University of Mannheim's Data and Web Science Group. His work focuses on applying Natural Language Processing (NLP) and Information Retrieval (IR) techniques to Digital Humanities and Computational Social Science, particularly in analyzing political communication, historical texts, and interdisciplinary research. His research spans topics such as event modeling in historical documents, election intervention analysis, and computational methods for evaluating interdisciplinarity in academic contexts. His research interests include political text scaling, computational semantics, and the application of NLP to historical studies. He has contributed to projects such as event-based access to war memoirs and methodologies for reconstructing digital archives. His work bridges computational methods with social and historical inquiry, emphasizing interdisciplinary approaches. Dr. Nanni has published extensively on topics ranging from political communication during the German refugee crisis to computational analysis of university histories. His articles reflect a consistent focus on leveraging computational tools to address complex societal and historical questions. Despite no listed awards, his contributions to digital humanities and computational social science are well-recognized within his field. He is affiliated with the Data and Web Science Group at the University of Mannheim, where he collaborates on projects that integrate NLP and IR with humanities and social science research. No information is explicitly provided regarding student advising or grants, though his research collaborations imply active engagement in academic networks.

• Business Process Management
• Blockchain Technology
• Decision Support Systems
• +۳ مورد دیگر

Stephan Haarmann is a doctoral researcher at the Digital Engineering Faculty (DEF) of the University of Potsdam and the Hasso Plattner Institute. His research focuses on transparent business process management, decision support systems, and blockchain applications. He completed his Master's degree in IT Systems Engineering at DEF in 2018 and began his PhD in 2018. His work addresses challenges in knowledge-intensive processes, case management, and data-driven compliance, with contributions to frameworks like fragment-based case models and DMN integration with blockchain. Awarded the 2019 Graduate Award for his master's thesis on decision-aware compliance checking. Published extensively on topics including process modeling, blockchain for decision execution, and data-object cardinality constraints. Developed tools like fcm-js for fragment-based case management. His research emphasizes system-wide integration of IT solutions with organizational processes, leveraging blockchain for transparency and formal methods for compliance verification. Key areas include decision modeling (DMN), flexible process choreography, and knowledge worker objectives.

Laura Gärtnerمشاهده پروفایل

پژوهشگر

• computer-mediated communication
• semantics
• cognitive linguistics
• +۴ مورد دیگر

Laura Gärtner is a Doctoral Candidate at the Research Training Group Ambivalent Enmity under the Heidelberg Centre for Transcultural Studies. Her research intersects cognitive linguistics and discourse analysis, focusing on computer-mediated communication. Heidelberg University, Chair of Romance Languages Research Focus: Linguistic enemy representations in 21st-century French Identitarian movements, combining construction grammar with statistical corpus analysis. Examines syntactic structures in multi-media corpora (music, literature, social media). Key Contributions: Published on digital enemy constructions in Telegram channels and data normalization practices in Romance studies. Active in conference presentations at international venues like the 10th CMC-Corpora and the 9th World Congress of French Linguistics.

Marie Luise Heuschkelمشاهده پروفایل

پژوهشگر

• Anthropology
• Forensic Science
• Digital Forensics
• +۳ مورد دیگر

M.Sc. Marie Luise Heuschkel is a Scientific Associate at Mittweida University of Applied Sciences, working within the Faculty of Applied Computer and Biosciences in the Digital Forensics department. She conducts research, teaching, and casework in the Forensic Science Group and the FoSIL (Forensic Science Investigation Lab) research group. Her academic journey spans anthropology, forensics, and digitalization, creating a unique interdisciplinary profile. Ludwig Maximilian University of Munich (Doctorate, current) Mittweida University of Applied Sciences (Doctorate, current) Brandenburg University of Technology Cottbus-Senftenberg (M.Sc. Forensic Sciences and Engineering, 2014-2016) Oxford Brookes University (B.Sc. Anthropology, 2010-2013) Heuschkel's research focuses on the intersection of anthropology, forensics, and digitalization/computer science. She emphasizes the holistic approach of anthropology and the analytical tools provided by forensics to recognize connections and reconstruct facts. Her work explores how digitalization and computer science can leverage the full potential of both anthropology and forensics, creating a niche at this interdisciplinary interface. She is particularly interested in meta-competencies for scientific success and how these skills can prepare students for professional life and lifelong learning. Her recent publications reveal a strong focus on interdisciplinary approaches, particularly the integration of anthropology with digital forensics and AI tools. She has been actively exploring how artificial intelligence can support literature research while maintaining scientific rigor, as well as advocating for the importance of anthropology in contemporary research contexts. Her work consistently emphasizes practical applications and the development of transferable skills. Heuschkel is actively involved in teaching, with a focus on making complex content accessible to all students. She emphasizes developing skills for independent exploration of issues and solution development rather than focusing solely on grades. Her teaching philosophy centers on preparing students for professional life and lifelong learning. She works within the Forensic Science Group and the FoSIL (Forensic Science Investigation Lab) research group at Mittweida University, where she conducts research, teaching, and casework. Her interdisciplinary approach bridges anthropology, forensics, and digital technologies, creating unique research opportunities at this intersection.

• AI and EdgeAI
• Automated Driving
• Sensor Fusion and Mapping
• +۳ مورد دیگر

Markus Hahn is a Professor of Electrical Engineering at Technische Hochschule Ulm (THU). He serves as a Member of the Senate and Head of the Internship Office within the Faculty of Electrical Engineering. His expertise spans AI-driven edge computing, automated driving systems, radar scene understanding, and software engineering. Hahn holds a Dr.-Ing. from Bielefeld University and has extensive industry experience with Bosch, Daimler, and Continental. His research focuses on safe autonomous systems, sensor fusion, and distributed algorithms. He has supervised four PhD students and led grants such as the BMBF-funded MIKE project. Notable awards include the DAGM Young Talent Award (2007) and CMIM 2018 Best Paper Awards. Education: PhD in Computer Science, Bielefeld University (2010) Diploma in Cognitive Robotics, Ilmenau University of Technology (2007) Research Interests: Combining edge AI with radar technology to enable real-time environmental perception for autonomous systems. Specializes in sensor fusion, radar data interpretation, and distributed software architectures. Grants: Ongoing: MIKE - Enhancing Inclusion via Edge AI Completed: AdaptIVe (EU), interactIVe (EU), UR:BAN (BMWi) Awards: Multiple best-paper recognitions at IEEE conferences and industry-driven research excellence awards.

Achim Rettingerمشاهده پروفایل

استاد

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

Achim Rettinger is a full professor at Trier University, leading the research group krAil (Knowledge Representation Learning). He specializes in machine learning, natural language understanding, and human-centered AI. His work focuses on expressive knowledge representations and their applications in semantic technologies. Education: Studied Computer Science at Universität Koblenz (Germany), University of Georgia (USA), and University of Alberta (Canada). PhD in machine learning at TU Munich/Siemens AG, followed by habilitation at KIT (2016). Served as interim professor at Karlsruhe Institute of Technology (2018/19). Research interests include knowledge graphs, cross-lingual semantic annotation, and data-driven analysis in political and medical domains. Notable contributions include the X-LiSA framework and work on semantic web technologies. Awards include best paper and challenge awards at ISWC and ESWC conferences. Leadership roles include senior PC member at ISWC, track chair at ESWC, and membership in AI for Good Foundation. Active in EU projects, DFG grants, and large-scale collaborative initiatives. Key projects: BreXearch (cross-lingual Brexit analysis), xLiMe System (semantic search), and medical decision support systems for liver surgery. Collaborates with interdisciplinary teams on cognition-guided surgery and data integration. Publications span top venues like ISWC, NeurIPS, ICLR, and CVPR, with a focus on semantic web, machine learning, and applied AI solutions.