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

Nathalie Bertrand is an Inria Researcher and Head of the DEVINE team at Inria Centre Rennes and IRISA lab. She co-heads the working group on Verification of the GDR IFM of the CNRS with Pierre-Alain Reynier, and co-leads the gender equality commission of IRISA and Inria Rennes with Elisa Fromont. She is also an active member of the Inria committee on gender equality and equal opportunity. PhD from ENS Cachan (October 2006) 1-year post-doc at TU Dresden Hired as Inria researcher (October 2007) Habilitation (HDR) from University Rennes 1 (November 2015) Dr. Bertrand's research focuses on formal methods, verification, model checking, parameterized systems, quantitative models, automata, and games. Her work bridges theoretical computer science with practical applications in distributed systems, probabilistic verification, and game theory. She develops efficient model-based formal methods to verify and enforce functional and non-functional properties of dependable distributed systems that include quantitative aspects such as time, cost, or probabilities. Her recent publications demonstrate a strong trend toward parameterized verification of distributed algorithms, probabilistic systems, and game-theoretic approaches to verification problems. Her research has evolved from foundational work on timed automata and probabilistic systems to increasingly complex problems involving distributed algorithms with arbitrary numbers of participants, blockchain consensus, and randomized fault-tolerant systems. Dr. Bertrand serves on the editorial boards of JLAMP and TCS, and has been a program committee member for numerous prestigious conferences including STACS, TACAS, Concur, QEST, LICS, FoSSaCS, ICALP, MFCS, and many others. She has co-chaired program committees for Formats'20, QEST'17, QAPL'14, and QAPL'15. As an advisor, she has supervised numerous PhD students including Nicolas Waldburger, Bastien Thomas, Suman Sadhukhan, Anirban Majumdar, Engel Lefaucheux, Paulin Fournier, and Amélie Stainer. She currently supervises postdoc Gaëtan Staquet and PhD candidates Pranav Ghorpade, Luca Paparazzo, and Luc Lapointe. She leads the DEVINE project-team (created January 2024), which focuses on developing efficient model-based formal methods to verify and enforce properties of dependable distributed systems with quantitative aspects. Previously, she was part of the SUMO team. Her current projects include ANR MAVeriQ (2021-2025), ANR BISouS (2022-2025), and ANR PaVeDyS (2024-2028).

• Formal Methods
• Verification
• Model Checking
• +۴ مورد دیگر

Anne-Laure Dalibard is a Professor at Sorbonne University's Faculty of Science and Engineering, affiliated with the Jacques-Louis Lions Laboratory (UMR CNRS 7598). She also serves as a Junior member of the Institut Universitaire de France (2020-2025) and was previously a part-time professor at the École Normale Supérieure in Paris (2021-2024). Her research focuses on mathematical analysis of fluid mechanics with applications to geophysical and oceanographic phenomena. Education: Student at ENS Ulm (2001-2005) PhD at CEREMADE, Paris-Dauphine University (defended October 8, 2007) Dalibard's research centers on geophysical fluids, boundary layers in fluid mechanics, congestion models, roughness models, scalar conservation laws, and homogenization theory. She specializes in asymptotic analysis of fluid equations relevant to oceanographic models, particularly those involving rotating fluids and boundary layer phenomena. Her work bridges rigorous mathematical analysis with practical applications in environmental fluid dynamics. Her recent publications demonstrate a consistent focus on boundary layer phenomena in fluid mechanics, with particular emphasis on geophysical applications. She has made significant contributions to understanding boundary layers in rotating fluids, congestion models in Navier-Stokes systems, and wave phenomena in stratified fluids. Her mathematical approach typically involves rigorous analysis of partial differential equations with singular perturbations, often using asymptotic methods, homogenization theory, and kinetic formulations. Scientific Awards: Junior member of the Institut Universitaire de France (2020-2025) Principal Investigator for ERC Starting grant BLOC (2015-2020) Leader of ANR BOURGEONS project (2023-2027) Dalibard leads substantial research initiatives including the ANR BOURGEONS project (2023-2027), which involves over 30 researchers, PhD students, and post-docs working on fluid dynamics aspects relevant to geophysical flows. She has supervised several PhD students including Jean Rax and Gabriela Lopez-Ruiz, and mentored post-doctoral researchers such as Frédéric Marbach, Marc Briant, and Matthew Paddick. Her research has been supported by prestigious grants from the European Research Council and the French National Research Agency. She is actively involved with the Jacques-Louis Lions Laboratory at Sorbonne University and collaborates extensively with researchers across France and internationally. Her work often intersects with oceanographic applications, connecting mathematical theory with environmental fluid dynamics problems.

