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

• Computational Mathematics
• Wave Propagation
• Numerical Analysis
• +۳ مورد دیگر

Aurélien Citrain is a researcher at Inria's MAGIQUE-3D project team, focusing on computational methods for wave propagation. He completed his PhD in Applied Mathematics at INSA Rouen (2016–2019), where he studied the coupling of Discontinuous Galerkin (DGM) and Spectral Element Methods (SEM) for elasto-acoustic wave problems. His work emphasizes hybrid mesh discretizations to optimize simulations in complex geometries. Affiliation: Inria (MAGIQUE-3D team), part of the Depth Imaging Partnership (DIP) with TOTAL Education: PhD in Applied Mathematics (INSA Rouen, 2019), Engineering Master (INSA Rouen), Research Master in Fundamental/Applied Mathematics (University of Rouen) Research Interests: Development of high-order numerical methods for seismic wave simulation, including coupling DGM/SEM on hybrid meshes, parallel computing with OpenMP, and software implementation for geophysical applications. His work addresses challenges in anisotropic media, attenuation modeling, and DAS (Distributed Acoustic Sensing) acquisition systems. Publications: Active contributor to conferences like MATHIAS, WAVES, and computational mechanics symposiums, with a focus on DG-SE coupling for elasto-acoustic systems and seismic monitoring innovations.

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

استاد پژوهشی

• Computational Electromagnetics
• Electrical Energy Conversion
• Numerical Modeling
• +۶ مورد دیگر

Olivier Chadebec is a CNRS Research Director at G2Elab, the power electrical engineering research department of Université Grenoble Alpes in France. He leads the 'Models, Methods and Methodologies Applied to Electrical Engineering' research team (MAGE group) and the ERT-CMF (Low Magnetic Fields Technological Research Group) at G2Elab. He was involved in creating the International Laboratory 'James Clerk Maxwell' in collaboration with the University of Lyon and Brazilian universities. Chadebec received his engineer and Ph.D. degrees in Electrical Engineering from the Grenoble Institute of Technology in 1997 and 2001. After a post-doctorate with Schneider Electric, he joined CNRS in 2003 as a Research Associate. He received his 'Habilitation à Diriger les Recherches' in 2011 and became a Research Director in 2015. He also spent a year in 2012 as a research associate at the Federal University of Santa Catarina in Brazil. His research focuses on computational electromagnetics applied to electrical energy conversion, developing numerical models, algorithms, and simulation tools for electromagnetic device analysis. His key research areas include finite element methods, integral methods, inverse problems, and low magnetic field metrology. He actively contributes to the development of the MIPSE platform commercialized by Altair Engineering via Flux software. His recent publications (2023-2025) show a strong focus on advanced computational methods for electromagnetic problems, including multiscale modeling, tensor compression techniques, FEM-BEM coupling for magnetoelectric effects, and optimization algorithms for electrical machine design and fuel cell diagnostics. His work demonstrates a consistent progression toward more efficient computational approaches for complex electromagnetic problems. Chadebec has supervised over 30 PhD students since 2006, with thesis topics spanning computational electromagnetics, inverse problems, fuel cell diagnostics, and submarine magnetic signature analysis. His research has significant applications in electrical machine design, fuel cell technology, submarine degaussing, and electromagnetic compatibility. He leads the MAGE research team and the ERT-CMF (Low Magnetic Fields Technological Research Group) at G2Elab, and has been instrumental in developing the MIPSE simulation platform used in industry through collaboration with Altair Engineering.

Jonathan Sartonمشاهده پروفایل

مدرس

• Scientific Visualization
• Volume Rendering
• GPU Programming
• +۳ مورد دیگر

