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

• Networks and Data
• Distributed Systems
• Peer-to-Peer Storage
• +۵ مورد دیگر

Gil UTARD is a University Professor at Université de Picardie Jules Verne (UPJV), specializing in Networks and Data. His research spans from foundational work in parallel computing and distributed systems to cutting-edge applications in medical IoT security and blockchain technology. Research Focus: Professor Utard's work has evolved significantly over three decades, beginning with fundamental research in parallel computing architectures and matrix operations. His early contributions include developing efficient out-of-core algorithms for large-scale matrix computations and pioneering work in data-parallel program validation. More recently, his research has pivoted toward critical applications in healthcare technology, specifically securing medical Internet of Things (IoT) devices through innovative blockchain implementations and advanced cryptographic protocols. Research Areas: Distributed Systems and Peer-to-Peer Networks Medical IoT Security and Privacy Blockchain Technology for Healthcare Parallel and High-Performance Computing Large-scale Data Storage and Management Cryptographic Protocols for Secure Data Sharing Research Evolution: His publication trajectory demonstrates a clear evolution from theoretical computer science foundations to practical security applications. The 2000-2010 period focused on parallel computing fundamentals, particularly matrix operations and storage systems. The 2011-2020 period saw expansion into peer-to-peer storage systems and distributed architectures. The 2021-present period represents a dramatic shift toward medical applications, with 70% of recent publications addressing healthcare-specific security challenges. Laboratory Affiliation: Professor Utard is associated with the Networks and Data domain within UPJV's research structure, though specific laboratory details are not provided in the source material.

• Semantic Data Integration
• Ontology-based Database Design
• Big Data & Cloud Computing
• +۵ مورد دیگر

Ladjel Bellatreche is a Full Professor at the National Engineering School for Mechanics and Aerotechnics (ISAE-ENSMA) in Poitiers, France, where he has been a faculty member since September 2010. He leads the Data and Model Engineering Team of the Laboratory of Computer Science and Automatic Control for Systems (LIAS). Prior to his current position, he spent eight years as Assistant and then Associate Professor at Poitiers University. His academic journey includes visiting positions at Université du Québec en Outaouais (Canada), Purdue University (USA), and Hong Kong University of Science and Technology (China). Professor Bellatreche's research interests span multiple domains in data management and engineering, with a focus on Semantic Data Integration, Ontology-based Database Design, Life Cycle of Extremely Large Database Design, Big Data & Cloud Computing, Green Computing, and Database Deployment. His work bridges theoretical foundations with practical applications in data-intensive systems. His publications reflect a strong trend toward addressing challenges in big data analytics, semantic data integration, and energy-efficient database systems. The research demonstrates a progression from traditional data warehousing techniques to more advanced approaches incorporating semantic web technologies, linked open data, and green computing principles. His work increasingly focuses on scalability, efficiency, and the integration of diverse data sources. Professor Bellatreche has received recognition through his service as an Editorial Board Member for the International Journal of Reasoning-based Intelligent Systems and as subject area editor of the Scalable Computing Journal. He has also served as a reviewer for prestigious journals including IEEE TKDE and Distributed and Parallel Database Journal. His leadership extends to organizing major international conferences such as DAWAK, DOLAP, MEDI, and WISE. With over forty program committee memberships, he plays a significant role in shaping research directions in data management. Additionally, he actively promotes research in Africa and Asia through student supervision and conference organization.

Nicolas THIBAULTمشاهده پروفایل

مدرس

• Computer Science
• Algorithms
• Parallel Computing
• +۳ مورد دیگر

Mr. Nicolas THIBAULT is a Lecturer in Computer Science at Paris-Panthéon-Assas University, affiliated with the Center for Research in Economics and Law (CRED). His academic career combines teaching and research in theoretical computer science, with a focus on algorithms and network optimization. His research interests include: Algorithms (particularly randomized and truthful scheduling) Dynamic graph maintenance and incremental/decremental tree problems Online computation and bicriteria optimization Network interconnection and parallel machine scheduling Recent publications highlight his work on: Truthful mechanisms for weighted completion times Disturbance minimization in connection trees Hardness results for multi-group interconnection Competitive analysis of online scheduling Optimal rebuilding strategies for dynamic trees Scientific awards include the Best Young Researcher Article at AlgoTel 2006 for his work on connection tree updates. He co-heads the Professional License program in Organizational Management, specializing in Network and Information Systems Management.