• Geophysical fluids
• Boundary layers in fluid mechanics
• Congestion models
• +۵ مورد دیگر

Hervé Debar is a Professor and head of the Telecommunications Networks and Services (RST) department at Télécom SudParis. His research focuses on network and information system security, including SIEM systems, automated threat mitigation, SDN security, and resilience against cyber attacks. He coordinates major European projects like NECOMA (EU-Japan cybersecurity collaboration) and PANOPTESEC (industrial control systems security). Research interests span SIEM frameworks, intrusion detection, risk management, and defense mechanisms for critical infrastructures. His work emphasizes practical implementation through projects like MASSIF (SIEM decision support systems) and DEMONS (privacy-aware network monitoring). Recent articles address TLS protocol analysis, DDoS mitigation with SDN, honeypot models, and risk assessment for healthcare systems. He supervises multiple PhD students and collaborates with industry partners via CIFRE theses. His research group is part of SAMOVAR (CNRS UMR 5157). Teaching includes leading the Networks and Systems Security master's program, emphasizing hands-on training with industry partnerships. He actively recruits postdocs and engineers for cybersecurity research.

• Network Security
• Information Systems Security
• SIEM (Security Information and Event Management)
• +۶ مورد دیگر

Dr. Charlotte Halpern is a tenured FNSP researcher at Sciences Po's Centre for European Studies and Comparative Politics (CEE) in Paris. She is Co-director of the Environmental Policies Research Group at LIEPP and Director of the Institute for Environmental Transformations (IPTE). Her research spans public policy, urban sociology, environmental governance, and European Union politics. She teaches public policy analysis and urban governance at Sciences Po and AgroParisTech. Her research interests focus on public action, urban governance, environmental and transport policy, social movements, and participatory democracy. She investigates how policy instruments are selected and combined across different political systems, particularly in France, Germany, the UK, and the EU. Her work emphasizes the role of non-hierarchical governance, state restructuring, and the political regulation of urban utilities. She is particularly known for her studies on the 'Grenelle de l’environnement', metropolitan water governance, and sustainable urban mobility. The analysis of her recent publications reveals a consistent focus on environmental policy innovation, urban sustainability, and comparative governance. Her work bridges political science with urban planning and environmental studies, often employing comparative case studies across Europe, Latin America, and Southeast Asia. Key trends include the evaluation of participatory processes, the governance of decentralized utilities, and the long-term evolution of transport policies in major cities. She has received research funding from prestigious sources including the European Commission (Horizon 2020), the French National Research Agency (ANR), and the French Ministry of the Environment. Her major projects include CREATE (Congestion Reduction in Europe), MEGOWAS (Metropolitan Governance of Water Systems), and SYRACUSE (sustainable urban utilities). CREATE Project (2015–2018): European-funded project on urban congestion and sustainable mobility. MEGOWAS Project (2017–2018): USPC-NUS joint project on water governance in Manila, Jakarta, Lima, and São Paulo. SYRACUSE Project (2012–2016): ANR-funded project on technological and institutional innovations in urban utilities. Grenelle de l’environnement Study (2009–2012): Analysis of France’s national environmental consultation process. Policy Instruments Project (2005–2008): Comparative study of governance modes in EU environmental and urban policy. Dr. Halpern has conducted research stays at Nuffield College (Oxford), the Max-Planck Institute for the Study of Society (Cologne), and Humboldt University (Berlin). She is an associate researcher at the Public Policy Research Group at PUCP, Lima, and contributed to the creation of the Observatorio de políticas públicas para la ciudad. She has also been an invited lecturer at PUCP. Her interdisciplinary collaborations involve engineers, social scientists, and policymakers, particularly through projects integrating social and technical expertise in urban sustainability.

