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

Björn Brandenburgمشاهده پروفایل

پژوهشگر

• Real-Time Systems
• Scheduling Algorithms
• Real-Time Operating Systems
• +۵ مورد دیگر

Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.

• Computer Architecture
• Non-Volatile Memory Systems
• Deep Learning Systems
• +۳ مورد دیگر

Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.

• Finite Model Theory
• Graph Structure Theory
• Computational Complexity
• +۳ مورد دیگر

Kord Eickmeyer is a Lecturer at Technische Universität Darmstadt in the Department of Mathematics, specializing in the mathematical logic group. He holds a PhD in mathematics from Humboldt University Berlin and has held postdoctoral positions at TU Darmstadt (2011–2017) and the National Institute of Informatics in Tokyo (2011–2013). His research focuses on finite model theory, graph structure theory, and computational complexity, particularly in descriptive and parameterized complexity, as well as randomization and derandomization techniques. Research interests include exploring the boundaries of computational complexity through logical frameworks, analyzing graph structures for efficient algorithm design, and investigating the role of randomness in computation. His work bridges theoretical computer science and mathematical logic, with applications in algorithm design and formal methods. Publications span topics from model-checking on ordered structures to gap-planar graphs and randomized logics. Collaborations include prominent institutions like the National Institute of Informatics and Humboldt University Berlin. No scientific awards are explicitly listed, but his extensive academic contributions reflect a strong research trajectory. Advising and grants are not detailed in the provided text, though his academic career includes supervision roles during his PhD and postdoctoral phases. His involvement with the mathematical logic group at TU Darmstadt highlights collaborative research efforts in foundational areas of computer science and mathematics.

• Computer Science
• Software Engineering
• Artificial Intelligence
• +۵ مورد دیگر

Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.

Øyvind Eideمشاهده پروفایل

استاد

• Digital Humanities
• Cultural Heritage Informatics
• Spatial Information Modeling
• +۵ مورد دیگر

Prof. Dr. Øyvind Eide is a Professor in Digital Humanities at the University of Cologne, affiliated with the Department of Digital Humanities under the Faculty of Arts and Humanities. He holds a PhD in Digital Humanities from King’s College London (2013). His research focuses on transformative digital intermedial studies, critical spatial formalization of cultural heritage information, and the relationship between texts and maps as media. He previously served as Chair of the European Association for Digital Humanities (EADH) from 2016–2019 and is actively involved in ICOM’s CIDOC committee. Eide’s work bridges theoretical and practical dimensions of digital humanities, emphasizing spatial analysis, ontology modeling, and interdisciplinary methodologies. His academic contributions include seminal works on network visualization in humanities, cultural heritage ontologies, and the application of critical formalization in media studies. Current research explores the interplay between verbal and spatial expressions of geography in historical narratives. Eide teaches courses such as 'Modelling and Digital Maps' and 'Digital Cultural Heritage,' reflecting his commitment to both research and education. Notable projects include the Ibsen Manuscripts digitization initiative, the GeoModelText tool for spatial narrative analysis, and contributions to archaeological document interconnection through the CIDOC CRM framework. He is Vice Director of the Scholarly Platform: Reflecting and Shaping the Digital Age at the University of Cologne.

Manfred Drosteمشاهده پروفایل

استاد

• Theoretical Computer Science
• Automata Theory
• Logic
• +۶ مورد دیگر

Manfred Droste is a Professor at the Institute of Computer Science of the University of Leipzig, where he leads the Research Group on Automata and Formal Languages. He serves as Director of the Graduate Centre Mathematics, Computer Science and Natural Sciences and is Vice-speaker of the DFG-Research Training Group Quantitative Logics and Automata. His academic career spans decades of research and leadership in theoretical computer science and algebra. Prof. Droste's research focuses on theoretical computer science, particularly automata theory, logic, algebraic models for concurrent systems, and domain theory. In algebra, his interests include model theory, automorphism groups, and ordered algebraic structures. His work bridges theoretical foundations with practical applications in formal language theory and quantitative systems. His extensive publication record demonstrates a consistent focus on weighted automata, formal languages, and their logical characterizations. Over the years, his research has evolved to address increasingly complex quantitative models, with recent work focusing on weighted complexity classes, weighted linear dynamic logic, and decidability boundaries for weighted automata. Prof. Droste has received significant recognition including election to Academia Europaea, an honorary doctorate from Immanuel Kant Baltic Federal University, and fellowship in the Asia-Pacific Artificial Intelligence Association. These honors reflect his substantial contributions to theoretical computer science. He has supervised numerous PhD students including Dietrich Kuske, Paolo Boldi, and Karin Quaas, many of whom have become prominent researchers. His extensive grant portfolio includes multiple DFG projects on weighted automata and international collaborations through DAAD funding. Prof. Droste leads a vibrant research team including Andrea Hesse, Karin Quaas, Erik Paul, and others. He has organized the international workshop series "Weighted Automata: Theory and Applications" since 2002, fostering global collaboration in this specialized field.

