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

Alexandre Gondranمشاهده پروفایل

پژوهشگر

• Quantum Mechanics
• Optimization
• Graph Coloring
• +۴ مورد دیگر

Alexandre Gondran is a researcher at École Nationale de l'Aviation Civile (National School of Civil Aviation) with a career spanning quantum mechanics, combinatorial optimization, and air traffic management. His work bridges foundational physics and practical operations research, focusing on quantum interpretations (de Broglie-Bohm theory, double-scale models), graph coloring algorithms, and robust flight path allocation. Education : PhD in Computer Science (2008) from University of Technology of Belfort-Montbéliard and University of Franche-Comté. Research Interests : Alexandre's research explores quantum mechanics' foundational aspects through de Broglie-Bohm theory, semiclassical limits, and path integral methods. In optimization, he develops hybrid metaheuristics and exact algorithms for graph coloring, gate allocation, and air traffic conflict resolution. Publication Trends : His articles demonstrate dual expertise in quantum foundations (12/15 papers) and optimization (3/15), with recent works extending to stochastic processes and tropical mathematics applications in physics. Collaborations : Alexandre frequently collaborates with Michel Gondran (quantum theory), Laurent Moalic (graph algorithms), and Nicolas Barnier/Ruixin Wang (transportation systems), reflecting interdisciplinary research across physics, computer science, and aviation engineering.

Amaya Nogales Gómezمشاهده پروفایل

دانشیار

• Combinatorial Optimization
• Machine Learning
• Telecommunications
• +۳ مورد دیگر

Amaya Nogales Gómez is an Associate Professor at the Interdisciplinary Institute for Artificial Intelligence (3IA) at Université Côte d’Azur and a member of the Wimmics Research Team. Her research focuses on combinatorial optimization, machine learning, and their applications in telecommunications and operations research. She holds a Ph.D. in Mathematics from the University of Seville (2015) and has held roles including Postdoctoral researcher at I3S and researcher at Huawei France (2014–2019). Education: PhD in Mathematics, University of Seville (2015); Postdoctoral studies at I3S, Sophia Antipolis. Her research interests include: Optimization algorithms for resource allocation and network design Machine learning techniques for pattern recognition and classification Applications in mobile video streaming and radio resource management Key research areas span telecommunications optimization, data-driven decision making, and mathematical modeling. She has contributed to patents and publications in top-tier conferences/journals. Current openings: See internship on Fairness-aware NLP here .

Arnaud Knippelمشاهده پروفایل

مدرس

• Network Design and Optimization
• Mathematical Programming
• Graph Theory
• +۸ مورد دیگر

Arnaud Knippel is a Lecturer in the Department of Mathematical Engineering at INSA. He has been responsible for internships in the GM department since 2015 and is a member of the GM Department Council. His research focuses on network design and dimensioning using mathematical programming and graph theory, with applications in telecommunications, transport, logistics, electricity, physics, and chemistry. He also explores the intersection of Operations Research (RO), Artificial Intelligence (AI), and Data Science, particularly in partitioning/classification problems and subgraph isomorphism for pattern recognition. Knippel has coordinated major research projects such as XTerM (2016-2019, as INSA’s scientific coordinator) and Fractal Grid (2016-2019), both funded by ANR and FEDER. He contributed to CLASSE2 (2016-2018) and PLURADYS (2015), a health-focused classification project. His doctoral supervision includes Zacharie Ales (co-advised with LITIS & C. Gout), S. Benhida (co-supervised with ENSA Agadir), and I. Khames (with JG Caputo). His research interests emphasize theoretical and applied aspects of graph theory, optimization, and AI. Projects like XTerM and Fractal Grid highlight his work on network oscillations and electrical grid design, respectively. Despite no explicit mention of scientific awards, his extensive publication record and project involvement underscore his academic contributions.

• Operations Research
• Combinatorial Optimization
• Bilevel Optimization
• +۶ مورد دیگر

