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

Bernhard Rumpe is a Professor and Chair of Software Engineering at the Department of Computer Science 3, RWTH Aachen University, Germany. He leads a research group focused on model-based software engineering, domain-specific languages, and digital twins, with strong industrial collaborations and applications in embedded systems, AI, IoT, and autonomous vehicles. His research centers on improving software development through model-driven engineering, generative techniques, and formal modeling using UML, SysML, and the MontiCore language workbench. Key interests include digital twins, variability modeling, model composition, and the integration of cyber-physical systems with information systems. The recent publications highlight a consistent focus on model-driven digitalization, language workbenches, and system integration. Trends show increasing emphasis on digital twins in manufacturing and societal systems, formal verification of model transformations, and educational applications of model-driven low-code platforms. His work bridges theoretical foundations with industrial applicability. Keynote Speaker, OOPSLE 2025 General Chair, GPCE 2023 Session Chair, MODELS 2020 Program Committee Member, SLE, GPCE, ICSE, ECMFA He advises master’s and doctoral students and leads a vibrant research team that has successfully executed over 100 research projects. His group develops foundational tools like MontiCore and applies them in industrial contexts, contributing to software quality and developer efficiency. No formal grants are listed, but sustained project funding is evident. He is involved in several research labs and teams centered around the Software Engineering Chair at RWTH Aachen, focusing on language workbenches, model-driven development, and digital twin systems. The team actively contributes to open research through publications, tools, and industrial partnerships.

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +۱۶ مورد دیگر

Benoit Combemale is a Full Professor of Software Engineering at the University of Rennes , currently on leave as Research Director at Inria . He is affiliated with the DiverSE research team (joint between IRISA and Inria) and the SM@RT team at IRIT. He serves as Editor-in-Chief of the Springer-Nature journal Software and Systems Modeling (SoSyM) and holds leadership roles in academic conferences like ACM SIGPLAN Intl. Conference on Software Language Engineering and MODELS . Education : Habilitation (2015) and PhD (2008) in Software Engineering from University of Rennes and University of Toulouse, respectively. Research : Focuses on Model-Driven Engineering , Digital Twins , and ICT for Sustainability , with applications in cyber-physical systems, scientific computing, and industrial systems. Recent Publications highlight trends in digital twin modeling, energy-aware software engineering, polyglot programming, and formal verification for heterogeneous systems. His scientific awards include: Editor-in-Chief of SoSyM Steering Committee member of ACM SIGPLAN Intl. Conference on Software Language Engineering General Chair for ICT4S 2023 and MODELS 2016 PC Chair for MODELS 2024, ECMFA 2019, and SLE 2014 Coordinator of Dagstuhl Seminars and Bellairs workshops Advising includes 30+ students in topics ranging from digital twin engineering to software testing and language design. He leads the GEMOC Initiative and contributes to projects like SciHook and GEMOC Studio .

• Software Engineering
• Model-Driven Engineering
• Software Language Engineering
• +۷ مورد دیگر

Thad Starner is a Professor in the College of Computing at Georgia Institute of Technology and Technical Lead/Manager on Google's Glass. He directs the Contextual Computing Group (CCG), co-founded the Animal Computer Interaction Lab, and contributes to Georgia Tech's Ubicomp Group and Brainlab. A wearable computing pioneer since 1993, he has over 500 publications and 80 issued U.S. patents. Coined 'augmented reality' in 1990 Developed CopyCat for ASL learning in deaf children Invented Passive Haptic Learning for skill acquisition His research spans wearable interfaces for Deaf-hearing communication, dolphin interaction systems (CHAT), dog-handler communication (FIDO), and brain-computer interfaces for ALS patients. Current projects focus on optical aging simulation, XR input methods, and animal behavior telemetry. Recent publications (2023-2025) explore AR display ergonomics, AI-augmented reasoning, sign language recognition, and animal-computer interaction. His work has been featured in 60 Minutes, BBC, National Geographic, and Time Magazine. CHI Academy (2017) Lemelson-MIT Prize finalist White House Champions of Change finalist He advises graduate students in wearable systems and teaches AI and prototyping courses. His lab developed the Perceptive Workbench for gesture tracking and created early Eigenfaces research for face recognition.

