Language Workbenches Professors and Supervisors | ApplySharif

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

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۱۶-۳۰ از ۵۰ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Robert Stevensمشاهده پروفایل

استاد

The University of ManchesterUnited Kingdom

Robert Stevens is a Professor of Computer Science at the University of Manchester, affiliated with the School of Computer Science's Department of Computer Science. He holds roles in the Bio-Health Informatics Group and the Information Management Group, focusing on interdisciplinary research in bioinformatics, ontology development, and semantic technologies. His academic journey includes a B.Sc. in Biochemistry, an M.Sc. in Biological Computation, and a D.Phil. in Computer Science. He has supervised over 10 PhD students, mentoring them in areas such as biomedical semantics, ontology engineering, and accessibility technologies. His research emphasizes managing complex biological data through ontologies, semantic web technologies, and e-Science frameworks like Taverna Workflow Workbench. Notable projects include TAMBIS, a bioinformatics integration system, and contributions to the OpenPHACTS and myGrid initiatives. Stevens teaches courses on ontology languages (OWL) and computational biology, emphasizing practical applications in post-genome biology. His work supports UN Sustainable Development Goals related to advancing health and innovation.

پروفایل رسمی دانشگاه

Brygg Ullmerمشاهده پروفایل

استاد

Clemson UniversityUnited States

Brygg Ullmer is a Professor at Clemson University's School of Computing and Chair of the Human-Centered Computing Division. He leads the Tangible Visualization group, focusing on Tangible User Interfaces (TUIs) Computational Genomics Interactive Computational STEAM Rapid Physical/Electronic Prototyping Computationally-Mediated Art and Design His work bridges physical and digital domains, with applications in K-12 education, high-performance computing, and culturally-rooted design. Research trends from his 15 most recent articles show a focus on Generative AI for cyberphysical systems Shape-changing interfaces Token+Constraint interaction models Genomics data visualization Hybrid tangible-gestural interfaces Multi-display collaboration These span both theoretical and applied work in computer science, biology, and design. Ullmer has held significant roles including Postdoctoral work at Zuse Institute Berlin Associate Professor at Louisiana State University (CCT & Computer Science) Visiting Lecturer at Hong Kong Polytechnic University Contributions to IBM Systems Journal and special editions of Springer's Personal and Ubiquitous Computing He has also co-edited journal special issues and served on conference committees. His scientific contributions include co-invented U.S. patents (6164541, 6263507, 6259441) related to Invisible hyperlinking Audiovisual data browsing Digital video time-shifting These patents reflect early innovations in tangible interface technology that have influenced modern interactive systems.

پروفایل رسمی دانشگاه

Ravi Chughمشاهده پروفایل

دانشیار

Max Planck Institute for Software SystemsGermany

Ravi Chugh is an Associate Professor in the Department of Computer Science at the University of Chicago. His work bridges Programming Languages (PL) and Human-Computer Interaction (HCI), focusing on direct manipulation programming systems and hole-driven development. Affiliation: University of Chicago Role: Director of Undergraduate Studies Research interests: Direct Manipulation Programming Systems Type Systems Program Synthesis Structured Editing Visual Programming His recent work includes Ragged Blocks (UIST 2025) for structured text rendering, Code Style Sheets (OOPSLA 2025) for styling code, and projects like Sketch-n-Sketch and Hazel for bimodal programming environments. Professional Activities: Program Committee: HATRA 2025, VL/HCC 2023, PLDI 2022, POPL 2021 Artifact Evaluation Co-Chair: PLDI 2018-2020 Editorial Board: Journal of Functional Programming (2020–)

پروفایل رسمی دانشگاه

Tomoki Nakamaruمشاهده پروفایل

استادیار

Max Planck Institute for Software SystemsGermany

