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

Eric Van Wykمشاهده پروفایل

استاد

• Programming Languages
• Extensible Languages
• Attribute Grammars
• +۳ مورد دیگر

Eric Van Wyk is a Professor in the Department of Computer Science and Engineering at the University of Minnesota's College of Science and Engineering. His research focuses on programming languages, particularly extensible languages and language tools. He leads the Minnesota Extensible Language Tools (MELT) group and has made significant contributions to attribute grammars, compiler design, and language specification techniques. Professor Van Wyk's research centers on programming languages, especially extensible languages. His team has developed techniques for specifying languages and extensions that add new syntax and semantics to a "host" language. His work focuses on mechanisms guaranteeing that independently-developed domain-specific extensions can be automatically composed into well-defined languages. He has created two major systems: Silver, an attribute grammar specification language enabling highly-modular language specification, and Copper, an integrated parser and context-aware scanner generator that uses parser information to return more discriminating tokens. His publication record shows a clear progression from foundational work on language composition to increasingly sophisticated techniques for metatheoretic reasoning, scope management, and strategic tree rewriting. The research demonstrates a consistent pattern of developing practical tools (Silver, Copper, ableC) alongside theoretical advances in language specification and composition, bridging the gap between formal methods and practical language implementation. Distinguished Paper award at SLE2020 Professor Van Wyk has advised multiple Ph.D. students including Ted Kaminski (2017), Lijesh Krishnan (2012), August Schwerdfeger (2010), Jimin Gao (2007), and Dawn Michaelson (2024). His research has received substantial support from the National Science Foundation through projects such as "FMitF: Track I: ComScaN" (2021-2026), "XPS: EXPL: Enabling An Ecosystem of Parallel Programming" (2016-2021), and "SI2-SSE: Collaborative: Extensible Languages for Sustainability" (2010-2015). He leads the Minnesota Extensible Language Tools (MELT) group, which has developed influential systems for language specification while advancing theoretical understanding of language composition and extensibility. The group's work has established significant contributions to the field of software language engineering with particular expertise in attribute grammars and language composition techniques.

Caroline Lemieuxمشاهده پروفایل

استادیار

• Fuzz testing
• Program synthesis
• Property-based testing
• +۴ مورد دیگر

Caroline Lemieux is an Assistant Professor at the University of British Columbia, specializing in automated software testing and reliability. Her research develops methods for testing, debugging, and improving software correctness through techniques like fuzz testing and program synthesis. She holds a Ph.D. from UC Berkeley advised by Koushik Sen and a B.Sc. in Computer Science and Mathematics from UBC. Research Interests: Dr. Lemieux's work focuses on: Fuzz testing for vulnerability detection Program synthesis using AI/ML approaches Property-based testing frameworks Automated debugging and specification mining Applications of reinforcement learning in test generation Publication Trends: Her recent papers explore large language models for test generation, fuzzing strategies in CI/CD environments, and neural-backed program synthesis. Work consistently bridges theoretical computer science with practical software engineering challenges. Awards: ACM SIGSOFT Distinguished Paper Award Google PhD Fellowship Best Paper Award (Industry Track) Berkeley Fellowship for Graduate Study

• Computational Semantics
• Syntax-Semantics Interface
• Natural Language Processing (NLP)
• +۲ مورد دیگر

Gábor Kata is a Lecturer at INALCO (National Institute of Oriental Languages and Civilizations) in Paris, France. He works within the Computer Science Multilingualism department, contributing to the ERTIM research team . His expertise spans Computational Semantics , Syntax-Semantics Interface , and Natural Language Processing (NLP) . CNU Discipline: 27 - Computer Science Areas of Expertise: Europe Teaching Themes: Lexical Semantics, Computational Semantics, Linguistics for NLP, NLP His research focuses on Computational Semantics and Syntax-Semantics Interface , with particular attention to NLP applications. His scholarly output reveals trends in semantic relation extraction , anomaly detection in text data , and knowledge base population using both supervised and unsupervised learning approaches. This work often employs graph-based methods and vector space analysis across multilingual contexts.

Hossain Muhammad Muctadirمشاهده پروفایل

پژوهشگر

• Digital Twin Technology
• Model Management
• Model-Driven Software Engineering (MDSE)
• +۳ مورد دیگر

