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

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
• +۳ مورد دیگر

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
• +۳ مورد دیگر

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
• +۵ مورد دیگر

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

Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.

• Formal Methods
• Interactive Theorem Proving
• Program Verification
• +۹ مورد دیگر

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
• +۳ مورد دیگر

Dr. Pascal Reuss is a Researcher at the Intelligent Information Systems (IIS) Division within the Institute of Computer Science , University of Hildesheim . His work focuses on Case-Based Reasoning (CBR) systems, Multi-Agent Systems , and Knowledge Management applications. Active in CBR framework development and game-based AI research Teaching Computer Science III (Databases) for winter 2025/26 Participating in university sustainability initiatives like Stadtradeln 2024/25 Reuss contributes to AI education through practical implementations in gaming environments and has developed visualization tools for CBR agent behavior. His research spans multi-agent collaboration , dynamic case bases , and domain-specific language implementations for knowledge maintenance. Notable contributions include: Co-developing the FEATURE-TAK framework for knowledge extraction Designing case factories for distributed CBR systems Implementing finite state machines for tactical game agents Creating CBR-based fitness planning systems His work appears in various CBR and Game Development publications from 2011-2024. The research demonstrates practical applications of CBR in aircraft maintenance diagnostics , training plan generation , and educational technology contexts.

• Case-Based Reasoning (CBR)
• Artificial Intelligence
• Multi-Agent Systems
• +۴ مورد دیگر

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research focuses on developing software tools and methodologies to enhance programmer productivity and software quality, with expertise in Software Engineering, Programming Languages, and Formal Methods. Education: B.Tech from Indian Institute of Technology, Kanpur M.S. and Ph.D. in Computer Science from University of Illinois at Urbana-Champaign Research Focus: Professor Sen pioneers automated testing techniques including concolic testing and DART (Directed Automated Random Testing). His work bridges formal methods with practical software development, emphasizing bug detection, program synthesis, and AI-driven software analysis tools. Recent innovations include machine learning approaches for code recommendation and fuzzing. Publication Trends: His recent publications (2019-2023) demonstrate strong emphasis on fuzzing techniques, program synthesis, and AI/ML applications in software engineering. Notable domains include smart contract security, automated testing, and developer tooling, with frequent collaborations in top-tier conferences. Awards and Honors: NSF CAREER Award (2008) Sloan Foundation Fellowship (2011) IFIP TC2 Manfred Paul Award (2010) Okawa Foundation Research Grant (2015) Multiple ACM SIGSOFT Distinguished Paper Awards UIUC Distinguished Alumni Educator Award (2014) Leadership: Active program committee member for premier conferences (PLDI, ICSE, ISSTA) and keynote speaker. His research is supported by NSF, Okawa Foundation, and Sloan Foundation.

• Software Engineering
• Programming Languages
• Formal Methods

L. Thomas van Binsbergen is a Professor in the Department of Computer Science & Computer Engineering at the University of Wisconsin-La Crosse, affiliated with the College of Science & Health. His work focuses on language design, formal methods, and policy-based systems. His research explores Executable formal specifications of programming languages Modular meta-language frameworks (e.g., iCoLa+, eFLINT) Data-dependent grammars for network protocols Purpose-based access control derived from GDPR Functional parsing algorithms (GLL, Happy-GLL) Policy enforcement in distributed systems Recent publications (2020-2025) demonstrate trends in language parametric design, security policy formalization, and exploratory programming environments. Notable collaborations include Damian Frölich, Tim Müller, and Tom M. van Engers. Van Binsbergen earned his PhD from Royal Holloway, University of London (2019) and contributes to conferences like GPCE, SLE, and workshops on programming language theory and data security.

• Programming Languages
• Software Engineering
• Formal Methods
• +۳ مورد دیگر

PD Dr. phil. Evangelia Kordoni is a research assistant at Humboldt University of Berlin's Faculty of Linguistics and Literary Studies, specifically within the Institute for English and American Studies. Her office is located at Dorotheenstraße 28, Room 3.04, and she can be contacted via email for appointments. She is an active researcher in computational linguistics with a focus on grammar engineering and natural language processing. Kordoni's research primarily explores: Computational linguistics frameworks including HPSG grammar implementation Multiword expression processing and machine translation systems Treebank development for languages including English, German and Bulgarian Lexical acquisition methods for large-scale grammars Semantic parsing and disambiguation techniques Her work bridges theoretical linguistics with practical NLP applications. Kordoni's publication record shows consistent focus on deep linguistic processing, with recent emphasis on: Multiword expression analysis in machine translation systems Parallel treebank development for multilingual applications Verb subcategorization and compound noun disambiguation Dynamic annotation methodologies for Wall Street Journal texts Cross-linguistic studies of Germanic syntax

• Computational Linguistics
• Natural Language Processing
• Grammar Engineering
• +۳ مورد دیگر