• Machine Learning
• Evolutionary Algorithms
• Optimization
• +۵ مورد دیگر

Fabien TEYTAUD is a Maître de Conférences (Associate Professor) with Habilitation à Diriger des Recherches (HDR) in computer science, indicating his qualification to supervise PhD students within the French academic system. His research spans multiple interconnected domains within artificial intelligence and computational optimization. Dr. TEYTAUD's primary research interests include: Evolutionary algorithms and black-box optimization techniques Monte Carlo Tree Search and game AI applications Deep learning architectures, particularly Generative Adversarial Networks Multi-objective and multi-modal optimization approaches Applications of machine learning in agriculture and computer graphics His recent publications demonstrate a strong focus on improving optimization techniques through novel approaches that combine evolutionary algorithms with Bayesian methods, bandit algorithms, and deep learning architectures. He has made significant contributions to noise characterization in Monte Carlo rendering, hyperparameter optimization, and diverse image generation. Dr. TEYTAUD has an extensive publication record in top-tier conferences including GECCO, ICMLA, PPSN, and IEEE CEC, with consistent contributions from 2014 through 2022. His collaborative work spans multiple French institutions and international research teams, reflecting his active engagement in the global optimization and AI research community.

Benjamin Negrevergneمشاهده پروفایل

دانشیار

• Machine Learning
• Artificial Intelligence
• Data Mining
• +۳ مورد دیگر

Benjamin Negrevergne is an Associate Professor at the LAMSADE laboratory within Paris Dauphine University (PSL Research University), actively engaged in Machine Learning research. He co-leads the MILES research team and serves as co-director of the IASD Master's Program in AI and Data Science. He also contributes to PSL's computer science graduate program and is launching Nautia, a startup focused on reinforcement learning for sailing automation. His research spans Generative Modeling, Adversarial Machine Learning, and Constraint Programming, with over 15 recent publications in top conferences (NeurIPS, ICML, ACL). He has advised notable Ph.D. students including Alexandre Araujo (postdoc at NYU), Boris Doux (AWS), Alexandre Vérine (École Normale), Lucas Gnecco (ANR project DELCO), and Kunhao Zheng (Meta/FAIR). Key article trends include improving language model diversity, adversarial robustness, diffusion model optimization, and precision-recall metrics for generative systems. His work often combines theoretical rigor with practical applications in cybersecurity, game AI, and parallel computing. Benjamin holds a Ph.D. from the University of Grenoble (2011) with a thesis on parallel pattern mining algorithms. He collaborates with researchers like Yann Chevaleyre, Gabriel Synnaeve, and Tristan Cazenave, with publications in journals such as DMKD and KAIS.

• Parallel and Distributed Computing
• High Performance Computing
• Edge-Cloud Computing
• +۳ مورد دیگر

Overview Dr. Jean-François DOLLINGER is a Researcher-Lecturer at CESI LINEACT (Strasbourg campus), affiliated with the Engineering and Numerical Tools research team. His academic roles include teaching Computer Science courses (undergraduate/graduate) and supervising student projects in algorithmics, programming, databases, and networks. Education: PhD in Computer Science (2011-2015), University of Strasbourg - ICube Lab MSc in Computer Science (2009-2011), University of Strasbourg (Highest Honors) BSc in Computer Science (2008-2009), University of Strasbourg (Honors) Research Interests: Focuses on edge-cloud computing, high-performance distributed systems, combinatorial optimization in IoT networks, and smart city infrastructure. Specializes in optimizing federated learning, WSN deployment strategies, and hybrid CPU/GPU execution frameworks. Advising & Collaboration: Supervises PhD/Master’s students (e.g., A. BAAHMED on federated learning, K. BOUHOUCH on OpenStack edge deployment) Collaborated with Indonesian universities (Mercu Buana) on RPL protocol extensions Research Team: Leads the Engineering and Numerical Tools group, developing frameworks for edge-cloud infrastructures and BIM-based WSN deployments in smart buildings.