• Wearable Computing
• Human-Computer Interaction (HCI)
• Augmented Reality
• +۷ مورد دیگر

Robert Bruce Findler is a Professor of Computer Science at Northwestern University, specializing in programming languages and software engineering. He serves as a core developer of the Racket programming language and has contributed extensively to language design, macro systems, and gradual typing. Affiliation: Department of Electrical Engineering and Computer Science, McCormick School of Engineering Research Interests: Programming Languages (PL), Domain-Specific Languages (DSLs), Macro Systems, Gradual Typing, Contracts His work spans both theoretical and practical domains, including the development of Racket's Redex framework for semantics engineering and innovative approaches to contract systems in gradual typing. He has been actively involved in the PL community through committee memberships and program organization. Recent research focuses on macro systems (Rhombus), contract optimization (Collapsible Contracts), and language interoperability (The Functional, the Imperative, and the Sudoku). His GitHub contributions reflect ongoing development in Racket and related tools. Key Collaborations: Racket development ecosystem, PLDI/POPL/ICFP/SPLASH conferences Committee Roles: ICFP Programme Committee, REBLS Program Committee, POPLmark Retrospective Panelist

• Programming Languages
• Software Engineering
• Macro Systems
• +۲ مورد دیگر

Dr. Andrew Hardie is a Reader in Linguistics at Lancaster University, holding a position equivalent to Associate Professor. He is affiliated with the Faculty of Humanities, Arts and Social Sciences and the Department of Linguistics and English Language within the School of Social Sciences. His primary research specialism focuses on corpus-based methodology and its applications across various disciplines: Corpus design and construction methodologies Development of corpus analysis software tools Applications in grammar of English and other languages Extensions to discourse analysis, language teaching, and other humanities and social sciences fields Dr. Hardie's work spans both theoretical and applied linguistics, with particular emphasis on adapting corpus methods for social scientists and humanists in fields including Psychology, Geography, History, and English Literature. His expertise extends to multiple languages, with special focus on South Asian languages such as Nepali, Urdu, and Hindi. He has developed several significant software tools for corpus linguistics, including Corpus Workbench (as a lead developer), CQPweb (as creator), Unicodify, and Unitag, which have substantially advanced the field of corpus linguistics methodology. His research portfolio includes major projects like the ESRC Centre for Corpus Approaches to Social Science (where he serves as Deputy Director) and UCREL (where he is Chair), demonstrating his leadership in the field. His work bridges theoretical linguistics, computational methods, and practical applications across multiple disciplines. Dr. Hardie actively supervises PhD students working on diverse topics from collocational errors in language learning to sociolinguistics of swearing in Arabic, reflecting the breadth of his research interests and influence across linguistic subfields.

• Corpus Linguistics
• Computational Linguistics
• Corpus Methodology
• +۶ مورد دیگر

Jean-Marc Jezequel is a Professor of Software Engineering at University of Rennes , affiliated with CNRS , Inria , IRISA , and Institut Universitaire de France (IUF) . His research focuses on Model-Driven Engineering , Software Product Lines , Dynamic Adaptation , and Executable Meta-languages . Key Contributions : Pioneering work in aspect-oriented and model-driven approaches for software evolution Foundational research on model transformations (e.g., UMLAUT framework) Advances in testing and validation of distributed systems Research Trends from his recent publications include: Intelligent modeling assistance integrating machine learning Contextual variability modeling for complex systems Runtime model execution for self-adaptive systems Formal methods and constraint resolution for UML validation Collaborations include researchers from Luxembourg, Montreal, Colorado State University, and INRIA.

• Software Engineering
• Model Driven Engineering
• Software Product Lines
• +۷ مورد دیگر

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

