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

• Systems Engineering
• Safety and Security of Critical Control Systems
• Avionics Architecture Design
• +۲ مورد دیگر

Dr. Jean-Charles Chaudemar serves as an Associate Professor and Head of the Systems Engineering Advanced Master Program within the Department of Complex Systems Engineering (DISC) at ISAE-SUPAERO in Toulouse, France. He has been affiliated with the institution since 2004, teaching core systems engineering courses while maintaining active industry collaborations with aerospace leaders including Airbus, Dassault Aviation, and Rockwell-Collins. His educational background includes an Engineering degree (1998) and PhD (2012) both from SUPAERO. Prior academic appointments are not indicated in the source material. Research focuses on formal modeling methodologies for critical aerospace systems with dual emphasis on safety certification and cybersecurity resilience. Key initiatives include Model Based Safety Assessment for autonomous architectures, human-in-the-loop safety frameworks developed through the Dassault Aviation chair, and lean systems engineering approaches for aeronautics SMEs. His work bridges theoretical formal methods with practical avionics implementation challenges. Dr. Chaudemar maintains active roles in major aerospace research ecosystems including AFIS, CCT CNES, GDR-GPL, Aerospace Valley competitiveness cluster, and IRT Saint-Exupery. He contributes to the Engineering for Critical Systems (DISC) research group where his team develops verification frameworks for layered safety-critical architectures.

François Pasqualiniمشاهده پروفایل

دانشیار

• Business Law
• Accounting Law
• Comparative Law
• +۵ مورد دیگر

François Pasqualini serves as an Associate Professor of Private Law at Paris-Dauphine University, specializing in business law, accounting law, and comparative law. He has held the position of Director at the Centre français de droit comparé since 2012 and was a founding member of the Association for the Ecological Analysis of Law. His academic career began with his 1990 doctoral thesis on 'The faithful image: a factor in the evolution of accounting law,' establishing his expertise at the intersection of legal and accounting frameworks. Professor Pasqualini's research focuses on the complex relationship between law and accounting practices, with particular emphasis on corporate governance mechanisms, financial regulations, and business transaction frameworks. His work examines how accounting principles influence legal interpretations and corporate behavior, investigating topics such as auditor responsibilities, executive compensation structures, dividend policies, and asset valuation in corporate transactions. Through comparative legal analysis, he explores how different jurisdictions address these issues, contributing to the understanding of global business law evolution. His publication record from 2007-2024 reveals a consistent scholarly contribution to commercial law, with increasing attention to corporate social responsibility and sustainable business practices in recent years. The evolution of his research demonstrates growing concern with ecological considerations in legal frameworks, reflecting his involvement with the Association for the Ecological Analysis of Law. As Director of the Centre français de droit comparé, Professor Pasqualini leads comparative legal research initiatives that examine business law across different jurisdictions. His leadership in this organization and the Association for the Ecological Analysis of Law has positioned him as a significant contributor to discussions about the relationship between legal frameworks, accounting practices, and corporate responsibility in contemporary business environments.

Olivier Serreمشاهده پروفایل

استاد

• theoretical computer science
• automata theory
• formal languages
• +۷ مورد دیگر

Olivier Serre is a CNRS Research Director working at the Institute for Research in Fundamental Computer Science (IRIF), a joint research unit of CNRS and University of Paris. Since September 2021, he serves as Deputy Scientific Director at the Institute for Information Sciences and Technologies (INS2I) at CNRS. His research focuses on theoretical computer science with particular emphasis on automata theory and formal verification frameworks. Dr. Serre completed his education at ENS Cachan (1999-2003) and earned his PhD in Computer Science from Paris-Diderot University (now University of Paris) in 2004. Following a postdoctoral position at RWTH Aachen, he joined LIAFA (now IRIF) as a research fellow in 2005 and became a CNRS Research Director in 2016. His academic journey reflects deep engagement with foundational theoretical problems and their practical verification applications. His research centers on automata theory and formal languages, with particular expertise in games and logic, infinite structures, and verification of higher-order functional programs. Dr. Serre has made significant contributions to collapsible pushdown systems, recursion schemes, and parity games, bridging theoretical foundations with practical applications in program verification. His work demonstrates exceptional depth in developing decision procedures for complex verification problems previously considered intractable. Dr. Serre's extensive publication record in premier theoretical venues shows consistent contribution to advancing the state of the art. His research trajectory reveals a clear evolution from foundational automata theory toward increasingly sophisticated systems involving higher-order computation and imperfect information, with notable breakthroughs in establishing decidability results for complex verification problems.