• Stochastic Optimization
• Chance-Constrained Optimization
• Distributionally Robust Optimization
• +۶ مورد دیگر

Abdel Lisser is a Professor at CentraleSupélec, affiliated with the Laboratory of Signals and Systems (L2S). His research focuses on stochastic optimization, distributionally robust optimization, and game theory with applications in control systems, networks, and autonomous systems. He has made significant contributions to chance-constrained programming, Markov decision processes, and neurodynamic optimization. His work bridges mathematical foundations with practical applications in energy management, telecommunications, and machine learning. Notable recent research includes the development of physics-informed neural networks for solving nonlinear optimization problems and stochastic trajectory planning for autonomous vehicles. Lisser collaborates internationally, with publications in top journals such as *Journal of Optimization Theory and Applications* and *IEEE Transactions on Neural Networks and Learning Systems*. He advises on projects involving robust control and decision-making under uncertainty. His laboratory, L2S, is a leading center for systems analysis and optimization at Paris-Saclay.

• Event-Driven Control
• Cyber-Physical Systems
• Robotics
• +۶ مورد دیگر

Sylvain Durand Chamontin serves as an Associate Professor at INSA Strasbourg, affiliated with the ICube research laboratory (UMR 7357) and the AVR (Automation, Vision, Robotics) team. His teaching encompasses advanced automation (anti-windup, Smith predictor, LQ control), embedded systems/IoT, motorization/axis control, linear automation (state feedback, observers), and sequential automation (GRAFCET, GEMMA) for electrical engineering, mechatronics, and mechanical engineering students across 2nd–5th year programs. His research centers on frugal design and control of embedded cyber-physical/robotic systems under resource constraints, with a dedicated focus on non-periodic sampling and event-driven techniques . Key domains include event-driven control architectures, dynamic vision sensor-based visual servoing, aerial robotics (UAVs/aerial manipulators), and swarm robotics. This work systematically reduces computational load, communication overhead, and energy consumption while maintaining robust performance in resource-limited environments—critical for embedded implementations in drones and cyber-physical systems. Analysis of Durand's 15 most recent publications (2022–2025) reveals a dominant trend in event-driven control for robotics, increasingly integrating machine learning for adaptive tuning. His work targets practical applications in aerial robotics, including UAV stabilization under ground effects, elastic-suspension aerial manipulation, and event-based visual servoing. A strong emphasis on frugality permeates techniques like non-periodic sampling and resource-aware control strategies, directly addressing hardware limitations in embedded platforms. Durand mentors award-winning PhD students including M. Pivert (Best Student Paper Award, IFAC Robotics 2025), T. Paul (i-PhD Innovation Contest 2022), and A. Yiğit (Best PhD Award in French Robotics 2021). He leads multiple ANR-funded projects: e-VISER (event-driven visual control, 2018–2021), DexterWide (cable robots, 2015–2018), and current initiatives eSWARM (modular UAVs, 2023–2025), muteSWARM (acoustic swarm control, 2023–2027), STRAD (street art drone, 2022–2026), TIR4sTREEt (urban micro-climatology, 2022–2026), and dark-NAV (GPS-denied navigation, 2021–2025). Within ICube's AVR team, Durand drives laboratory development of the dextAIR robot (omnidirectional aerial manipulator with elastic suspension) and embedded control systems for cable-driven parallel robots and swarm robotics. His experimental work emphasizes real-time implementation, energy efficiency, and frugal engineering principles—translating theoretical event-driven control into hardware solutions for resource-constrained robotic applications.

Claire Maizaمشاهده پروفایل

دانشیار