• Public Policies
• Environmental Policy
• Urban Sociology
• +۹ مورد دیگر

Ioan Todinca is a Professor of Computer Science at the University of Orléans, France, affiliated with the LIFO (Laboratoire d'Informatique Fondamentale d'Orléans) research laboratory. His academic career spans over two decades, with significant contributions to theoretical computer science, particularly in graph algorithms and distributed computing. Faculty of Science, University of Orléans LIFO Research Laboratory Member of Institut thématique pluridisciplinaire Modélisation, Systèmes, Langages (since 2014) Former director of MIPTIS doctoral school (2012-2014) Former head of Computer Science degree program (2007-2011) Former leader of LIFO Graphs, Algorithms and Computational Models team (2008-2012) Todinca's research focuses primarily on graph algorithms, with expertise in exact algorithms (moderately exponential), parameterized algorithms, and algorithms for specific graph classes. He has made significant contributions to techniques involving tree decompositions, treewidth, minimal separators, and potential maximal cliques. More recently, his work has expanded into distributed algorithms, especially in communication-constrained models like the broadcast congested clique. His research bridges theoretical foundations with practical algorithmic approaches for NP-hard problems. The analysis of his recent publications reveals a strong trend toward distributed computing problems, particularly in congested network models. His work spans from fundamental graph theory problems (cycle detection, graph modification) to applications in quantum computing and model checking. The consistent focus on communication complexity, verification, and efficient algorithms across different computational models demonstrates his ability to adapt theoretical computer science principles to emerging computational paradigms. Todinca has supervised numerous PhD students and has been actively involved in the theoretical computer science community through conference organization and editorial work. His publications appear consistently in top-tier venues including SIAM Journal on Computing, Algorithmica, and proceedings of major conferences like STACS, WG, and DISC. Teaching responsibilities include algorithms, graph theory, and discrete structures for undergraduate and graduate students, with previous experience teaching databases, programming, and software engineering. His educational materials are hosted on the university's Celene platform.

• Graph Algorithms
• Theoretical Computer Science
• Exact Algorithms
• +۶ مورد دیگر

Véronique VEQUE is a Professor at CentraleSupélec, working within the L2S research laboratory. Her research focuses on networking technologies including wireless networks, vehicular networks, and satellite communications. She specializes in developing efficient routing protocols, mobility management systems, and energy optimization techniques for next-generation networks. Dr. Veque's current research examines flexible resource allocation in disaggregated RAN architectures, intelligent routing algorithms for dense WiFi networks, and predictive modeling for IoT congestion control. Her work combines theoretical modeling with practical implementations for telecommunications systems. Her publication record spans network architecture design, mobility modeling, routing optimization, and energy-efficient communication. Recent work has focused on Open-RAN functionality placement, Cloud-RAN resource allocation, and stochastic mobility modeling for urban environments.

• Wireless Networks
• Vehicular Networks
• Network Routing
• +۳ مورد دیگر

François Chaumette is a Senior Research Scientist (Directeur de recherche) at Inria, affiliated with IRISA and the Centre Inria de l'Université de Rennes. He has been a key researcher in robotics and computer vision since 1990 and led the Lagadic research team from 2004 to 2017. His research interests are centered on robot vision, particularly visual servoing and active perception . He has made foundational contributions to image-based and position-based visual servoing, and his work integrates control theory, computer vision, and robotics. His research spans applications in mobile robotics, aerial systems, medical robotics, space robotics, and soft object manipulation. The recent publications highlight a consistent focus on visual servoing under complex constraints—such as motion blur, occlusions, and deformations—applied to drones, cable-driven robots, and space systems. There is a strong emphasis on robustness , stability analysis , and hybrid sensing (e.g., vision + proximity, vision + force). His work with the RemoveDebris mission demonstrates real-world impact in space robotics. AFCET/CNRS Prize for best Ph.D. in Automatic Control Best paper awards at RFIA 1996 & 2004 Best paper in IEEE T-RA (2002) Best paper in IEEE RA-L (2019) Best paper in IEEE RAM (2020) IEEE Fellow (2013) He has advised over 30 Ph.D. students, many of whom have become active researchers in robotics. He has served in editorial roles for top journals including IEEE Transactions on Robotics , IEEE Robotics and Automation Letters , and the International Journal of Robotics Research . He was elected to the IEEE RAS Administrative Committee (2016–2018) and served on ERC grant panels for robotics. Chaumette is the main developer of ViSP (Visual Servoing Platform), a widely used C++ library for visual tracking and servoing. His leadership in both theoretical advances and software tools has significantly shaped the visual servoing community.