Ivana Ljubic is a Full Professor in Operations Research at ESSEC Business School, specializing in combinatorial optimization, bilevel optimization, and network design with applications in telecommunications, logistics, and bioinformatics. She holds a PhD in Computer Science from TU Wien (2004) and a Habilitation from the University of Vienna (2013). Editorial roles: Associate Editor for Operations Research , Transportation Science , and Networks Professional leadership: Chair of INFORMS Telecommunication & Network Analytics Section Her research focuses on mixed-integer programming, metaheuristics, and exact algorithms for problems like Steiner trees, regenerator location, and capacitated vertex separators. Recent work includes applications in community energy storage, social media influence maximization, and sustainable last-mile delivery. She has received multiple awards, including the Glover-Klingman Prize (2021) and Marguerite Frank Award (2022). Her publications span leading journals like Management Science , Operations Research , and Mathematical Programming , with over 70 articles to date.

Nikolaj Bjørnerمشاهده پروفایل

پژوهشگر

• Symbolic Solving Techniques
• SMT Solvers
• Program Verification
• +۱۰ مورد دیگر

Nikolaj Bjørner is a Partner Researcher at Microsoft Research , affiliated with the Research in Software Engineering (RiSE) group. His work centers on symbolic solving techniques, particularly through the development of the Z3 SMT solver , which underpins program verification, test case generation, and cloud network management. He has also contributed to distributed file systems and network verification . Academic Rank : Researcher Key Collaborations : Leonardo de Moura (Z3), George Varghese (network verification), Mooly Sagiv (controller verification) Research Interests : Bjørner’s work spans SMT solvers (Z3, muZ, SPACER), network verification (SecGuru, NoD, ddNF), and distributed systems (DFSR, RDC). His methods bridge logical reasoning, optimization, and network reliability. Article Trends : His publications focus on SMT solving (e.g., Z3, muZ, SPACER), network verification (ddNF, TeaVar), and quantifier instantiation (MBQI). These works integrate model-based reasoning and theory combination to address scalability in software and networking. Awards : 2021 ACM Fellow 2021 CAV Award (pioneering SMT contributions) 2019 Herbrand Award (Z3) 2017 Skolem Award (E-matching) 2016 Best Paper (HVC, ddNF) 2015 ACM SIGPLAN Software System Award (Z3) Collaborations & Students : Bjørner has mentored interns and collaborators like Daniel Selsam (neural networks for SAT), Nuno P. Lopes (Alive, NoD), and Rachee Singh (Shoofly, traffic engineering). He co-organized the 2022 Shonan workshop on SAT and served as program chair for conferences like PSI and FMCAD.

• Franchise networks
• Supply-chain management
• New Public Management
• +۳ مورد دیگر

Samuel LAGRANGE is Lecturer at IAE Clermont Auvergne – School of Management, Université Clermont Auvergne, where he conducts research within the Strategy, Territory and Actor Networks (STeRA) axis of the CRCGM laboratory (Centre de Recherche Clermontois en Gestion et Management). Education : No explicit educational background is provided in the supplied text. Research interests revolve around the governance and optimization of franchise networks, supply-chain modelling, New Public Management, and the management of commercial relationships in banking networks. He employs decision-modelling techniques, simulation, and mixed-integer linear programming to assess and enhance logistic and financial flows across diverse franchise systems, including bakery, restaurant, and fast-food networks. His work also explores how statutory diversity and proximity theory can illuminate managerial challenges within these networks. Publications (2010–2018) demonstrate a consistent focus on developing quantitative and conceptual frameworks for franchise and supply-chain management, with empirical applications to prominent French networks such as Paul, La Mie Caline, Flunch, Buffalo Grill, McDonald’s, and KFC. The studies collectively advance methodologies for optimizing mix rates, evaluating financial flows, and reinventing retail formats, particularly bank branches. Scientific awards : None are mentioned in the provided materials. Advising & grants : No specific doctoral or master’s students, research grants, or funded projects are listed. Laboratory & teams : He is an active member of the CRCGM – Centre de Recherche Clermontois en Gestion et Management (EA 3849), located at 28 Place Henri Dunant, 63000 Clermont-Ferrand, France.