Tomoki Nakamaru is an Assistant Professor at the Department of Multidisciplinary Systems Science, Graduate School of Arts and Sciences, The University of Tokyo. He holds a Ph.D. in Information Science and Engineering from The University of Tokyo, advised by Prof. Shigeru Chiba. Education: PhD (2021), The University of Tokyo M.Sc. (2018), The University of Tokyo B.Eng. (2016), The University of Tokyo His research focuses on Domain-Specific Languages , Mining Software Repositories , and Notebook Programming . He develops tools like Multiverse Notebook and Silverchain to enhance code exploration and API usability. He has published extensively at top venues like OOPSLA and PLDI , covering topics from Fluent Interface Generation to Runtime Monitoring . His 15 most recent works span 2017–2025. Scientific Awards: Yamashita Memorial Research Award (2023) University of Tokyo Business Reform Special Award (2021) JSST Student Encouragement Awards (2019–2020) Distinguished Artifact Award at OOPSLA (2019) Dean's Award, UTokyo (2018) Nakamaru serves on program and artifact committees for conferences like ECOOP , OOPSLA , and ‹Programming› . He teaches courses including Practical Programming and Introduction to Information Systems .

پروفایل رسمی دانشگاه

Paul Harrisمشاهده پروفایل

استاد

Vanderbilt UniversityUnited States

Paul Harris is a Professor of Biomedical Engineering and Biomedical Informatics at Vanderbilt University's School of Engineering. He leads research in clinical trial innovation, electronic data capture systems, and participant-centered research strategies. His work focuses on operational efficiencies in multi-site studies, recruitment/retention methodologies, and leveraging AI in healthcare research. Education: Ph.D. and M.S. in Biomedical Engineering from Vanderbilt University, B.S. in Mechanical Engineering from Tennessee Technological University. Research emphasizes REDCap platform development, All of Us Research Program infrastructure, and Genomic data integration. Key contributions include AI-driven abstract summarization, standardized clinical trial site selection tools, and culturally tailored recruitment strategies for underrepresented groups. His articles highlight advancements in data interoperability (FHIR integration), wearable health data analysis, and ethical genomic research practices. He collaborates with national initiatives like the Trial Innovation Network and NIH's All of Us Program to improve research accessibility and participant engagement.

پروفایل رسمی دانشگاه

Sebastian Erdwegمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Sebastian Erdweg is a Professor at the Institute of Programming and Software Engineering at Johannes Gutenberg University Mainz (JGU Mainz) in Germany. He actively contributes to the programming languages research community as evidenced by his extensive involvement in major conferences including PLDI, ECOOP, SPLASH, and ICFP. His leadership roles include serving as Workshops Co-Chair for ECOOP and ISSTA 2023, Steering Committee Chair for GPCE, and various program committee positions across multiple conferences. His research primarily focuses on programming language design and implementation, with particular expertise in incremental computation, Datalog-based systems, abstract interpretation, and language workbenches. Erdweg's work bridges theoretical foundations with practical applications in static analysis, compiler construction, and program transformation. His research demonstrates a consistent thread of improving developer productivity through better language design and tooling, with recent work emphasizing efficient incremental program analysis techniques. Erdweg's publication record shows a strong emphasis on Datalog as a foundation for program analysis, with increasing focus on incremental techniques and WebAssembly analysis in recent years. His work combines theoretical rigor with practical implementation, often resulting in open-source tools that advance the state of the art in language engineering. The consistent appearance of Datalog, incremental computation, and abstract interpretation across his publications indicates a cohesive research vision spanning over a decade. As an active member of the programming languages community, Erdweg has served in numerous organizational roles including Workshops Co-Chair for ECOOP and ISSTA 2023, Steering Committee Chair for GPCE, and various program committee positions. His contributions to conference organization demonstrate his standing within the academic community and commitment to advancing research in programming languages and software engineering.

پروفایل رسمی دانشگاه

