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

Prof. Stefan Müller is a Professor at the Institute for German Language and Linguistics , part of the Faculty of Languages and Literature at Humboldt University. His research focuses on syntax, formal grammar theories (especially Head-Driven Phrase Structure Grammar), and computational linguistics. He leads the CoreGram Project , developing cross-linguistic grammars using HPSG formalisms. His work includes analyses of German syntax, constituent order, anaphoric binding, and register phenomena. He is also involved in open-access publishing initiatives through Language Science Press . Contact: St.Mueller@hu-berlin.de . Education and academic background details are not explicitly stated in the provided text, but his professional trajectory indicates deep expertise in theoretical linguistics. His research spans multiple languages including German, Mandarin, and Persian, with a focus on grammar implementation and syntax-semantics interfaces. Key contributions include the Head-Driven Phrase Structure Grammar Handbook (2024), analyses of headless nominal structures in German (2022), and exploration of large language models' theoretical implications (2024). He actively engages in interdisciplinary projects bridging formal grammar and computational methods.

• German Linguistics
• Syntax
• Formal Grammar
• +۳ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +۳ مورد دیگر

Prof. Dr. Pia Knoeferle is a leading academic at Humboldt-Universität zu Berlin , where she serves as a Professor in the Department of German Language and Linguistics . She is a principal investigator in the Collaborative Research Center (CRC 1412) focused on register phenomena and leads the Reaction Time, Eye-tracking, and EEG Laboratories . Her research spans psycholinguistics , cognitive neuroscience , and computational modeling of language , with a central interest in how real-time language comprehension interacts with social context , formality-register congruence , and morphosyntactic processing . Appointments: Professor at Humboldt-Universität (2024), CRC 1412 member Methodologies: Eye-tracking, EEG, Visual World Paradigm, ERP Her work investigates lifespan language processing (children, adults, older adults) through contextual cue integration , including emotional , spatial , and social context such as gender cues , eye gaze , and facial expressions . Key questions include: How do pragmatic and contextual factors modulate lexical and grammatical processing ? What representations underlie register sensitivity in spoken and written comprehension ? Recent articles (2022-2024) focus on register congruence effects in German sentence processing, age-related differences in formality-register anticipation , and interactions between register and morphosyntactic knowledge . Using eye-tracking and visual world paradigms , her team examines incremental integration of socially-situated context with verb-argument relations and grammatical constraints . Findings suggest subtle late-stage register effects and interference between pragmatic and syntactic processing . Her lab collaborates with researchers like Katja Maquate , Valentina Nicole Pescuma , and Camilo Ronderos , contributing to the Frame text of the Second Phase Proposal for CRC 1412 (2020) and subsequent reviews in Frontiers in Psychology (2023). The work emphasizes complementary methods to model register variability across languages , modalities , and cultural contexts .

• Psycholinguistics
• Language Processing
• Register Studies
• +۷ مورد دیگر

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.

• Computational Linguistics
• Natural Language Processing (NLP)
• Dependency 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.

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

Jonas Kuhn is a professor at the Institute for Natural Language Processing (IMS) at University of Stuttgart. He is working at the interface between language and computers, combining linguistics and computer science. Kuhn's research interests span a wide range of computational linguistics topics including: Language models and spatial reasoning Analysis of large language models (LLMs) through linguistic theories Political text analysis and discourse networks Computational approaches to literature and cultural studies Retrieval-augmented language modeling Semantic change detection Dependency parsing and syntactic analysis His recent publications (2023-2025) focus on the intersection of neural language processing with fields as diverse as spatial reasoning, literary analysis, and political discourse. This reflects his interdisciplinary approach that bridges fundamental language research with practical technology development. As a faculty member at one of Germany's largest computational linguistics centers, Kuhn contributes to both fundamental research and technological development in language processing systems.

• Computational Linguistics
• Natural Language Processing
• Large Language Models
• +۵ مورد دیگر

Prof. Daniel Große serves as Professor at the Institute for Complex Systems (ICS) within Johannes Kepler University Linz, Austria, while maintaining a dual affiliation with the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research centers on Electronic Design Automation (EDA), specializing in verification, debugging, and synthesis of complex hardware/software systems through advanced virtual prototyping techniques. His primary research domains include Formal Verification , Hardware Verification , and Virtual Prototyping , with significant contributions to RISC-V architecture development and embedded systems validation. Current projects like PaSVer (automotive electronics), AUTOASSERT (analog-digital verification), and VerSys (RISC-V software platforms) demonstrate his focus on bridging simulation and formal methods for safety-critical applications. Recent publications reveal accelerating trends in metamorphic testing for embedded graphics libraries and RISC-V vector extensions, alongside innovations in waveform analysis tools like Surfer. His work increasingly integrates AI-assisted verification while maintaining rigorous formal methods foundations. Prof. Große actively supervises student research, having guided Lucas Klemmer's PhD thesis and nine Bachelor theses on topics ranging from RISC-V processor design to transaction visualization. His projects including SATiSFy (autonomous vehicle security) and CONVERS (complex system design automation) secure substantial research funding from academic and industry partners. He leads the Institute for Complex Systems' development of open-source tools such as RISC-V VP++ and contributes to international standards through program committee roles at DATE, ICCAD, and RISC-V Summit Europe.