• Robotics
• Computer Vision
• Visual Servoing
• +۱۷ مورد دیگر

Professor Hugues MOUNIER is affiliated with Paris Saclay University and the Laboratoire des Signaux et Systèmes (L2S) at CentraleSupélec. His primary role is as a Professor leading the COMEDY team, focusing on control systems and their applications. He has been a permanent member of L2S since 2010 and joined Paris Saclay University in 2008. His research spans theoretical and applied domains: differential flatness (for nonlinear and infinite-dimensional systems), Liouvillian systems, controllability/observability properties, and applications in contemplative neuroscience, physiological systems, and engineering systems like drilling, automotive, and network control. He leads the ANR project MindMadeClear, integrating mathematical models for meditation practices with physiological and phenomenological analysis. Key contributions include modeling oilwell drilling vibrations, model-free control strategies for vehicles and data centers, and neuroscientific studies using EEG classification for meditation states. His work bridges abstract theory (e.g., flatness analysis for HPA axes) with real-world applications (e.g., congestion control, energy management). He collaborates internationally, presenting at venues like ECC, IFAC, and IEEE conferences. His lab teams include SYCOMORE and MODESTY, focusing on dynamical systems modeling and estimation. No awards are explicitly listed, but his extensive peer-reviewed publications reflect sustained academic impact.

• Control Theory
• Differential Flatness
• Controllability Analysis
• +۵ مورد دیگر

Roua TOUIHRI is a Lecturer at Telecom SudParis and an associate member of the ACMES group. She is affiliated with the SAMOVAR research laboratory, which focuses on networking and distributed systems. She holds a PhD in Hardware Architecture from Paris-Est University (2021), where her thesis addressed optimizing routing and resource allocation in SDN-based server-only data center networks for private cloud architectures. Her research interests center on Software-Defined Networking (SDN), cloud computing, and service-level agreement (SLA) management. She explores topics such as autonomous multi-cloud SLA adaptation, process mining for SLA reporting, and optimizing routing protocols in data center networks. Her work often intersects with network protocol design, resource allocation strategies, and improving network throughput in distributed systems. Her publications span conferences like IEEE BigData, IEEE ICC, and GLOBECOM, focusing on SDN-based solutions for data center networks, multi-cloud SLA management, and protocol optimization. She has contributed to developing novel routing schemes like M-CRP and CRP for CamCube server-only architectures, addressing latency reduction and resource utilization challenges. Roua TOUIHRI’s academic contributions are anchored in practical applications of SDN and cloud technologies, with a focus on scalable and efficient network designs for modern distributed systems.

• Software-Defined Networking (SDN)
• Data Center Networks
• Cloud Computing
• +۴ مورد دیگر