• Computational Linguistics
• Natural Language Processing (NLP)
• Dependency Parsing
• +۵ مورد دیگر

Joakim Nivre is a Professor at Uppsala University's Department of Linguistics and Philology. He is a leading researcher in computational linguistics, with a focus on dependency parsing, Universal Dependencies (UD) framework development, and multilingual NLP applications. His recent work explores LLMs in climate change discourse analysis, pharmacovigilance explainability, and historical text processing. Key research areas: Dependency parsing theory, Universal Dependencies standardization, LLM evaluation Collaborations: SweSAT-1.0 benchmark development, ClimateEval project, PARSEME integration His 2025-2023 publications demonstrate expertise in explainable AI for healthcare, synthetic data generation for idioms, and multilingual benchmark design. Notably, he co-developed SweSAT-1.0 to evaluate Swedish LLMs and contributed to typology-informed UD revisions. Despite extensive work in NLP, no scientific awards are mentioned in available texts.

Todd Millsteinمشاهده پروفایل

استاد

• Software Reliability
• Network Verification
• Programming Languages
• +۵ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

• Embedded Systems
• Real-Time Systems
• Cyber-Physical Systems
• +۷ مورد دیگر

Marco Caccamo is a Professor at the Technical University of Munich (TUM) , holding the Chair of Cyber-Physical Systems in Production Engineering within the Faculty of Mechanical Engineering. He is also a Principal Investigator and Professor at the Department of Computer Science, with courtesy appointments in Electrical and Computer Engineering, Coordinated Science Lab (CSL), and Aerospace Engineering at the University of Illinois at Urbana-Champaign (UIUC). His research spans Embedded Systems , Real-Time Systems , and Cyber-Physical Systems (CPS) , focusing on resource management, reinforcement learning architectures, and 6D pose recognition for robotics. University of Pisa (B.Sc., 1997) Scuola Superiore Sant'Anna (Ph.D., 2002) Research highlights include predictable resource management on heterogeneous platforms, security frameworks for AI-based controllers , and UAV testbed development . His work integrates deep learning and real-time constraints in industrial applications like avionics, farming, and automotive systems. His 15 most recent publications emphasize cache optimization , memory bandwidth regulation , and reinforcement learning for CPS , with a focus on multi-core processors and DNN inference . Awards include the IEEE Fellow (2018), Alexander von Humboldt Professorship (2018), and multiple Best Paper Awards at RTSS, RTNS, and RTAS. NSF CAREER Award (2003) IEEE Fellow (2018) Alexander von Humboldt Professorship (2018) Best Paper Awards (RTSS 2024, RTNS 2023, ECRTS 2019) He has advised numerous Ph.D. students and postdocs, with a track record in UAV development and industrial collaborations . His lab, the Real-Time and Embedded System Laboratory , focuses on real-time OS and predictable computing .

Jeanette Hofmannمشاهده پروفایل

استاد

• Digitalization and Democracy
• AI and society
• Digital regulation
• +۴ مورد دیگر

Prof. Dr. Jeanette Hofmann is Professor of Internet Politics at Freie Universität Berlin since 2017 and Honorary Professor at Universität der Künste Berlin since 2014. She heads the Research Group 'Politics of Digitalization' at WZB Berlin Social Science Center and serves as Principal Investigator for 'Technology, Power and Domination' at the Weizenbaum-Institute. Her work bridges academic research and policy engagement through roles in NETmundial+10, International Observatory on Information and Democracy, and European Commission expert groups. Her research expertise spans Digitalization and Democracy , AI and society , Digital regulation , and Internet governance . Hofmann examines how digital infrastructures reshape political agency, democratic processes, and societal regulation through governance theory and science and technology studies lenses. Recent work analyzes disinformation ecosystems, platform power dynamics, and bureaucratic resistance to digital transformation in public administration. Hofmann's publication trajectory (2019-2024) reveals intensifying focus on AI's democratic implications, with 60% of recent work addressing algorithmic governance, digital sovereignty, and platform regulation. Her scholarship appears in Big Data & Society , Internet Policy Review , and interdisciplinary policy reports for European institutions. Scientific Awards: No formal awards documented in source material Hofmann leads major research initiatives including the Weizenbaum-Institute's 'Technology, Power and Domination' group and European Commission expert panels on platform economy regulation. Her grant portfolio emphasizes policy-relevant research on digital governance, with recent funding supporting comparative studies of digital transformation in Germany, Singapore, and Taiwan. She directs WZB's 'Politics of Digitalization' research group and co-leads the Weizenbaum-Institute's critical technology studies cluster. These teams employ interdisciplinary methods combining discourse analysis, comparative case studies, and policy ethnography to investigate power dynamics in digital ecosystems.