Jesus Gonzalez Feliuمشاهده پروفایل

استاد

• Sustainable urban logistics
• Demand modeling and forecasting
• Transport optimization
• +۸ مورد دیگر

Jesus Gonzalez Feliu is a Professor of Supply Chain Management at Excelia Business School in La Rochelle, France. He holds a PhD in Computer and Systems Engineering from the Politecnico di Torino (Italy) and an Habilitation à Diriger des Recherches from the University of Paris Est. His academic journey includes positions as Research Engineer at CNRS, Assistant Professor at Ecole des Mines de Saint-Etienne, and current Professor at Excelia Business School since 2020. Habilitation à diriger des recherches, Université Paris Est, France (2016) Doctorat en Génie informatique et des systèmes, Politecnico di Torino, Italie (2008) Master en Transport et mobilité durable, Politecnico di Torino, Italie (2004) Professor Gonzalez Feliu specializes in sustainable urban logistics, demand modeling and forecasting, transport optimization, sustainable food logistics, humanitarian logistics and resilience, and group decision-making processes. His research often focuses on data production and demand estimation, interactive problem solving, and scenario evaluation in logistics contexts. He has made significant contributions to understanding urban freight systems, particularly in developing sustainable solutions for cities in both developed and developing countries. His extensive publication record includes over 75 peer-reviewed journal articles, 2 monographs, and guest editorship of more than 10 special journal issues. His most recent work demonstrates a continued focus on spatial accessibility in logistics warehouses, urban goods transport demand estimation, and sustainable supply chain solutions, with particular attention to applications in developing countries and humanitarian contexts. Chair of Urban Logistics Lab Scientific Committee, Deakin University, Melbourne (2019-2023) Member, Urban Mobility Observatory, Universidad del Pacifico, Lima (2020-present) Professor Gonzalez Feliu has supervised numerous research projects and collaborations across Europe, Latin America, and Australia. His work bridges theoretical modeling with practical applications, particularly in developing decision support systems for urban logistics planning and management. His international perspective is reflected in his research on logistics systems in diverse contexts, from European cities to developing economies in Latin America.

• Real-Time Scheduling
• Model-Based Systems Engineering
• Unmanned Aerial Vehicles
• +۳ مورد دیگر

Emmanuel Grolleau is a Full Professor at ISAE-ENSMA (Institut Supérieur de l'Aéronautique et de l'Espace - École Nationale Supérieure de Mécanique et d'Aérotechique) specializing in real-time systems. He is affiliated with the LIAS laboratory (Laboratoire d'Ingénierie des Applications de la Sensorique) where he leads the Real Time Team. His work bridges theoretical scheduling principles with practical embedded system implementations across multiple domains. Professor Grolleau's primary research interests include: Real-Time Scheduling: uniprocessor, multiprocessor, and distributed scheduling with practical considerations like transactions and precedence constraints Model-Based Systems Engineering (MBSE): developing bridges between UML-MARTE and AADL to real-time scheduling tools Unmanned Aerial Vehicles (UAVs): autopilot architecture design and optimization Energy Systems: co-heading the LabCom ANR Laboratoire d'Insertion des Énergies Nouvelles et d'Optimisation des Réseaux (LIENOR) His publication record demonstrates a clear progression from fundamental scheduling theory to applied work spanning avionics, drone technology, and power systems. Recent work shows strong focus on UAV autopilot architectures, model-based frameworks for real-time systems, and energy management in power distribution networks. Professor Grolleau serves on multiple prestigious program committees including Real-Time Networks & Systems (RTNS) since 2012, ACM/SIGAPP Symposium On Applied Computing (SAC) since 2015, DETECT since 2018, and DroneSE in 2023. He has led significant research projects such as PIA CORAC Panda and FUI WARUNA, which developed the Time4Sys pivot meta-model to connect theoretical scheduling with practical implementation. His collaborative work extends across multiple institutions and industries, with publications spanning real-time scheduling theory, UAV systems, energy management, and avionic architectures. The consistent thread through his work is the practical application of real-time scheduling principles to solve complex engineering problems in safety-critical systems.