• Formal Verification
• Hardware Verification
• Electronic Design Automation
• +۳ مورد دیگر

Anna Sander serves as a Lecturer in Polish at the University of Regensburg's Institute of Slavic Studies since 2002, teaching language courses from beginner to advanced levels including translation, grammar, and cultural studies. Her academic background includes: 1981-1985: General Education Lyceum, Nowy Targ (high school diploma) 1986-1991: Polish Philology studies at Jagiellonian University, Krakow 1991: Magistra Artium examination Her professional focus centers on practical language instruction, with teaching history spanning the Polonia Institute in Krakow (1991-1997) and Carl von Ossietzky University of Oldenburg (1997-2002) prior to Regensburg. Current responsibilities include designing curricula for German-Polish translation and intercultural communication courses across multiple semesters through 2025/2026. As Polish editor for institute publications, she maintains active teaching engagement through office hours by appointment via Zoom or phone, operating from Building PT, Room 3.3.10.

• Polish Language Pedagogy
• German-Polish Translation
• Slavic Cultural Studies
• +۳ مورد دیگر

Irena Koprinska is a prominent researcher at the University of Sydney with over 150 publications from 1996 to 2025. Her work spans multiple interdisciplinary domains with significant contributions to machine learning applications in educational technology, time series forecasting, and health informatics. She maintains strong research collaborations, particularly with Kalina Yacef (38 joint publications), Mashud Rana (26 papers), and Bryn Jeffries (22 papers), indicating leadership in her research group. Her research interests focus on practical applications of machine learning across diverse domains. In educational data mining, she has pioneered methods for predicting student performance in programming courses, analyzing syntax errors, and developing automated hint generation systems. Her work in time series forecasting has made significant contributions to solar power prediction using advanced neural network architectures. Additionally, she has applied machine learning techniques to medical domains, particularly in sleep disorder detection and analysis. The analysis of her 15 most recent publications (2022-2025) reveals a continued focus on educational technology and time series analysis, with increasing attention to interpretable methods and health applications. Her work demonstrates a consistent trajectory of applying sophisticated machine learning techniques to solve real-world problems across multiple domains, with particular emphasis on creating practical tools for education and renewable energy management. Notable Research Contributions: Development of the HINTS framework for automated programming hint generation Innovative approaches to multistep-ahead time series forecasting Applications of deep learning to sleep disorder detection Methods for predicting student performance in programming education Her publication record in top venues including Machine Learning journal, AIED, EDM, and IJCNN demonstrates significant impact in both machine learning and educational technology communities. The consistent output of high-quality research over nearly three decades indicates sustained scholarly productivity and leadership in her fields of expertise.

• Machine Learning
• Educational Data Mining
• Time Series Forecasting
• +۵ مورد دیگر

Prof. Gerhard Jäger holds the Chair of General Linguistics at the Faculty of Humanities, University of Tübingen . He serves as a Principal Investigator (PI) in the Clusters of Excellence Human Origins and Machine Learning for Science , and leads projects like Phylomilia (funded by Volkswagen Foundation) and CrossLingference (ERC Advanced Grant). His career spans multiple institutions, including Bielefeld University (2004-2009) and Stanford University (visiting scholar, 2004). Habilitation (2002) at Humboldt University Berlin with thesis on Anaphora and Type Logical Grammar PhD (1996) at Humboldt University Berlin on Dynamic Semantics His research bridges computational linguistics , phylogenetic analysis , and game theory , focusing on Bayesian models , language evolution , and cross-linguistic typology . Recent work explores phylogenetic inference from acoustic speech data and geographic influences on language trees . Key contributions include 15+ recent publications on topics spanning phylogenetic typology , cognate detection , and Bayesian language modeling . These works employ machine learning , statistical inference , and evolutionary game theory to analyze language change , typological variation , and linguistic stability . Honors include ERC Advanced Grant , Volkswagen Foundation funding , and DFG-Humanities Centre for Advanced Studies participation. He has taught courses in Computational Historical Linguistics , Phylogenetic Methods , and Bayesian Data Analysis across institutions like Tübingen, Bielefeld, and Stanford. He actively contributes to academic communities through workshop organization (e.g., Quantitative Theoretical Linguistics , Game Theory in Pragmatics ) and serves on the faculty council at Tübingen. His team collaborates with institutions like Max Planck Institute for Evolutionary Anthropology , University of Pennsylvania , and LMU Munich .