Peter Schneiderمشاهده پروفایل

استاد

• Arithmetic geometry
• Representation theory
• Cohomology theories
• +۷ مورد دیگر

Prof. Dr. Peter Schneider is a faculty member at the University of Münster, affiliated with the Faculty of Mathematics and Computer Science and the Department of Mathematics and Computer Science . He is a principal investigator in the CRC 1442 Geometry: Deformations and Rigidity and contributes to the Mathematics Münster cluster. University: University of Münster School: Faculty of Mathematics and Computer Science Department: Department of Mathematics and Computer Science Academic Rank: Professor His research focuses on arithmetic geometry and representation theory , particularly the p-adic Langlands program , cohomology theories in mixed characteristics, and noncommutative algebraic structures. He investigates derived categories of p-adic representations, moduli spaces of Galois representations, and geometric approaches to automorphic forms. He has supervised numerous students, including Torsten Schoeneberg (2009), Marten Bornmann (2009), and Marius Kley (2016, 2019). His collaborative works with Rachel Ollivier, Otmar Venjakob, and Marie-France Vigneras explore modular Hecke algebras, Iwasawa theory, and (phi, Gamma)-modules. Emails: pschnei@wwu.de pschnei@uni-muenster.de Workshops Organized: Noncommutative Algebras (2006) Instructional workshop on noncommutative main conjectures (2011) International workshop on K-types for p-adic groups (2003)

Stefanie Jannedyمشاهده پروفایل

پژوهشگر

• Sociophonetics
• Language Register
• Phonetic Variation
• +۴ مورد دیگر

Dr. Stefanie Jannedy is a senior researcher at the Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS) in Berlin, where she has been employed since 2008. She is a Principal Investigator of the DFG project C02 "Variation in Situated Interaction" within the Collaborative Research Center 1412 (CRC 1412) on "Register: Language-Users' Knowledge of Situational-Functional Variation." As a member of the Laboratory Phonology Group, her work focuses on sociophonetic aspects of language variation. Dr. Jannedy's research centers on language register, phonetic variation, and sociolinguistic patterns in speech. Her work particularly examines how situational contexts influence phonetic detail in speech production, with a focus on intra-individual variation. She has developed innovative experimental methods, including smartphone applications like "Plapper" for self-recording speech data in controlled conditions. Her research spans formal and informal speech contexts, examining speech rate, vowel dispersion, filler particles, and other phonetic features that vary systematically across different communicative situations. Analysis of her publication record shows a strong focus on register variation, particularly how speakers systematically adjust their speech across different social contexts. Her work combines experimental methods with corpus-based approaches to investigate fine phonetic detail in relation to situational factors. Recent publications demonstrate increasing interdisciplinary connections between phonetics, sociolinguistics, and cognitive science in understanding register knowledge. Dr. Jannedy has advised several students including Schüppenhauer, Gediminas, Witt, Johannes, and Hong, Nhung-Le. Her research is primarily supported through the CRC 1412 framework, which represents a major collaborative effort in register studies. Her laboratory work involves experimental setups that simulate tele-conference interactions to systematically manipulate social contexts while measuring subtle phonetic differences. This methodological innovation allows for controlled examination of register variation that would be difficult to capture in naturalistic settings.

Alexander Kollerمشاهده پروفایل

استاد

• Computational Linguistics
• Neural-Symbolic Models
• Semantic Parsing
• +۵ مورد دیگر