Jonathan Sarton is a Lecturer in Computer Science at the University of Strasbourg and a Researcher at the ICube laboratory. He holds an affiliation with the Geometric and Graphics Computing (IGG) team within the UFR of Mathematics and Computer Science. His primary research focuses on scientific visualization, volume rendering, and GPU programming. Education includes a PhD (2018) from the University of Reims Champagne-Ardenne titled 'High-performance interactive visualizations of massive volumetric data: an out-of-core multiresolution approach based on GPUs' , and a Master's in Visualization, Imaging, and Performance (2014) from the University of Orléans. He has held roles including Temporary Teaching and Research Associate (ATER) at the University of Reims (2018-2019) and a doctoral researcher at CReSTIC (2015-2018). Current research emphasizes interactive visualization of large unstructured meshes from numerical simulations, supported by the ANR LUM-Vis project. His technical work includes GPU-based out-of-core architectures for handling AMR time series data and distributed visualization systems. Professional activities include teaching computer science courses at undergraduate and graduate levels, focusing on 3D graphics, parallel programming, and algorithms. Professional contact: Office C118 at ICube, sarton@unistra.fr .

Jean-Marc Vincentمشاهده پروفایل

دانشیار

• Performance Evaluation
• Stochastic Models
• Markov Processes
• +۴ مورد دیگر

Jean-Marc Vincent is an Associate Professor at Grenoble Alpes University's UFR IMAG school, with a focus on performance evaluation and stochastic models. His research spans Markov processes, perfect simulation, and analysis of large-scale distributed systems. He has contributed extensively to trace visualization, resource modeling, and algorithm design for parallel computing environments. Key research areas: Performance evaluation, Stochastic models, Markov processes, Perfect simulation Recent work trends: IoT resilience in fog computing, stochastic automata networks, trace analysis Teaching: Algorithms, complexity analysis, distributed systems at L3 and Master's levels His 15 most recent publications highlight interdisciplinary approaches combining computer science, statistics, and education. Collaborations include Inria, LIG, and international institutions like PUCRS. Students under his supervision have worked on trace visualization, stochastic modeling, and system performance optimization.

Dario Colazzoمشاهده پروفایل

استاد

• Databases
• Programming Languages
• Cloud Computing
• +۷ مورد دیگر

Dario Colazzo is a Professor at Université Paris-Dauphine, affiliated with the LAMSADE laboratory. His research focuses on database systems and programming languages, particularly in cloud databases, type systems for semi-structured data, and query processing optimizations. He has contributed extensively to XML and XQuery research, including parallel query execution and static analysis techniques. His teaching includes courses on programming (Java), UML, database systems, and semantic web technologies at both undergraduate and graduate levels (in French). Key research interests span XML/XQuery optimization, JSON processing, distributed systems, and type systems for safe and efficient data handling. His work emphasizes scalable cloud-based solutions and efficient query execution models. Publications highlight advancements in parallel query processing (e.g., PAXQuery), type-based optimizations for XML updates, and semantic graph analytics. He has collaborated with institutions like EDBT, WWW, and VLDB conferences.

• Distributed Systems
• Distributed Computing
• Persistent Memory
• +۳ مورد دیگر

Anatole Lefort is a Postdoctoral Researcher at the Systems Research Group of the Technical University of Munich, hosted by Prof. Pramod Bhatotia. His current research focuses on CXL-based disaggregated memory systems for heterogeneous compute architectures. Dr. Lefort's educational background includes: Ph.D. in Computer Science from Institut Polytechnique de Paris (2023), advised by Pierre Sutra and Gaël Thomas. Diplôme d’Ingénieur (M.S. Eng.) from Télécom SudParis (2018), where he graduated first in his class. His research interests encompass Distributed Systems, Distributed Computing, Persistent Memory, Concurrency, Language Runtimes, and Cloud Infrastructures. During his doctoral studies, he investigated persistent memory programming, particularly for managed languages like Java, addressing challenges in memory management and concurrency. His recent publications demonstrate a strong focus on persistent memory systems, with contributions such as J-NVM for off-heap persistent objects in Java and the WB-amcast protocol for fault-tolerant atomic multicast, reflecting expertise in both systems and distributed algorithms. Dr. Lefort has been recognized with several awards: Laureate of Engineers of the Future Awards, Engineers for Research category (December 2022). Best student publication in ICTs at Institut Polytechnique de Paris (September 2022). He has not advised any students to date. His funding includes an NVMW Student Travel Grant for the 2022 workshop and a Fully-Funded Ph.D. Scholarship from Institut Mines-Télécom awarded in 2018 based on academic excellence. Currently, Dr. Lefort is part of the Systems Research Group at TUM. Previously, he was a member of the Parallel and Distributed Systems Group at Télécom SudParis during his Ph.D. studies.