• Computational Linguistics
• Historical Linguistics
• Phylogenetic Linguistics
• +۸ مورد دیگر

Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.

• Software Engineering
• Programming Languages

Prof. Dr. Andrea Dreyer is a full-time Professor of Art and its Didactics at the Bauhaus University Weimar , where she has served since 2013. She is Vice Dean for Strategic Development within the Faculty of Art and Design and actively participates in academic governance, including roles in graduation committees, teacher training advisory boards, and curriculum commissions. Her research focuses on teacher professionalization, architectural pedagogy, and digital art education, emphasizing interdisciplinary approaches and qualitative social research methodologies. First and Second State Examination for Teaching at Grammar Schools in Art Education and Social Studies (1994–2000, 2004–2006) Andrea Dreyer’s publications span topics such as Bauhaus-inspired pedagogy, urban-rural spatial education, and digital integration in art teaching. She has led initiatives like DigiProSMK and Denkraum.Bauhaus , and her work often bridges art, architecture, and societal transformation. She has served as Dean of Studies and Vice-Rector for Studies and Teaching at Bauhaus University, advocating for phase-transcendent teacher networks and reflective professional practices. Her recent articles address participatory architectural psychology, interdisciplinary curriculum design, and digitalization in art education. Despite extensive committee involvement and editorial contributions, no specific scientific awards are highlighted in the provided texts. She mentors students and collaborators within the kunst:pädagogik | netz:werk platform and maintains active partnerships with institutions like the Thuringian Ministry of Education and Friedrich-Schiller University Jena.

• Art Education
• Didactics
• Teacher Professional Development
• +۵ مورد دیگر

Prof. Dr. Frank Kammerzell is a Professor at the Department of Archaeology and Cultural History of Northeast Africa within Humboldt University of Berlin since May 2003. His academic career includes habilitation at the University of Göttingen (1999) and extensive research collaborations with Hebrew University of Jerusalem and University of Vienna. His educational background encompasses Medieval and Modern History (major 1980), Egyptology (major), Coptic Studies, General and Indo-European Linguistics, and Assyriology. He earned his Dr. phil. from Göttingen with a dissertation on 'Studies on the Language and History of the Carians in Egypt' (1990) and completed habilitation with 'Language contact and language change in ancient Egypt' (1999). Kammerzell's research spans Egyptian phonology, morphology, syntax, lexis, language history, diachronic typology, language contact, writing systems, and Carian history in Egypt. His work integrates linguistic analysis with archaeological contexts, examining language evolution through contact and typological shifts. Notable projects include studies on Egyptian-Akkadian typological developments and classifiers in ancient Egypt. His publications since 2000 demonstrate sustained focus on Egyptian linguistic structures, writing systems, and cross-linguistic influences. Key themes include verb classifiers, glossing rules for Ancient Egyptian, and lexical semantics-pragmatics interfaces, bridging Egyptology with broader linguistic theory. Graduate Scholarship from the State of Lower Saxony (Doctoral Scholarship) 1987-1989 Kammerzell has led significant research projects funded by the DFG, Fritz Thyssen Foundation, and Volkswagen Foundation. His collaborative work with institutions in Jerusalem and Göttingen highlights international partnerships. While specific advisees aren't listed, his editorial roles suggest mentorship in academic publishing. He co-founded research groups on multilingualism and script systems, contributing to journals like Lingua Aegyptia and Ägypten und Levante , underscoring team-based archaeological-linguistic research.

• Phonology
• Morphology
• Syntax
• +۸ مورد دیگر

Jürgen Cito is an Associate Professor with tenure at Vienna University of Technology (TU Wien), specializing in software engineering, explainable AI, and performance engineering. He leads research at the IPA Lab (as indicated by his personal website) and maintains a visiting researcher position at Google. His academic journey began with joining TU Wien as an Assistant Professor in Spring 2020, with promotion to Associate Professor announced in April 2024. His research interests span multiple critical areas of modern software development, with particular focus on developer experience, program comprehension, and the intersection of AI with software engineering practices. His work bridges theoretical foundations with practical industrial applications, as evidenced by collaborations with major technology companies. Analysis of his recent publications reveals a strong emphasis on practical tools and methodologies that enhance software quality, performance, and security. His research trajectory shows increasing focus on explainable AI techniques applied to software engineering problems, performance prediction from source code, and automated security testing approaches that leverage large language models. best teaching award for distance learning for Web Engineering (2020) Cito actively contributes to the software engineering community through numerous conference committee roles, including program committee positions at ASE, ICSE, ESEC/FSE, and other major venues. His lab appears to focus on developer tools, program analysis, and AI-assisted software engineering, with connections to both academic and industrial research environments.

• Software Engineering
• Explainable AI
• Performance Engineering
• +۳ مورد دیگر