• Real-Time Systems
• Computer Architecture
• Worst-Case Execution Time (WCET) Analysis
• +۵ مورد دیگر

Claire Maiza is an Associate Professor at Grenoble INP's Ensimag (École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble) and a member of the Verimag laboratory. She holds a Habilitation à Diriger des Recherches (HDR) awarded in June 2023. Her research focuses on timing analysis, real-time systems, and predictable execution models for embedded and multi-core/many-core platforms. Her work emphasizes worst-case execution time (WCET) evaluation, cache-related timing anomalies, and resource interference analysis in shared environments. Key contributions include frameworks for multi-core response time analysis, memory interference mitigation strategies, and novel approaches to model cache behaviors like LRU and PLRU policies. She also investigates scheduling algorithms resilient to preemption delays and software/hardware co-design for deterministic execution. Her research addresses challenges in hard real-time systems, including mixed-criticality scheduling, network-on-chip (NoC) timing, and WCET estimation using program semantics. Claire's methodologies aim to bridge theoretical timing analysis with practical implementation constraints in industrial applications. No academic awards or grants are explicitly listed in the provided text. She is affiliated with the SharedResources group, though specific lab/team details beyond Verimag are not elaborated.

Tobias Wrigstadمشاهده پروفایل

استاد

• Type Systems
• Reference Capabilities
• Programming Languages
• +۲ مورد دیگر

Tobias Wrigstad is a faculty member at Uppsala University, Sweden, with research interests spanning type systems, reference capabilities, programming language design, scripting languages, and concurrent/parallel programming. His work focuses on memory management, concurrency safety, and language extensions for performance optimization. Education: Not explicitly mentioned in provided data Research Interests: Designing type systems to enforce concurrency safety and memory correctness Reference capabilities for manual and automatic memory management Actor model programming and garbage collection co-design Cache locality optimization without program restructuring Formal verification of language designs using Dafny Recent Publications (2025-2015): Explore concurrency safety through region ownership Develop parallel array programming models in Kappa Investigate energy-efficient garbage collection Design capability-based dynamic languages for data race freedom Create formal models for heap invariants and incorrectness Optimize memory allocation via load barriers Conference Involvement: 2025: IWACO Committee Member, OOPSLA Associate Chair 2024: Program Co-Chair for IWACO, Author in VIMPL, MPLR, ISMM 2023: SPLASH Steering Committee, ECOOP PC Member 2022-2015: Active in PLDI, ECOOP, ICFP, and related workshops

• Embedded Systems Security
• Side-Channel Attacks
• Secure Architectures
• +۳ مورد دیگر

Guillaume Duc is an Associate Professor (Maître de Conférences) at Télécom Paris, affiliated with the Laboratoire Traitement et Communication de l'Information (LTCI) and the Systèmes Embarqués Critiques Autonomes team within the Computer Science and Networks Department. His expertise lies in embedded systems security, side-channel attacks, and secure architectures. Research Interests: His work spans embedded systems security , focusing on securing communication buses and memory architectures against espionage. He explores hardware support for software security , side-channel attacks (notably through the DPA Contest ), and secure memory encryption techniques. His research also delves into integrity checking , fault detection , and distributed security for multiprocessor systems. Publications & Patents: He has published extensively in top-tier journals and conferences, including Journal of Cryptographic Engineering , ACSAC , and CARDIS . His work covers topics like AES side-channel attacks, secure memory architectures, and Java Card vulnerabilities. He also holds multiple patents in secure memory allocation and electronic equipment monitoring. Teaching & Supervision: He leads several courses at Télécom Paris, including INF107: From Logic Gates to Operating Systems and SE203: Tools, Languages, and Practices for Microprocessor Systems . He is also involved in advanced Rust programming modules and has supervised PhD students. Labs & Teams: He is a key member of the Systèmes Embarqués Critiques Autonomes team at LTCI, contributing to cutting-edge research in secure and autonomous embedded systems.

• Logic Programming
• Constraint Programming
• Formal Specification
• +۳ مورد دیگر