Radu Mateescuمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Concurrent Systems Verification
• +۶ مورد دیگر

Radu Mateescu is a Research Director at Inria Grenoble - Rhône-Alpes where he heads the CONVECS research team. He has been with Inria since 1998, previously working as a researcher in the VASY project-team. His research focuses on formal methods, particularly model checking and verification of concurrent systems. Mateescu holds a PhD in Computer Science from INPG (Institut National Polytechnique de Grenoble) with a thesis on "Verification of the temporal properties of parallel programs". His educational background includes a graduate engineer diploma from the POLITEHNICA University of Bucharest in Automatic Control and Computers. He has been instrumental in developing several formal verification tools including XTL, CAESAR_SOLVE, EVALUATOR, and BISIMULATOR. His research interests span formal specification and verification of temporal properties of concurrent systems, temporal logics extended with data-handling primitives, on-the-fly model checking, equivalence checking, diagnostic generation, partial order reduction, and massively parallel verification. He served as chairman of the FMICS (Formal Methods for Industrial Critical Systems) Working Group of ERCIM from 2011 to 2014. Mateescu has published extensively in formal methods, with recent work focusing on applications in autonomous vehicles, IoT systems, and hardware verification. His publications show a consistent trend toward applying formal verification techniques to increasingly complex real-world systems, particularly in safety-critical domains. Test-of-Time Tool Award at ETAPS'2023 Inria - Académie des Sciences - Dassault Systèmes Innovation Prize Information Technology Award from Fondation Rhône-Alpes Futur Mateescu has taught courses at ENSIMAG (Grenoble), ESIREM (Dijon), and the University of Savoie. He has contributed to major research projects involving industrial applications of formal methods, particularly through the CADP toolbox which has been used to verify numerous critical systems including the IEEE-1394 FireWire protocol, Bull's cluster file system, and autonomous vehicle systems. His work bridges theoretical formal methods with practical industrial applications.

Gilles Blanchardمشاهده پروفایل

استاد

• Statistics
• Machine Learning
• Statistical Learning Theory
• +۵ مورد دیگر

Gilles Blanchard is a Professor at Paris-Saclay University , affiliated with the Institute of Mathematics in Orsay. His research focuses on statistical learning theory , multiple testing , kernel methods , and high-dimensional statistics . Key Contributions: Decontamination of mutually contaminated models Novelty detection with semi-supervised learning Non-Gaussian component analysis (NGCA) for dimension reduction Scientific Awards: PhD thesis award from University of Paris 6 (2004) Google Scholar h-index of 49 with over 8,000 citations Recent Research Trends: False Discovery Rate (FDR) control in structured hypothesis testing Conformal prediction for link analysis Adaptive sampling in restless bandits Statistical learning on measure spaces His work bridges theoretical statistics with practical machine learning applications, including genome-wide association studies , persistent homology in topological data analysis , and random feature moments for compressive learning . He is involved in open-source software development like μTOSS for multiple testing standardization and has advised on projects related to flow cytometry and Hadrontherapy applications.

• Wireless Communications
• 5G/6G Technologies
• Internet of Things (IoT)
• +۵ مورد دیگر