Nicolas Babault is a Professor at the University of Burgundy, Faculty of Sports Science, where he serves as Head of the first year of the Master's program in Sports Training and Optimization of Performance (EOPS). He co-directs the Performance Expertise Center (CEP) technological platform and serves as associate editor for Frontiers in Physiology, Brazilian Journal of Physical Therapy, and Sports MDPI. His research is conducted within the Cognition, Action, and Sensorimotor Plasticity (CAPS) laboratory. Dr. Babault earned his Doctorate from the University of Burgundy in 2002 and completed his Habilitation to Direct Research in 2014. His educational background has positioned him as a leading researcher in sports physiology and biomechanics. His primary research interests focus on neuromuscular physiology related to exercise, with specific emphasis on the acute effects of stretching on the neuromuscular system, electrostimulation applications for training and rehabilitation, and performance criteria determination across various sports including rugby, football, and cycling. His work explores different stretching modalities (static, dynamic, neurodynamic), electrostimulation protocols, and combined training methods (strength/endurance). Through the CEP platform, he also conducts industry collaborations on topics including nutritional supplements, footwear, exoskeletons, smart textiles, and augmented reality. Analysis of his recent publications reveals a strong focus on soccer performance analytics, stretching protocols, and neuromuscular adaptations. His work increasingly incorporates complexity theory and multifractal analysis for understanding sports performance, while maintaining strong connections between laboratory research and practical applications in elite sports settings. Dr. Babault actively collaborates internationally with researchers from the University of Brasilia (Brazil), Edith Cowan University (Australia), and St Mary's University (UK), demonstrating the global recognition of his research contributions. He serves on the National University Council (74th section) and the Ethics Committee for Sports Science Research (CERSTAPS), reflecting his leadership role in shaping academic and ethical standards in his field.

• Neuromuscular Physiology
• Biomechanics
• Exercise Science
• +۴ مورد دیگر

Nicolas Coulombel is a Lecturer at École des Ponts ParisTech - ENPC and Deputy Director of the City Mobility Transport Laboratory (LVMT). His research focuses on transportation systems, housing market dynamics, and their interactions, emphasizing economic modeling and big data applications. He holds a Doctorate in Urban Economics (2010) and is a Chief Engineer of the Corps of Bridges, Waters and Forests. Key roles include leading the Eco-Conception Chair (Vinci partnership) and scientific coordination of the POLL-EXPO project (PRIMEQUAL-funded). Teaching responsibilities span courses like 'Transportation Economics' at Paris School of Economics and 'Transport and Urban Planning' at École des Ponts engineering programs. Research themes include public transport congestion, autonomous vehicles, transport-land use modeling, and housing budget analysis. His work bridges engineering and economics, addressing urban sustainability challenges in Paris and beyond. Active in interdisciplinary projects linking mobility models with environmental impact assessments.

• Transport Economics
• Urban Economics
• Transport Modeling
• +۶ مورد دیگر

Frédéric Gaschet is a Professor of Economics at the University of Bordeaux, where he serves as Director of the Faculty of Economics, Management and AES, and Director of the Department of Economic and Social Administration. He is also a researcher at GREThA (Research Group in Theoretical Economics) and leads the Master’s program in Economic Intelligence - Innovation and Territories. Additionally, he contributes to the TECHNOPE program on energy transition in China. His research focuses on urban and territorial economy, housing markets, mobility, and the geography of innovation. Key topics include urban polycentrality, urban sprawl, segregation, land and property pricing, and the impact of coastal risks on real estate. He applies spatial econometric methods to analyze urban dynamics and congestion, particularly in the Bordeaux metropolitan area. The recent publications reflect a strong engagement with urban economics and regional development, combining spatial analysis with policy-relevant themes such as peri-urban congestion, land use effects on housing prices, and innovation cluster dynamics. His work bridges theoretical economics with territorial planning and sustainability challenges. Scientific Awards: No awards mentioned in the provided text. Advising and Grants: Frédéric Gaschet heads the Master’s program in Economic Intelligence - Innovation and Territories, indicating active leadership in academic training. He is involved in research programs such as TECHNOPE, suggesting participation in funded interdisciplinary projects, though specific grants are not listed. No information on doctoral advisees is available. Labs and Teams: He is a member of GREThA (Research Group in Theoretical Economics), a major research unit at the University of Bordeaux, and contributes to the TECHNOPE program focused on energy transition in China, reflecting engagement with international and policy-oriented research initiatives.

• Urban and Territorial Economy
• Housing Economics
• Geography of Innovation
• +۹ مورد دیگر