AbdelAli ED-DBALI is a Lecturer in Computer Science at the University of Orleans' Faculty of Sciences, Department of Computer Science, where he has been employed since September 1993. He has held significant administrative positions including Vice-President in charge of Digital and Educational Innovation (May 2016-May 2022), Digital Communication Officer (2012-2016), Facilitator of the Communication Commission (2009-2012), and Director of the Computer Science Department (2006-2012). Dr. ED-DBALI obtained his PhD in computer science in 1993 under the supervision of Gérard Ferrand and Pierre Deransart. His research, conducted jointly at the University of Orleans and INRIA, focused on formal and executable specification in logic programming with application to the standardization of the Prolog language. He contributed to Prolog standardization within the ISO WG17/SC22 international expert group. His research interests center on Logic Programming , Constraint Programming , Formal Specification , and Prolog Language Standardization . He has published significant work on constraint satisfaction problems, consistency algorithms, and the application of machine learning to constraint solvers. His research shows a consistent focus on the theoretical foundations of logic programming with practical applications in constraint solving and language standardization. His publications demonstrate expertise in both theoretical computer science and practical implementation, with a notable gap between 2003 and 2023 publications suggesting a period of administrative focus followed by a return to research. The 2023 work on Verified High Performance Computing indicates an expansion of his research interests into verification techniques for parallel computing systems. Dr. ED-DBALI is best known for his contribution to the book Prolog - The Standard: Reference Manual , which provides a comprehensive description of the ISO standard for the Prolog programming language. This work established him as an authority in logic programming language specification. As an administrator, he managed the university's digital strategy, information systems infrastructure, and educational support systems. He was responsible for implementing and developing the university website and deploying digital signage screens across campuses, with a focus on enhancing university attractiveness. His departmental leadership involved managing approximately 550 students and 26 permanent teacher-researchers, along with 8 doctoral/post-doctoral students and 4 technicians/administrators in the Computer Science Department.

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

دانشیار

• Distributed Algorithms
• Modular Robotics
• Programmable Matter
• +۴ مورد دیگر

Benoit Piranda is an Associate Professor of Computer Science at the University of Franche-Comté , affiliated with the FEMTO-ST Institute and its Complex Networks Team (DISC/OMNI) . He leads the development of VisibleSim , a parallel behavioral simulator for modular robots. University: University of Franche-Comté Institute: FEMTO-ST Team: DISC/OMNI Role: Researcher & Software Developer Research Focus: Distributed algorithms for modular robots, programmable matter, physical simulations, and parallel execution environments. His work spans self-reconfiguration, communication protocols, and efficient scene encoding for large-scale robotic systems. Article Trends: Recent publications highlight advancements in 2D/3D lattice modular robot algorithms Porous structure reconfiguration Time synchronization protocols VisibleSim simulation framework Multi-scale distributed displays Security protocols for programmable matter Conference Involvement: Active in program committees for DARS, IEEE ATC, IROS, and AINA. Former Publicity Chair positions.

Jérôme DURAND-LOSEمشاهده پروفایل

استاد

• Computational Models
• Cellular Automata
• Unconventional Computation
• +۷ مورد دیگر