Matthew Flattمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Matthew Flatt is a Professor in the School of Computing at the University of Utah, where he has been actively contributing to programming language research and development. His primary affiliation is with the PLT research group, which is responsible for the Racket programming language ecosystem. Flatt received his PhD from Rice University in 1999. His educational background laid the foundation for his extensive work in programming language design and implementation. His research focuses on extensible programming languages , runtime systems , and applications of functional programming . As one of the principal developers of the Racket programming language, Flatt has made significant contributions to macro systems, language composition, and domain-specific language design. His work demonstrates how language-oriented programming can solve complex software engineering challenges through careful language design and implementation techniques. Flatt has served in numerous leadership roles in major programming language conferences including as Program Chair for DLS 2020, ICFP 2018, and GPCE 2017, and as Program Committee member for numerous SIGPLAN conferences including PLDI, POPL, ICFP, and SPLASH across multiple years. His conference contributions reveal a consistent focus on practical language implementation techniques and metaprogramming systems. As an educator, Flatt has developed and taught courses on programming languages, computer systems, and software engineering, with many course materials including videos and slides publicly available. His teaching approach emphasizes hands-on implementation of language concepts, as evidenced by his MSD Software Engineering course materials that guide students through building an interpreter for a programming language called MSDscript.

پروفایل رسمی دانشگاه

Tijs van der Stormمشاهده پروفایل

استاد

National Research Institute for Mathematics and Computer ScienceNetherlands

Tijs van der Storm is a Senior Researcher and Groupleader at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, Netherlands, with a part-time professor appointment at the University of Groningen . His work spans Domain-Specific Language (DSL) design , software engineering , and programming language theory , focusing on tools like the Rascal meta-programming language for DSL construction and evolution. Email: storm@cwi.nl , T.van.der.Storm@cwi.nl Academic Rank: Professor (University of Groningen), Scientific Staff Member (CWI) Research Interests center on building and evolving DSLs , integrating live programming environments , and advancing language workbenches . His work addresses challenges in software analysis , model-driven development , and interactive programming tools . Trends in his scientific publications (2015–2024) emphasize DSL engineering , concrete syntax , gradual typing , and block-based language design . He has contributed to software testing and distributed systems through projects like AlleAlle and Recaf . Awards and Recognitions : Most Influential Paper Award (SLE 2023) Distinguished Artifact Award (SLE 2021) Distinguished Vision Paper Award (SLE 2018) Best Software Engineering Technology Paper (ICT OPEN 2019) Professional Activities include leadership roles in academic communities: chair of IFIP TC2 Working Group 2.16, treasurer of the European Association for Programming Languages and Systems (EAPLS), and organizer of conferences like SLE 2016 . He has served on program committees for IFIP TC2 WG 2.16 , EAPLS , and SPLASH symposia.

پروفایل رسمی دانشگاه

Andreas Wortmannمشاهده پروفایل

استاد

University of StuttgartGermany

Andreas Wortmann is a Professor at the Institute for Control Engineering of Machine Tools and Manufacturing Systems (part of the University of Stuttgart) and an Associate Member of the Cluster of Excellence IntCDC . His research focuses on Digital Twin Technology , Model-Driven Engineering , and Cyber-Physical Production Systems , with applications in Industrial Automation and Domain-Specific Languages . Recent publications highlight his work on systematic mapping studies of digital twin platforms, low-code development for manufacturing systems, and language engineering for heterogeneous environments. He has contributed to standards like the Asset Administration Shell and explored AI integration in timber construction process planning . Key collaborations include projects with researchers in robotics , software architecture , and industrial IoT . His work bridges academic research with practical implementations in the German automotive industry and smart manufacturing domains.

پروفایل رسمی دانشگاه

Sergej Chodarevمشاهده پروفایل

استادیار

Technical University of KosiceSlovakia

Sergej Chodarev is an Assistant Professor at the Technical University of Košice in the Department of Computer and Information Systems. His office is located in Building Letná 9, Room B513 (B529 by the old numbering), and consultation hours can be scheduled via Calendly at https://calendly.com/sergej-chodarev/office-hours. He teaches courses in Metaprogramming, Functional Programming, User Interfaces and User Experience, and Fundamentals of Software Engineering. His primary research areas include: Domain-specific languages Programming languages Metaprogramming User interfaces Dr. Chodarev's publication record from 2011-2016 demonstrates a consistent research trajectory focused on language engineering, particularly in domain-specific languages and metaprogramming. His work bridges theoretical computer science with practical software engineering applications, often addressing challenges in language composition, syntax definition, and user interface patterns. Many publications explore how to make programming languages more adaptable and user-friendly for specific domains. He is actively involved in research projects including: Applying new principles in the education of IT specialists in the field of formal languages and translators (as Deputy Project Manager) Developing architectural knowledge across the edge-cloud continuum (as a Solver) Dr. Chodarev maintains a scholarly presence through multiple identifiers: ORCID (0000-0002-9293-0859), Scopus Author ID (54583293100), and Web of Science ResearcherID (R-3205-2019). His professional online presence includes a personal blog, GitHub, and Instagram accounts.

