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

Tom Schrijversمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Type Systems
• +۶ مورد دیگر

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

Conrad Wattمشاهده پروفایل

استادیار

• WebAssembly
• Formal Verification
• Programming Languages
• +۴ مورد دیگر

Conrad Watt is an Assistant Professor at Nanyang Technological University (NTU), Singapore , specializing in WebAssembly, formal verification, and concurrency. He previously served as a Research Fellow at Peterhouse, University of Cambridge, and earned his PhD under Peter Sewell. Co-chair of the W3C WebAssembly Community Group Active in WebAssembly standards development, including concurrency specifications Developed mechanizations in theorem provers like Isabelle/HOL Collaborator with industry (wasmtime engine) and academic teams on verification tools Research Focus: Formal verification of low-level languages, concurrency models, and security mechanisms for WebAssembly. His work bridges theoretical rigor with practical applications, including WasmRef-Isabelle and threads projects. Recent Trends: 2025 publications explore separation logic automation and concurrency experiments, while 2024-2023 work emphasizes specification toolchains (SpecTec), verified interpreters, and memory-safe execution techniques. Scientific Awards ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award Advising: Supervises PhD students Qiyuan Xu and Antanas Kalkauskas. Collaborates with researchers like Philippa Gardner and Jean Pichon-Pharabod.

Gang (Gary) Tanمشاهده پروفایل

استاد

• Computer Security
• Formal Methods
• Programming Languages
• +۲ مورد دیگر

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

Bernhard Rumpeمشاهده پروفایل

استاد

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

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.

Benoit Combemaleمشاهده پروفایل

استاد

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

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 .

Loris D'Antoniمشاهده پروفایل

دانشیار

• Programming Languages
• Software Verification
• Program Synthesis
• +۴ مورد دیگر

Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD) . He is also a Visiting Academic at Amazon Web Services (AWS) . His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness. Bachelor and Master in Computer Science from University of Torino (2008, 2010) PhD in Computer Science from University of Pennsylvania (2015) His research integrates programming languages , automata theory , and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs , with applications in network security, machine learning fairness, and automated code repair. Key trends in his publications include program synthesis , formal verification , and trustworthy AI systems . He has contributed to tools like AutomataTutor and SemGuS , a framework for customizable synthesis problems using constrained Horn clauses. Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award NSF CAREER Award Microsoft Research Faculty Fellowship Google and Facebook Faculty Awards Best Paper Award at ICDCN 2023 Distinguished Paper Award at SBES 2021 D'Antoni actively contributes to academic community service as a committee member in PLDI , OOPSLA , POPL , and CAV . He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.

Paul-Eric DOSSOUمشاهده پروفایل

پژوهشگر

• Industry 5.0
• Logistics and Supply Chain Optimization
• Digital Twin
• +۴ مورد دیگر

Paul-Eric DOSSOU is a Researcher at ICAM’s Grand Paris Sud campus, specializing in Societal and Technological Transitions of Companies. His work focuses on Industry 5.0, decision-aided systems, logistics optimization, and digital twin applications. He leads projects like Plateforme Life, Urban Logistics, and Healthcare 4.0, aiming to enhance SME efficiency through sustainable digital transformation. Expertise includes AI-driven supply chain management, cybersecurity for legacy systems, and robotic solutions for archaeology. He collaborates with industry partners to bridge theoretical research and practical applications, emphasizing human-centric automation and environmental sustainability. Contact: paul-eric.dossou@icam.fr | Mobile: +33 6 17 81 33 43 Research contributions span over 30 peer-reviewed articles since 2003, addressing topics from energy audits in the nautical industry to multi-agent systems in supply chain optimization.

Aida Jebaliمشاهده پروفایل

استاد

• Supply Chain Management
• Operations Research
• Maritime Logistics
• +۴ مورد دیگر

Aida Jebali is a Professor of Operations and Supply Chain Management at SKEMA Business School's Digitalization Academy. She holds a PhD and Habilitation (HDR) from Grenoble Institute of Technology and has held faculty positions at ESIEE Paris, University of Sharjah, Masdar Institute, and Prince Sultan University. Her research focuses on supply chain resilience, pandemic planning, healthcare operations, and maritime logistics. Education: 2023: HDR in Industrial Engineering, Université Grenoble Alpes 2004: PhD in Industrial Engineering, Grenoble INP 2000: Master of Science in Industrial Engineering, Grenoble INP 1999: National Engineer Diploma, Ecole Nationale d'Ingénieurs de Tunis Research Interests: Pandemic resilience in supply chains Maritime logistics and quay crane optimization Emergency medical service design Healthcare operations and operating room scheduling Environmental sustainability in supply chains Recent Contributions: Her work addresses critical challenges such as pandemic-induced disruptions, ambulance relocation systems, and carbon-efficient supply chains. Recent studies include optimizing production under pandemic conditions and resilience strategies for food supply chains. Awards: High Level Scientific Stay (French Ministry of Foreign Affairs, 2009 & 2007) PhD Scholarship Award (French Ministry of Foreign Affairs, 2000) PhD Supervision: Co-director: G. Pinto, H. NOUIRA, R. BOUJEMAA Jury Member: L. WANG Research Affiliations: Senior Editor of IMA Journal of Management Mathematics and active reviewer for top journals such as International Journal of Production Economics .