Joshua Sunshine is an Assistant Professor in the S3D Software and Societal Systems Department at Carnegie Mellon University's School of Computer Science. His research focuses on the intersection of programming languages, software engineering, and human-computer interaction (HCI), emphasizing usability-driven language design and tools for developers. He leads the REU Site in Software Engineering (REUSE), a National Science Foundation-funded program fostering undergraduate research and equity in computing. Key research areas include: (1) Formal methods for software testing and verification (e.g., TerzoN, Gradual C0), (2) Domain-specific languages for mathematical visualization (Penrose), (3) Secure blockchain programming (Obsidian), and (4) Automated test generation tools (Nanofuzz). His work bridges theory and practice through user-centered methodologies, evident in projects like PLATEAU workshops and Glacier's transitive immutability. Awards include the NSF CAREER Award (2024) and sustained leadership in REU programs. His grants emphasize reproducible scientific programming, framework debugging, and interdisciplinary tool development. Notable contributions include frameworks like Rose for web-based autodiff and Edgeworth for scalable visual activity authoring. Labs/Teams: Core contributor to the S3D group, collaborating with HCI and PL communities. Active in organizing PLATEAU workshops (2018–2023), fostering evaluation and usability research in programming languages.

• Software Engineering
• Programming Languages
• Human-Computer Interaction (HCI)
• +۵ مورد دیگر

Ivano Malavolta is an Associate Professor in Software Engineering at the University of Urbino , focusing on energy-efficient software, software architecture, and model-driven engineering (MDE). His research bridges robotics, mobile systems, and sustainability, emphasizing empirical methods and industrial applicability. Key Research Areas: Energy-efficient software, microservices, robotics systems, collaborative modeling, mobile application performance. Affiliations: Department of Software Engineering, University of Urbino. His recent publications highlight empirical studies on energy consumption patterns in robotics, mobile apps, and AI systems. He has contributed to frameworks like the Green Software Measurement Model (GSMM) and tools for architectural technical debt analysis. Notably, he has co-authored 15+ peer-reviewed articles in venues such as Journal of Systems and Software , Information and Software Technology , and ACM/IEEE conferences . His work often involves cross-platform comparisons (e.g., Electron vs. Web, Pandas vs. Polars) and systematic mappings of software engineering practices.

• Software Engineering
• Energy-Efficient Systems
• Software Architecture
• +۴ مورد دیگر

Joanne M. Atlee is a Professor in the Department of Computer Science at the University of Waterloo, Faculty of Mathematics. She has been an active member of the software engineering research community since at least 2015, with continuous involvement in major conferences through 2025. Her research focuses on software product lines, domain-specific languages, cyber-physical systems, and model-driven engineering. She has made significant contributions to variability management and formal methods in software engineering, with publications spanning industrial case studies, model analysis techniques, and language workbenches. Her recent publications demonstrate a strong emphasis on practical applications of software engineering theory, particularly in the areas of dynamic product lines, declarative analysis, and human-in-the-loop verification systems. Her work bridges theoretical foundations with industrial applicability. Dr. Atlee has held numerous leadership positions in the academic community, including serving as General Chair for ICSE 2019, one of the most prestigious conferences in software engineering. She has also been active as a committee member, session chair, and mentor across multiple conferences including ASE, ICSE, ESEC/FSE, and MODELS. In terms of academic service, she has contributed to doctoral symposia, new faculty development, and equity initiatives, demonstrating a commitment to mentoring the next generation of researchers and promoting diversity in computing.

• Software Engineering
• Software Product Lines
• Domain-Specific Languages
• +۵ مورد دیگر

Edwin Brady is a Reader in the School of Computer Science at the University of St Andrews. His research focuses on dependent types, programming languages, and their application to verification, DSLs, and compiler design. He is a key contributor to the Idris programming language, emphasizing type-driven development and formal methods. Brady supervises PhD students including Thomas Hansen, Ellis Kesterton, Bhakti Shah, and Constantine Theocharis. His work spans foundational research in type systems, practical compiler implementation, and tool development for dependently typed languages. Notable contributions include frameworks for resource-dependent DSLs and type-level property-based testing. Brady has led projects such as the EPSRC-funded 'Type-Driven Verification of Communicating Systems' and contributed to the EU-funded ADVANCE initiative on concurrency engineering. Research Interests: Dependent types, functional programming, program verification, DSLs, compilers. Tools Developed: Idris programming language, type-level testing frameworks. Professional Activities: Organized Doors Open @ Computer Science events (2023–2025), presented at Lambda World and Idris workshops. His publications emphasize practical applications of type theory to ensure correctness in concurrent systems, session protocols, and refactoring tools. Brady’s work bridges theoretical foundations with real-world software development challenges.