Jérôme DURAND-LOSE is a Professor of Computer Science at the University of Orléans, France, affiliated with the Faculty of Science and Technology and the Department of Computer Science. He is a member of the Graphs, Algorithms and Calculation Models team at LIFO (Fundamental Computer Science Laboratory of Orléans) and serves as Deputy Scientific Director for Europe and International at CNRS Computer Sciences since May 2024. He completed his PhD in Computer Science at the University of Bordeaux I in 1996, followed by a Habilitation à Diriger des Recherches (HDR) from the University of Nice-Sophia Antipolis in 2003. His academic career includes positions as Lecturer at the University of Nice-Sophia Antipolis (1998-2004), CNRS delegation to LIP (Laboratory of Parallel Computing) at ÉNS Lyon (2002-2004), and recruitment as University Professor at the University of Orléans in 2004. He has been promoted through the professorial ranks to the second exceptional class in 2023. DURAND-LOSE's research focuses on unconventional models of computation, particularly signal machines for abstract geometrical computation in Euclidean spaces. His work explores cellular automata, reversible computing, distributed systems, and self-stabilization. He has made significant contributions to understanding geometric computation, collision computing, and computational universality in continuous space-time models. His research demonstrates how continuous geometry can be harnessed for both classical and hypercomputation. His recent publications demonstrate a consistent focus on abstract geometrical computation, with particular emphasis on signal machines capable of representing complex mathematical structures like infinite countable linear orderings. His work bridges theoretical computer science with geometric and continuous models of computation, exploring both classical and hypercomputation capabilities through the manipulation of signals in Euclidean space. Member of the Editorial Board of the International Journal of Unconventional Computing (2011-) Chair of the Steering Committee of the International Conference on Machines, Computations and Universality (2013-) Member of the Board of the Computability in Europe association (2011-2014) Participation in 32 international conference program committees, including 9 as chair As an academic leader, DURAND-LOSE has supervised four PhD students to completion, served as Director of LIFO (Fundamental Computer Science Laboratory of Orléans) from 2010-2016, and held various administrative roles including Provisional Administrator of the UFR Sciences and Technology (2020-2021). He has been actively involved in the organization of numerous international conferences in unconventional computation, including chairing program committees for MCU and UCNC conferences. He is affiliated with LIFO (Fundamental Computer Science Laboratory of Orléans, ÉA 4022), where he leads the Graphs, Algorithms and Calculation Models team. His laboratory work focuses on geometric computation models, signal machines, and their applications to understanding computational universality in continuous spaces.

Adam Chlipalaمشاهده پروفایل

استاد

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

Adam Chlipala is the Arthur J. Conner (1888) Professor of Computer Science at the Massachusetts Institute of Technology (MIT), where he is a faculty member in the Department of Electrical Engineering and Computer Science (EECS), the Computer Science and Artificial Intelligence Laboratory (CSAIL), and leads the Programming Languages & Verification Group. He has been a faculty member at MIT since 2011, following a postdoctoral position at Harvard University. PhD in Computer Science, UC Berkeley (2007) BS in Computer Science, Carnegie Mellon University (2003) His research lies at the intersection of programming languages and formal methods, with a strong emphasis on using the Coq proof assistant to build verified compilers, cryptographic systems, and hardware-software stacks. His work spans from high-level language design to gate-level hardware verification, aiming for end-to-end correctness proofs. Recent efforts focus on high-performance parallel computing systems with full formal assurance. The 15 most recent publications highlight a consistent trend in verified compilation, cryptographic security, hardware verification, and tensor/ML program optimization. His work increasingly integrates software and hardware verification, emphasizing modular, extensible frameworks and end-to-end correctness. Key themes include side-channel resistance, automated proof techniques, and practical deployment of formally verified systems. Advisory Board Member, BlueRock Systems (formerly BedRock Systems) Member, DARPA Information Science and Technology (ISAT) Study Group (2018–2022) Advisory Board Member, SiFive Former Advisor, krypt.co (acquired by Akamai) Chlipala has advised numerous PhD and Master’s students and regularly teaches core MIT courses such as 6.009 (Fundamentals of Programming), 6.042 (Mathematics for Computer Science), and 6.822/6.5120 (Formal Reasoning About Programs). He is the author of the widely used textbook Certified Programming with Dependent Types and co-developer of the FRAP (Formal Reasoning About Programs) educational materials. He is also the founder of Nectry, a startup based on Ur/Web and UPO, aiming to democratize enterprise application development through AI-assisted, type-safe programming. His research group develops tools and frameworks for modular verification, verified compilation, and formal analysis of complex digital systems. The work is deeply collaborative, involving students, industry partners, and open-source contributions via GitHub. Projects like Fiat Cryptography have been deployed in major web browsers, demonstrating real-world impact.