• Green Supply Chain Management
• Circular Economy
• Sustainability in Operations Management
• +۴ مورد دیگر

Charbel Jose Chiappetta Jabbour is a Professeur Eminent and Head of the Systèmes d’Information, Supply Chain Management & aide à la Décision department at NEOMA Business School in France. He holds a Habilitation à diriger un doctorat from the University of São Paulo, Brazil. His research focuses on green and circular supply chains , Industry 4.0 , and sustainability integration in operations management. He has been included in Clarivate/Web of Science Highly Cited Researchers and received the British Academy of Management’s Best Paper Award (2019). Education & Career: Completed Habilitation at University of São Paulo (Brazil) International experience across Brazil, Japan, Scotland, England, and France Former Associate Editor of Journal of Cleaner Production Research Interests: His work bridges theory and practice in sustainable supply chain design, circular economy frameworks, and the human dimension of operations. He emphasizes integrating Industry 4.0 technologies with sustainability goals, and has pioneered studies on blockchain in supply chain digitalization. Grants & Projects: Principal Investigator/Co-Investigator on projects funded by Innovate UK, Midlands Engine UK, FAPESP Focus areas: Sustainable supply chain resilience, circular economy adoption Labs/Teams: Leads the Systèmes d’Information department and collaborates with global networks on sustainability initiatives.

Nadjib BRAHIMIمشاهده پروفایل

دانشیار

• Supply Chain Management
• Production Planning and Scheduling
• Operations Research
• +۴ مورد دیگر

Nadjib Brahimi is an Associate Professor at Rennes School of Business, specializing in Supply Chain Management and Operations Research. He holds a PhD in Production and Logistics Systems from Université de Nantes and has extensive academic experience, including roles as Academic Head of the Supply Chain Management & Information Systems department (2019–2020) and Programme Manager of the MSc in Data and Business Analytics. His expertise spans Production Planning, Supply Chain Optimization, and Reconfigurable Manufacturing Systems. Education: PhD in Production and Logistics Systems, Université de Nantes, 2004 M.Sc. in Automatic Control and Applied Computing, Ecole Centrale de Nantes, 2001 Engineering Degree in Electronics and Electrical Engineering, National Institute of Electronics and Electrical Engineering, Boumerdes, Algeria, 1999 Research Focus: His work emphasizes optimization of production systems, reconfigurable manufacturing, and sustainable supply chains. Key areas include task reassignment in assembly lines, biomass supply chain design, and disruption resilience strategies. Key Contributions: Over 40 peer-reviewed articles in journals like International Journal of Production Economics and European Journal of Operational Research . Developed robust optimization models for supplier selection and production routing. Advocated for circular economy principles in hybrid manufacturing systems. Labs/Teams: He collaborates with research groups on reconfigurable manufacturing systems and bioenergy supply chain design, contributing to projects in France, UAE, and Algeria.

• Software Evolution
• Software Libraries
• APIs
• +۵ مورد دیگر

Thomas Degueule is a CNRS researcher in the Software Engineering group at LaBRI (Bordeaux, France). His research focuses on software evolution , modularity , and comprehension , with a particular emphasis on software libraries , APIs , software ecosystems , and domain-specific languages (DSLs) . Prior to his current role, he worked as a postdoctoral researcher at CWI (Amsterdam) and earned his PhD at IRISA (Rennes, France). Research Themes : Software evolution, API analysis, dependency management, empirical software engineering, DSL engineering Projects : ANR JCJC ALIEN (PI), H2020 CROSSMINER (WP leader), ALE (associate member), LEOC Clarity (member), ANR INS GEMOC (member), ITEA2 MERgE (member) Software Tools : Roseau, Maracas, BreakBot, Melange, Eclipse GEMOC Studio, K3, Alex, Scava His recent publications highlight trends in API breaking changes , dependency evolution , DSL interoperability , and automated software analysis (see articles list for details). He also contributes to software education through tools like MOON and Immediate Feedback for Jupyter Notebooks. Thomas has supervised PhD students including Gustave Monce (University of Bordeaux), Lina Ochoa (now assistant professor at Eindhoven University), Corentin Latappy (post-doc at University of Bordeaux), and Christophe Casseau (lecturer at University of Bordeaux). He actively participates in academic service, serving on program committees for conferences such as ICSE , ASE , ICSME , ISSTA , and SLE , and organizing workshops like SLEBoK and MLE 2021 .