Charbel ABDEL NOUR is a Research Teacher in the Department of Mathematical and Electrical Engineering (MEE) at IMT Atlantique, a leading French engineering school. His work focuses on the intersection of wireless communications, signal processing, and error correction coding. Based in Brest, France, he actively contributes to research in next-generation communication systems. Dr. ABDEL NOUR's research interests span wireless communications, 5G/6G technologies, Internet of Things applications, error correction coding, and massive MIMO systems. His work addresses critical challenges in modern communication systems including high-throughput requirements, low-latency constraints, and efficient spectrum utilization. His research demonstrates strong theoretical foundations with practical implementation considerations, often bridging the gap between algorithm design and hardware implementation. His recent publications (2023-2025) reveal a consistent focus on improving communication system performance through innovative coding techniques, particularly in turbo decoding architectures, FBMC systems, and spectrum access methods for IoT applications. His work shows progression from theoretical analysis to practical implementation, with several publications addressing both algorithmic improvements and hardware considerations. Multiple publications on turbo decoding architectures with performance improvements Research on FBMC/OQAM systems as alternatives to OFDM for 5G/6G Work on spectrum access techniques for massive IoT connectivity Studies on minimum distance estimation for error-correcting codes Application of machine learning techniques to communication problems Dr. ABDEL NOUR collaborates extensively with researchers across multiple institutions, including CNRS, INSA Rennes, and other French research organizations. His work often receives funding from significant national initiatives like the Beyond5G project and France Relance economic recovery plan. His research has practical applications in next-generation wireless systems, with potential impact on future communication standards.

Guillaume Ducمشاهده پروفایل

دانشیار

• Embedded Systems Security
• Hardware/Software Interaction
• Side-Channel Attacks
• +۳ مورد دیگر

Guillaume Duc is an Associate Professor (Maître de Conférences) at Télécom Paris , affiliated with the Information Processing and Communication Laboratory (LTCI) and the Department of Computer Science and Networks . His research focuses on embedded systems security, particularly hardware/software interaction, side-channel attacks, and resilient architectures. Education: PhD in Hardware, Software and Cryptographic Support for Secure Process Execution , École Nationale Supérieure des Télécommunications de Bretagne (2007) Master's (DEA) in CryptoPage – an architecture to run secure processes , Université de Rennes 1 (2004) Research Interests: His work spans embedded systems security , with a focus on: Hardware/Software Interaction: Exploring vulnerabilities and defenses at the intersection of hardware and software. Side-Channel Attacks: Investigating power analysis, electromagnetic attacks, and countermeasures, including organizing the DPA Contest . Resilient Architectures: Designing secure memory architectures, FPGA-based protections, and cloud-embedded system trustworthiness. Publications & Patents: He has published extensively in top-tier venues such as Journal of Cryptographic Engineering , ACSAC , and CARDIS , with recent works addressing AI-driven automotive security (2024) and system cost-optimization for security (2019). He holds multiple patents in non-intrusive fault detection and secure electronic component monitoring. Teaching & Leadership: Academic lead for the engineering program at Télécom Paris. Responsible for courses like INF107: From Logic Gates to Operating Systems and SE203: Microprocessor System Tools . Co-instructor for Rust programming modules in executive education. Labs & Teams: He leads research within the Autonomous Critical Embedded Systems (ACES) team at LTCI, collaborating on secure embedded systems for automotive and cloud applications.

Brigitte Plateauمشاهده پروفایل

استاد

• Computer Science
• Distributed Computing
• Parallel Systems
• +۴ مورد دیگر

Brigitte Plateau is a university professor and holds doctorates in computer science from the University of Paris XI. She served as Director of Grenoble INP - Ensimag and created/directed the Grenoble Computer Science Laboratory (UMR 5217). Her research focuses on parallel and distributed computing systems' performance, synchronization mechanisms, and stochastic automata networks. She has held roles in national scientific bodies including CNRS, ANR, INRIA, and MESR. Education: Graduate of École Normale Supérieure Agrégée in Mathematics Postgraduate Doctorate & State Doctorate in Computer Science (University of Paris XI) Research Interests: Modeling distributed systems, performance analysis of parallel architectures, Markov chain formalisms, and algorithmic solutions for complex synchronization. Her work on stochastic automata networks uses Kronecker algebras to model system behavior and calculate execution performance even with intricate interactions. Awards: Chevalier of the Legion of Honor (2011) Grand Prix de la Fondation EADS (2012) Leadership & Service: Directed major institutions like Grenoble INP and pioneered formal methods for parallel computing systems. Engaged in national scientific governance across multiple agencies.

Yves Robertمشاهده پروفایل

استاد

• Parallel Computing
• Scheduling Algorithms
• High-Performance Computing (HPC)
• +۵ مورد دیگر