پروفایل رسمی دانشگاه

Erwan Bousseمشاهده پروفایل

دانشیار

InriaFrance

Erwan Bousse is an Associate Professor at Nantes Université, France, affiliated with the Department of Computer Science in the Faculty of Science and Technology. He specializes in Software Language Engineering (SLE), Model Driven Engineering (MDE), and Domain-Specific Languages (DSLs), with a focus on model execution, simulation, debugging, and testing of models within the context of computing within limits. PhD in Computer Science (2015), Université de Rennes 1 MEng in Computer Science (2012), INSA Rennes His research explores executable DSLs, behavioral typing, test coverage frameworks, and debugging tools. Recent publications include work on test amplification, KPI definition, and domain-parametric debuggers. He advises PhD and Master’s students on topics ranging from epidemiological modeling to manufacturing systems. Scientific awards include: MODELSWARD 2024 Best Student Paper Award SoSym 2022 and 2021 Best Reviewer Awards ECMFA 2021 Best Paper Award SoSym 2019 Best Paper Award SLE 2018 Distinguished Reviewer He contributes to projects like ANR Rodic, ITN Lowcomote, and COST Action MPM4CPS, and develops tools such as GEMOC Studio and dpDebugger.

پروفایل رسمی دانشگاه

Denilson Barbosaمشاهده پروفایل

استاد

University of AlbertaCanada

Denilson Barbosa is a Professor of Computing Science at the University of Alberta's Faculty of Science. He holds a PhD and specializes in Natural Language Processing, Information Retrieval, and Machine Learning. His research focuses on knowledge extraction, entity recognition, and knowledge graph construction. Barbosa teaches courses like CMPUT361 (Information Retrieval) and CMPUT656 (Knowledge Graphs). He served as President of the Canadian Artificial Intelligence Association (CAIAC) from 2023 to 2024. His work includes developing tools like the NLP Workbench and contributing to open relation extraction, Wikipedia analysis, and low-resource language models. Education and Background: Barbosa's academic background aligns with his research interests in computational linguistics and AI applications. His teaching emphasizes practical skills in algorithms, data structures, and machine learning for text processing. Research Highlights: Barbosa's research spans semantic graphs, probabilistic language models, and defect prediction systems. He explores challenges in multilingual NLP, particularly for Indigenous and low-resource languages like Cree. His work often integrates machine learning with traditional IR methods to improve system efficiency and accuracy. Recent Contributions: Notable recent projects include improving Bengali/Hindi LLMs, evaluating QA systems via textual entailment, and developing Bayesian methods for crowdsourced truth discovery. His articles reflect his interdisciplinary approach, combining theory with real-world applications in education, software engineering, and social media analysis.

پروفایل رسمی دانشگاه

Carolyn Brodieمشاهده پروفایل

دانشیار

Simpson CollegeUnited States

Carolyn Brodie is an Associate Professor of Computer Science at Simpson College's Department of Mathematics and Computer Science. She joined as a full-time faculty member in 2018 after serving seven years as an adjunct. Her expertise spans Human Computer Interaction (HCI), Privacy and Security Design, and Software Development. Brodie holds a B.S. in Computer Engineering from Iowa State University (1984) and M.S./Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign (1997/1999). Her research focuses on leveraging emerging technologies to solve real-world user problems, with emphasis on privacy policy management, usability in security systems, and decision support methodologies. She previously worked at IBM in research (Watson Research Center) and software development roles. Key contributions include the DAISY decision support framework and SPARCLE policy workbench, highlighted in her 20+ peer-reviewed publications. Awards: Simpson College Excellence in Adult Education (2018), 3 patents (2009–2013) Grants & Funding: Not explicitly listed in provided text Brodie's work bridges theoretical HCI advancements with practical applications in organizational privacy management, military decision systems, and collaborative software tools. She actively participates in CHI conferences and usability-focused research initiatives.