Antoine Tonnoir is a Lecturer at INSA Rouen Normandie, affiliated with the INSA Mathematics Laboratory (LMI), where he focuses on numerical modeling, partial differential equations (PDEs), numerical analysis, inverse problems, and wave propagation in unbounded domains. His work includes applications in ultrasonic non-destructive testing (NDT), medical imaging, and geophysical studies. His research spans collaborations with institutions such as University of Geneva POEMS LMI M3DISIM CEREMA INRIA and projects like ANR COSS (Control on Stratified Structures), DEFHY3GEO (coastal erosion), and INSA Exploratory Project (NDT simulation tools). Recent publications highlight his work on reciprocity gap methods for source identification infinite element modeling for geophysics Schwarz decomposition for Helmholtz equations transparent boundary conditions in waveguides non-local traffic flow models with keywords spanning applied mathematics, computational physics, and inverse problems. He co-supervises doctoral students in inverse problems and wave propagation, and develops the 2D/3D finite element code PyLGRIM for linear PDEs and geophysical applications. His teaching includes courses in numerical analysis, ODEs, topology, and optimization at INSA Rouen’s STPI and GM departments.

• Analysis
• PDE
• Modelling
• +۷ مورد دیگر

Dr. Juan A. Fraire is a researcher at INRIA (France) and serves as a guest professor at Saarland University (Germany) and CONICET-UNC (Argentina). His core research focuses on near-Earth and deep-space networking, with over 100 publications in top journals and conferences. He co-founded and chairs the Space-Terrestrial Internetworking Workshop (STINT) and collaborates with space agencies (NASA, ESA, CONAE) and companies (D3TN, Skyloom). Key projects include STEREO (ANR PRCE coordinator), MISSION (MSCA RISE national coordinator), and AI4LFNM (ESA ITT coordinator). His work spans non-terrestrial networks (NTN), satellite IoT, and interplanetary routing. Research interests emphasize scalable space networking protocols, delay-tolerant networks (DTN), and optical/satellite communication systems. He leads initiatives in autonomous laser link scheduling for Mars exploration, constellation design for global IoT coverage, and hybrid RF/optical terminals for improved pointing accuracy. Over a decade of funding includes European and national grants, focusing on network emulation, edge computing orchestration, and resilient space communication. Dr. Fraire supervises multiple PhD candidates, co-supervising with experts like Prof. H. Hermanns and Prof. H. Rivano. His advising emphasizes interdisciplinary approaches to space informatics challenges. Recent work explores AI-driven congestion control, LoRaWAN scalability for direct-to-satellite IoT, and integrated space-terrestrial cloud latency optimization.

• Space Networking
• Deep-Space Informatics
• Satellite Communications
• +۴ مورد دیگر

Amaury Hayat is a Professor at École des Ponts ParisTech (Institut Polytechnique de Paris) since 2023 and a permanent researcher at CERMICS since 2019. He holds a PhD from Sorbonne Université (2016–2019) under the supervision of Jean-Michel Coron, with joint supervision from Sébastien Boyaval. His research focuses on stabilization of partial differential equations (PDEs), control theory, and applying AI to mathematical problem-solving. He has held research positions at Rutgers University (2019–2020), ETH Zürich, Tongji University, and Peking University. His work includes groundbreaking contributions to boundary stabilization of hyperbolic systems, traffic flow control, and neural theorem proving. Research interests span: stabilization of nonlinear PDEs, AI-driven mathematical discovery, and applications in traffic engineering. He leads projects like CIRCLES, addressing traffic congestion via autonomous vehicles. Notable collaborations include Meta AI’s Evariste team for automated theorem proving and Harvard CMSA for AI in mathematics. Key achievements: over 30 publications in top journals (e.g., Annales de l’Institut Fourier , NeurIPS ), invited talks at international conferences (CPDE 2025, Harvard CMSA), and supervision of students who have won awards such as the Shanghai Outstanding Graduate Award. His lab develops tools for energy-efficient traffic control and AI-assisted mathematical reasoning.

• Partial Differential Equations
• Control Theory
• Artificial Intelligence in Mathematics
• +۵ مورد دیگر