• Formal Methods
• Program Verification
• Mathematical Logic
• +۳ مورد دیگر

Christophe Garion serves as an Associate Professor in Computer Science within the Department of Complex Systems Engineering (DISC) at ISAE-SUPAERO, Toulouse, France. He is integral to the Critical Systems Engineering research group (DISC) and contributes to the "System Engineering: Processes and Models" scientific theme. Academic credentials include an engineer degree (1999) and PhD (2002), both earned at SUPAERO (now ISAE-SUPAERO). This institutional continuity informs his research-practice integration. Research centers on Formal Methods with dual focus: current program verification using SPARK and CoCoSim for aerospace applications, and prior knowledge representation work in deontic logic. His methodology bridges theoretical mathematical logic with practical verification challenges in critical systems engineering, establishing him as a specialist in logic-based software validation. Teaching encompasses core SUPAERO Graduate Program courses including Algorithms, Functional/Logic Programming, and Formal Methods. He supplements lectures with 2nd-year student projects providing hands-on verification experience. Professional engagement includes active supervision of student projects and research within DISC. Contact is maintained through institutional email and phone, with professional profiles available via ORCID, IdRef, and Scopus identifiers.

• Human-Computer Interaction
• Task Modeling
• User Interface Design
• +۳ مورد دیگر

Sybille Caffiau serves as a Lecturer in Data Engineering at ISAE-ENSMA's School of Engineering, affiliated with the LIAS laboratory across both ENSIP (Poitiers) and ISAE-ENSMA (Chasseneuil) campuses. Her research focuses on Human-Computer Interaction with specialization in task modeling and user interface validation. Her research interests span Human-Computer Interaction , Task Modeling , and User-Centered Design . She develops and evaluates tools like K-MADe for modeling user activities, with emphasis on empirical validation of task modeling approaches. Her work bridges cognitive science principles with practical software engineering applications, particularly in educational technology and interactive system design. Analysis of her publication trends reveals consistent contributions to HCI conferences and journals since 2006, with increasing focus on tool development (notably K-MADe) and empirical validation methodologies. Her recent work demonstrates strong interdisciplinary connections between cognitive modeling, software engineering, and educational technology. No scientific awards or fellowships are documented in the available materials. While her collaborative network includes prominent researchers like Laurent Guittet and Patrick Girard, specific details about student advising or research grants are not provided in the source materials. Her thesis work (2009) established foundations for model-driven interactive application design. She operates within the LIAS laboratory's Data Engineering team, contributing to research on interactive systems and task modeling frameworks. The KMADe environment represents her primary software contribution for activity description and task modeling.

Yassine Ouhammouمشاهده پروفایل

دانشیار

• Real-Time Systems
• Embedded Systems
• Model-Based Design
• +۶ مورد دیگر

Yassine Ouhammou is an Associate Professor in computer science at École Nationale Supérieure de Mécanique et d'Aérotechnique (ENSMA), where he is a member of the "Real-Time and Embedded Systems" research team at LIAS laboratory. His work focuses on critical real-time embedded systems with applications in avionics, drones, and control command systems. His research interests include: Software architectures for critical real-time embedded systems Design and analysis of critical real-time systems regarding their temporal performances Model-based design using domain specific languages (MoSaRT, AADL, Capella, Time4Sys) Real-time scheduling and dimensioning Knowledge repositories for expertise capitalization, reuse and reproducibility Collaborative engineering for complex systems design Model-driven engineering and formal methods Dr. Ouhammou's publication record shows consistent contributions to real-time systems, embedded architectures, and model-based approaches. His recent work demonstrates increasing emphasis on drone technology and avionic applications, with numerous collaborations on autopilot design, scheduling optimization, and verification methodologies. His research bridges theoretical computer science with practical aerospace engineering challenges, addressing safety-critical aspects of embedded systems. Professional service includes: PC Member of MEDES 2020, INISTA 2020, WIMS, SADASC 2020 PC Chair of DETECT 2019 General Co-Chair of RTNS 2018 PC Member of multiple international conferences since 2017 Dr. Ouhammou collaborates extensively with researchers in the field of real-time systems, particularly with Emmanuel Grolleau and other members of the LIAS laboratory. His work often involves interdisciplinary teams addressing complex challenges in aerospace and embedded systems engineering, with practical applications in drone technology and avionic systems.