Hossain Muhammad Muctadir is a researcher at Eindhoven University of Technology’s Department of Software Engineering and Technology within the School of Mathematics and Computer Science. His work focuses on digital twin technology, model management, and model-driven software engineering. He holds a BSc in Information Technology from the University of Dhaka (2013), an MSc in Software Systems Engineering from RWTH Aachen University (2017), and a Professional Doctorate in Engineering (PDEng) in Software Technology from TU/e (2020). Research Interests: Digital Twin Development & Maintenance Model Management Systems Model-Driven Software Engineering Graph-Based Consistency Solutions Artifact Reuse in Software Systems Key Contributions: His work includes developing a consistency management framework for digital twin models, conducting industry interview studies on digital twin practices, and creating the LaMa web application for thematic labeling. He contributed to the NWO-funded Digital Twin project and the Internet of Food consortium involving Unilever and Wageningen University. Professional Experience: Five+ years as a software developer in Bangladesh and Germany, specializing in desktop/web applications and AR for HoloLens. Participated in projects with global partners like ASML and Philips Healthcare during his PDEng.

• Formal Methods
• Software Verification
• Probabilistic Programming
• +۶ مورد دیگر

Christoph Matheja is a Professor at the University of Oldenburg, Germany, leading the Theory of Correct Systems group , and an Associate Professor at the Technical University of Denmark (DTU) in the Software Systems Engineering section. His work focuses on formal methods and verification, particularly for probabilistic and heap-manipulating systems. He develops rigorous mathematical techniques to enhance software correctness and trustworthiness, with contributions to quantitative verification, probabilistic program analysis, separation logic, Rust verification, and static analyses using graph grammars. Before his current roles, he was a postdoctoral researcher at ETH Zürich (Programming Methodology Group) and earned his Ph.D. at RWTH Aachen University under Joost-Pieter Katoen. His research bridges theoretical foundations and practical tool development, as seen in works like LogPPL for probabilistic process mining and the Prusti project for Rust verification. Recent publications emphasize probabilistic systems, POMDPs, and formal verification frameworks. He actively contributes to academic communities, serving on PCs for ESOP 2026, LICS 2026, and CAV 2025. His current focus includes recruiting a PhD student (see UOL openings ) and advancing verification methodologies for probabilistic and concurrent systems.

Jaco van de Polمشاهده پروفایل

استاد

• Model Checking
• Quantum Computing
• Symbolic Computation
• +۵ مورد دیگر

Jaco van de Pol is a Professor at the Department of Computer Science, Aarhus University. His research focuses on formal methods, quantum computing, and symbolic computation. He specializes in model checking, timed automata, decision diagram algorithms, and quantum circuit synthesis. Education background includes expertise in computer science with a strong foundation in theoretical computer science and formal verification techniques. Key research interests include: Development of scalable symbolic algorithms for large systems Quantum circuit optimization using SAT-based approaches External memory implementations of decision diagrams Formal verification of real-time and parametric systems Recent work emphasizes quantum computing applications, such as layout-aware CNOT circuit synthesis for NISQ processors, and novel algorithms for parametric timed games. His contributions include the Adiar framework for external memory BDD manipulation and the Sylvan decision diagram library. No academic awards or grants are explicitly mentioned in the provided materials. He has advised multiple collaborations but no specific student names are listed. His research group focuses on advancing formal methods through practical tools and theoretical advancements.

• Formal Methods
• Verification
• Probabilistic Systems
• +۷ مورد دیگر

Christoph Matheja is a Professor at the University of Oldenburg , where he leads the Theory of Correct Systems group. Additionally, he holds an Associate Professor position in the Software Systems Engineering section at the Technical University of Denmark . His research focuses on formal methods and verification, particularly for probabilistic and heap-manipulating systems. His work spans quantitative verification , probabilistic programs , separation logic , and static analysis using graph grammars . Recent research includes the development of the LogPPL tool for probabilistic process mining and a game-based semantics for the HeyVL verification language. Matheja has also contributed to PC committees for conferences like ESOP 2026, LICS 2026, and CAV 2025. He previously held a postdoctoral position at ETH Zürich under Peter Müller and completed his PhD at RWTH Aachen under Joost-Pieter Katoen.