• Cellular Automata
• Computational Dynamics
• Theoretical Computer Science
• +۴ مورد دیگر

Martin Delacourt is a Lecturer at the University of Orléans, affiliated with the LIFO (Laboratoire d'informatique fondamentale d'Orléans). He earned his PhD on December 5, 2011, under the joint supervision of Bruno Durand and Victor Poupet at LIF Marseille. His research focuses on cellular automata, including directional dynamics, limit sets, and decidability of computational problems. PhD: University of Montpellier 2 (2011) ENS Lyon: Bachelor (2006), Master (2008) His research explores cellular automata through computational complexity, symbolic dynamics, and formal verification. Key themes include limit set characterization, defect dynamics, and algorithmic properties of number systems. He has published in conferences like AUTOMATA, MFCS, and CiE. Teaching responsibilities include courses in network engineering, computability, complexity theory, operating systems, and algorithm analysis at the University of Orléans. He has supervised work-study students in the MIAGE program since 2018.

• Robotics
• Computer Vision
• Machine Learning
• +۴ مورد دیگر

Nicolas RAGOT is an Associate Professor at CESI, affiliated with the Engineering and Numerical Tools department. He teaches Digital and embedded electronics, Microcontroller programming, System control, and Sensors at the Bachelor and Master levels. His research focuses on Environment perception for robotics and Computer vision, particularly in unconventional applications. He leads or collaborates on major research programs including ROJUNACO (2023–2025), FUSION (2023–2027), OASIS (2022–2024), and COLIBRY (2021–2024), all addressing robotics, digital twins, and industrial automation. He co-supervises PhD students Y. Feddoul, S. Ouarab, and S. Choudhary. His work spans smart mobility, assistive technologies, and energy-efficient systems. He is a member of the Secure Electronic Transactions (TES) competitiveness cluster's expert committee. Education: PhD in Computer Vision (University of Rouen, 2009), Master in Electrical Engineering (University of Paris XI, 2003), Engineering diploma (ESIGELEC, 1999). Research interests emphasize robot perception, human-robot collaboration, and extended reality integration. His publications span object detection, SLAM algorithms, and smart wheelchair systems. Current projects emphasize industrial robotics, digital twins, and real-time 3D reconstruction. Advising and grants include leadership roles in multiple research programs and co-supervision of three PhDs. His lab work focuses on Engineering and Numerical Tools, with contributions to CESI LINEACT's collaborative robotics initiatives.

Ales Popovicمشاهده پروفایل

استاد

• Information Systems
• Digitalization
• Artificial Intelligence
• +۴ مورد دیگر

Ales Popovic is a Full Professor of Information Systems at NEOMA Business School, France. He holds a PhD in Management and Information Systems. His research focuses on the value of information systems (IS) in organizations, digitalization, AI, behavioral and organizational issues in IS, and IT in inter-organizational relationships. He has published widely in journals like Journal of the Association for Information Systems and Technological Forecasting and Social Change . Dr. Popovic’s research explores topics such as fake news engagement on social media, blockchain adoption in real estate, and the impact of digital platforms on traditional media. He serves on editorial boards for journals including International Journal of Information Management and Industrial Management & Data Systems . His work bridges theoretical and practical aspects of IS, emphasizing business value creation and ethical considerations in AI. Key contributions include studies on digital transformation, crisis management technologies, and the role of privacy in technology adoption. His research frequently addresses contemporary challenges like misinformation dynamics, gig worker burnout, and healthcare AI applications.

• Cyber-Physical Systems
• Digital Twins
• Industrial Automation
• +۳ مورد دیگر

Alexandre PARANT is a Researcher at the University of Reims Champagne-Ardenne, affiliated with the School of Engineering and Digital Tools. His work focuses on cyber-physical systems, digital twins, and industrial automation, with a strong emphasis on the IEC 61499 standard for control architecture development. Research Themes: Model-driven engineering for production systems Digital twin implementation IEC 61499 standard application Modular cyber-physical systems Article Trends: Alexandre's publications span model-based development, robotics synchronization, and PLC identification. His work bridges theoretical modeling with practical automation solutions, particularly in educational contexts and industrial manufacturing. Labs & Teams: LINEACT research team Collaboration with CESI Campus Reims