Yves Robert is a Professor at the Computer Science Laboratory LIP (Laboratoire de l'Informatique du Parallélisme) at École Normale Supérieure de Lyon (ENS Lyon). He also holds a Visiting Scientist position at the University of Tennessee Knoxville since 2011. His research focuses on resource optimization, parallel algorithms, scheduling techniques, and resilience methods in high-performance computing (HPC). Key areas include fault-tolerant numerical algorithms, energy-efficient scheduling, and iterative application checkpointing strategies. Robert has received prestigious awards such as the 2020 IEEE Computer Society Charles Babbage Award for contributions to parallel algorithms and scheduling. He is an IEEE Fellow (since 2005) and a Senior Member of Institut Universitaire de France. His work bridges theoretical foundations and practical algorithmic solutions, addressing challenges in distributed-memory architectures, workflow scheduling, and resilience at scale. His research spans parallelizing compilers, task graph scheduling, and energy-aware computing. Notable contributions include optimizing checkpointing strategies for HPC platforms, analyzing fault tolerance in iterative applications, and developing resilient scheduling heuristics for parallel jobs. His work often emphasizes scalability and reliability in modern computing systems.

Marco Vassenaمشاهده پروفایل

پژوهشگر

• Information Flow Control
• Programming Languages
• Functional Programming
• +۳ مورد دیگر

Marco Vassena is a researcher affiliated with CISPA Helmholtz Center for Information Security and Utrecht University , focusing on Information Flow Control , Programming Languages , and Security . He contributes to secure compilation, memory safety, and cryptographic code analysis. His research explores compiler design , speculative execution mitigation , and Wasm security , often involving formal verification and runtime enforcement . Recent work includes eliminating speculative leaks and enforcing memory safety for WebAssembly. Marco has authored publications in conferences like POPL and PriSC , addressing cryptography , secure compilation , and parallel runtime systems . He actively participates in program committees and artifact evaluations.

Elsa Gunterمشاهده پروفایل

استاد پژوهشی

• Formal methods
• programming languages
• software engineering
• +۶ مورد دیگر

Elsa Gunter is a Research Professor at the Department of Computer Science , University of Illinois at Urbana-Champaign . Her work bridges formal methods , programming languages , and human-computer interaction with a focus on verification and security. Education: Ph.D. in Mathematics, University of Wisconsin-Madison (1987) M.A. in Mathematics, University of Wisconsin-Madison (1981) B.A. in Mathematics, University of Chicago (1979) Her research interests include formal verification , type theory , and secure system design . She has developed tools like VeriF-OPT for parallel program optimization and Tutela for modeling human-computer protection envelopes. Her recent publications focus on concurrent systems , compiler verification , and security protocols . Notable awards include the Most Influential 10-Year Paper Award at RE 2010 and the EASST Best Paper at ETAPS 2001 . She has advised students like Dennis Griffith and Liyi Li , while collaborating on projects such as DSILL (distributed functional language) and PTRANS (program transformation semantics).

Jingmei Huمشاهده پروفایل

پژوهشگر

• Program Synthesis
• Operating Systems
• Human-Computer Interaction
• +۵ مورد دیگر

Jingmei Hu is an Applied Scientist at Amazon since 2022, with a Ph.D. in Computer Science from Harvard University (2022) under Prof. Margo Seltzer and Prof. Stephen Chong. Her research spans program synthesis and verification for systems, focusing on low-level OS development, human-computer interaction, and parallel computing. Ph.D. in Computer Science, Harvard University, 2022 M.S. in Computer Science, Harvard University, 2018 B.S. in Computer Science, Shanghai Jiao Tong University, 2016 Her work combines program synthesis with human-computer interaction and parallelism to improve usability and scalability, particularly for assembly-level code generation. She has also explored provenance tracking to enhance data scientist workflows and developed secure authentication methods for mobile devices. Her recent publications address assembly synthesis efficiency, OS porting, and provenance-driven debugging tools. Key themes include formal methods, domain-specific languages, and automated reasoning. ACM-W Scholarship (2020) National Scholarship (China), Top 1% at SJTU (2013) She has served on review committees for conferences like OOPSLA, PLDI, and POPL, and her technical expertise includes Python, OCaml, C/C++, and AWS cloud services.