• Dependent Types
• Programming Languages
• Functional Programming
• +۵ مورد دیگر

Terje Brasethvik is an Associate Professor at the Department of Computer Science, Norwegian University of Science and Technology (NTNU). His research focuses on ontology engineering, semantic modeling, and information systems, with a strong emphasis on text mining and knowledge representation. He earned his doctoral degree from NTNU in 2004 with a dissertation on conceptual modeling for document retrieval. His work spans ontology relationship learning, collaborative healthcare systems (e.g., EigenJournal), and enterprise systems. Notable contributions include hybrid approaches to ontology learning, semantic web technologies, and empirical evaluations of conceptual models. Brasethvik has participated in international conferences and workshops, including the First International Workshop on Innovative Internet Information Systems (1998) and the International Symposium on Electronic Personal Health Records (2006). His publications highlight interdisciplinary applications in healthcare informatics, data mining, and collaborative platforms. Brasethvik has co-authored reports on semantic enrichment for system interoperability and contributed to educational initiatives integrating peer review in IS courses.

• Semantic Modeling
• Ontology Engineering
• Text Mining
• +۳ مورد دیگر

Louis-Edouard Lafontant is a Lecturer at the Department of Computer Science and Operations Research (DIRO) at the University of Montreal. His research focuses on model-driven engineering, projectional editing, and software accessibility through tools like Gentleman. He is currently pursuing a Doctorate in Computer Science at UdeM under Prof. Eugène Syriani, where his work explores dynamic environments and interface design. Education: Doctoral candidate in Computer Science (UdeM). Previously involved in teaching roles for courses including IFT1015 (Programming I), IFT2255 (Software Engineering), and IFT3911 (Software Analysis & Design). Offers tutoring services through DIRO's tutoring program and personal consultations. Research Interests: Projectional editing systems, domain-specific languages (DSLs), model-driven engineering (MDE), and software accessibility. His project Gentleman aims to democratize software modeling through a lightweight web-based editor supporting multiple notations and user-specific interfaces. Publications & Projects: Published work includes studies on Gentleman's usability, integration into web applications, and DSL creation. Open-source contributions include the Gentleman editor, Zenkai JavaScript library for DOM manipulation, and educational web resources. Active in labs such as GEODES, focusing on software engineering research.

• Software Engineering
• Domain-Specific Languages (DSLs)
• Model-Driven Engineering (MDE)
• +۴ مورد دیگر

Mikhail Barash is an Associate Professor at the Department of Informatics, University of Bergen. His research focuses on software language engineering, domain-specific languages (DSLs), and graphical user interface (GUI) frameworks. He explores innovative approaches to DSL design, including spreadsheet-based workbenches and reusable GUI structures. His work emphasizes user involvement in language standardization, such as in ECMAScript/JavaScript evolution. He also investigates formal methods for GUI abstraction and constraint-based systems. Barash collaborates with industry and academia, notably through the Magnolia programming language ecosystem and teaching experiences with JetBrains' MPS tooling. His contributions span over 20 peer-reviewed publications in top conferences like ACM SIGPLAN and IEEE. Key research areas include declarative GUI manipulation, language workbench democratization, and legacy grammar modernization. He has presented at venues such as the International Symposium on Formal Methods and contributes to frameworks like Event-B IDE development. His work bridges theoretical advances with practical tooling, aiming to make language engineering accessible to broader audiences.

• Software Language Engineering
• Domain-Specific Languages (DSLs)
• Graphical User Interface (GUI) Frameworks
• +۳ مورد دیگر

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.

• Bioinformatics
• Ontology Development
• Biomedical Informatics
• +۷ مورد دیگر