پروفایل رسمی دانشگاه

Jan de Muijnck-Hughesمشاهده پروفایل

مدرس

University of StrathclydeUnited Kingdom

Jan de Muijnck-Hughes is a Lecturer in the Department of Computer and Information Sciences at the University of Strathclyde, where he is a member of both StrathCyber and the Mathematically Structured Programming groups. He also participates in the Scottish Programming Languages Institute and SICSA (Scottish Informatics & Computer Science Alliance), contributing to the broader academic community in Scotland. His educational background includes a PhD in Machine Checkable Design Patterns using Dependent Types and Domain Specific Goal-Oriented Modelling Languages from the University of St Andrews (2016), an MSc in Data Protection and the Cloud from Radboud Universiteit Nijmegen (2011), and a BSc in Searching for Efficient Permutation Codes from the University of St Andrews (2008). He also holds a PGCert in Learning and Teaching from the University of Strathclyde (2024) and is a Fellow of Advance HE. Dr. de Muijnck-Hughes' research centers on making system engineering more trustworthy through Type-Driven Engineering (TyDe). His work investigates how cutting-edge programming language theory—particularly type systems, dependent types, and functional programming—can fundamentally change how we engineer systems by interlinking specifications and implementations. He believes that building trustworthy systems requires making machine-checkable specifications an intrinsic aspect of system development. His research spans functional programming as a foundation for code and specification structure, novel type systems for hardware design and program behavior, behavioral types for program correctness, and the application of dependent types through the Idris programming language. His recent publications demonstrate a consistent focus on applying type theory to practical system engineering challenges. The research shows a progression from theoretical foundations of dependent types to practical applications in hardware design, security protocols, and language workbenches. A notable trend is the application of formal methods to ensure correctness in cyber security contexts, reflecting his dual expertise in programming languages and security. Fellow of the Advance HE (2024) Dr. de Muijnck-Hughes teaches advanced topics in functional programming, formal verification, and Cyber Security at the Masters level, including CS813: Advanced Information Security and CS886: Advanced Security-by-Design. He actively supervises undergraduate and Masters students through various dissertation projects. His professional activities include speaking engagements at major conferences such as the Conference on Types for Proofs and Programs and organizing the Scottish Programming Languages and Verification Summer School. As a member of StrathCyber and the Mathematically Structured Programming group, he contributes to research initiatives focused on secure and reliable systems development. His work bridges theoretical programming language concepts with practical security applications, positioning him at the intersection of two critical computing disciplines.

پروفایل رسمی دانشگاه

Artur Andrzejakمشاهده پروفایل

استاد

Heidelberg UniversityGermany

Prof. Dr. Artur Andrzejak is a full professor (W3) at Heidelberg University since 2010, serving as the Head of the research group Artificial Intelligence for Programming (AIP), and currently as Executive Director of the Institute of Computer Science. He has held significant academic roles including Deputy Dean of the Faculty of Mathematics and Computer Science (2019-2024), Dean of Studies for Computer Science (2015-2017), and Liaison Professor of the German National Academic Foundation (2014-2023). Habilitation in Computer Science (2009), Freie Universität Berlin Ph.D. in Computer Science (2000), ETH Zurich Diploma in Mathematics (1995), Freie Universität Berlin His research focuses on artificial intelligence applications in software engineering, particularly code generation and error correction techniques. He has also made significant contributions to software aging analysis, distributed systems, and cloud computing, with publications spanning federated learning, secure computation, and software rejuvenation. Recent publications demonstrate a strong focus on code generation and error correction methods using large language models, while earlier work includes foundational studies in distributed systems, grid computing, and software rejuvenation techniques. His research combines theoretical computer science with practical applications in enterprise software systems. As an academic leader, he has organized Dagstuhl Seminars on Parallel Data Analysis (2013) and Self-Healing Systems (2009), and served on editorial boards for the journals Parallel Processing Letters and Multiagent and Grid Systems. He has held various leadership roles in academic institutions and research networks.

پروفایل رسمی دانشگاه