Professor Alexander Koller is a leading academic in Computational Linguistics at Saarland University's Department of Language Science and Technology. He holds a courtesy appointment in Computer Science and contributes to the Saarland Informatics Campus - one of Europe's premier computer science research centers. He leads the Computational Linguistics group and serves as speaker for the DFG-funded Research Training Group 'Neuroexplicit Models of Language, Vision, and Action'. PhD in Computer Science (Saarland University) Former positions: University of Potsdam, Columbia University, University of Edinburgh Sabbatical experiences: Meta AI (Paris), Allen Institute for AI (Seattle) His research focuses on computational modeling of meaning and reasoning in NLP, combining neural and symbolic approaches. Key contributions include semantic parsing systems like the AM parser and Alto, neurosymbolic models, and the GIVE Challenge for NLG evaluation. His recent work explores LLMs' limitations in problem-solving and compositional generalization. Recent publications highlight diverse applications across semantic parsing, dialogue systems, and LLM evaluation. Awards include ACL 2020 Best Theme Paper and multiple Outstanding Paper recognitions at ACL conferences. 2025 - AI Action Summit keynote speaker 2023 - ACL Outstanding Paper Awards 2022 - ELLIS Faculty appointment He maintains the DialogOS system for spoken dialogue development and teaches advanced computational linguistics topics. His group includes multiple postdocs and PhD students working across LLMs, dialogue systems, and semantic modeling.

Gerd Stummeمشاهده پروفایل

استاد

• Data Science
• Artificial Intelligence
• Formal Concept Analysis
• +۶ مورد دیگر

Gerd Stumme is a Full Professor of Computer Science at University of Kassel , leading the Chair on Knowledge and Data Engineering . He serves as Executive Director of the Research Center for Information Systems Design (ITeG) , director of the International Centre for Higher Education Research (INCHER) , and founding member of the Hessian Institute for Artificial Intelligence (hessian.AI) . His research spans the intersection of Data Science, AI, and Mathematics , focusing on semantic/structural analysis of social networks, concept hierarchies, and mathematical structures (graphs, ordered sets) for knowledge acquisition. He pioneered work on Semantic Web, Web Mining, Social Bookmarking , and Recommender Systems , and has recently revisited mathematical foundations for knowledge representation. Recent publications analyze ordinal motifs in lattices , controversy mapping , and social network structures , with applications to business models, journalism, and AI. His work often integrates graph theory and formal concept analysis . He is a core developer of BibSonomy , a social bookmarking and publication-sharing system, and has contributed to FolkRank and TriAS algorithms for collaborative knowledge management.

Christian Listمشاهده پروفایل

استاد

• Decision-making
• Individual and collective choice
• Preference and judgment aggregation
• +۹ مورد دیگر

Christian List is Professor of Philosophy and Decision Theory at Ludwig Maximilian University of Munich, where he serves as Co-Director of the Munich Center for Mathematical Philosophy (MCMP). Previously, he was Professor of Philosophy and Political Science at the London School of Economics until 2020. His work bridges philosophy, economics, and political science with a particular focus on individual and collective decision-making and the nature of intentional agency. Professor List's research spans multiple interconnected domains: theories of individual and collective choice (particularly social choice theory and judgment aggregation), free will and consciousness, the philosophy of mind and action, and the foundations of the social sciences. His work on group agency, developed in his influential book Group Agency with Philip Pettit, has reshaped debates about corporate entities and collective intentionality. His more recent work on free will, culminating in his book Why Free Will is Real , presents a scientifically grounded defense of free will against reductionist skepticism. His recent publications reveal a sophisticated integration of formal methods with deep philosophical questions, particularly regarding consciousness, probability aggregation, and the relationship between different levels of explanation. List's work consistently demonstrates how mathematical precision can illuminate fundamental philosophical problems while maintaining relevance to broader social and scientific contexts. Scientific Awards and Recognition: Elected Fellow of the British Academy (2014) Member of Academia Europaea (2023) Member of the Bavarian Academy of Sciences and Humanities (2022) Joseph B. Gittler Award from the American Philosophical Association (2020) Philip Leverhulme Prize in Philosophy (2007) 5th Social Choice and Welfare Prize (2010) List has supervised numerous PhD students and early-career researchers, many of whom have gone on to prominent positions in philosophy and related fields. His collaborative work with Franz Dietrich on judgment aggregation has been particularly influential. As Co-Director of the Munich Center for Mathematical Philosophy, he has secured substantial research funding and established MCMP as a leading international hub for formal and mathematical approaches to philosophical problems. Through the Munich Center for Mathematical Philosophy, List leads a vibrant research community that brings together philosophers, economists, political scientists, and mathematicians to tackle foundational questions using rigorous formal methods. The center hosts regular workshops, seminars, and visiting scholars, creating a dynamic intellectual environment that bridges disciplinary boundaries.