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

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.

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.

Jiasi Shenمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Program Analysis
• +۳ مورد دیگر

Jiasi Shen is an Assistant Professor in the Department of Computer Science and Engineering at The Hong Kong University of Science and Technology. She leads the HKUST Automated Reasoning and Transformation of Software research group. PhD and Master's from Massachusetts Institute of Technology Bachelor's from Peking University Her research focuses on automating software development through program analysis , program transformation , and active learning . She explores how to systematically introduce safety checks, optimize performance, and enable cross-platform adaptation while maintaining core functionality. Recent work includes: Dynamic graph-based fingerprinting for cryptomining detection Benchmarking LLMs for operating system verification tasks Improving program comprehension via deimplicitization techniques She has received the Distinguished Artifact Award at SLE 2017 and serves on program committees for OOPSLA, Onward!, and SPLASH conferences. Her group supervises multiple PhD and MPhil students while developing systems like Konure (database application modeling) and KumQuat (parallel Unix command synthesis).

Stephane Vialleمشاهده پروفایل

پژوهشگر

• High-Performance Computing
• GPU Computing
• Quantum Computing
• +۳ مورد دیگر

Stephane Vialle is a researcher at CentraleSupélec, leading the Interdisciplinary Laboratory of Digital Sciences. His research focuses on High-Performance Computing (HPC), GPU Computing, Quantum Computing, and Quantum Machine Learning. He has extensive experience in developing scalable fine-grained computing environments and optimizing parallel algorithms for distributed systems. His work spans financial engineering, energy management, and railway infrastructure through digital twin technology. Recent contributions include advancements in GPU cluster energy efficiency, stochastic control algorithms, and hybrid classical-quantum architectures for data clustering. Research interests emphasize optimizing parallel computing frameworks for diverse applications, including financial modeling, material science simulations, and transportation systems. His publications demonstrate expertise in distributed computing, fault-tolerant architectures, and algorithmic innovation across multiple computational paradigms. Current projects explore quantum computing integration with classical systems, GPU-based large-scale data processing, and real-world applications of parallel simulation techniques. Notable contributions include the parXXL development environment for coarse-grained platforms and the MINERVE digital twin for railway infrastructure management. His work bridges theoretical computing advancements with practical implementations in engineering and finance domains.

Jolan PHILIPPEمشاهده پروفایل

مدرس

• Distributed Systems
• Infrastructure as Code (IaC)
• Model Driven Engineering
• +۵ مورد دیگر

Jolan PHILIPPE is a Lecturer at University of Orléans affiliated with LMV research laboratory, and currently holds a postdoctoral position at Université de Rennes in the DiverSE team under the supervision of Olivier Barais. His research focuses on Infrastructure as Code (IaC) and distributed systems reconfiguration, with particular emphasis on formal methods and model-driven approaches. His primary research interests include: Distributed Systems and Cloud Computing Infrastructure as Code (IaC) and DevOps Model Driven Engineering Formal Methods and Verification Parallel and Distributed Programming Algorithmic Skeletons Dr. PHILIPPE's work demonstrates a strong trajectory from foundational research in parallel programming models (particularly through his work on PySke) to applied research in distributed system reconfiguration. His recent publications show increasing focus on formal approaches to infrastructure management, with significant contributions to languages like Concerto-D and frameworks like Ballet for cross-DevOps reconfiguration. His research bridges theoretical computer science (formal methods, verification) with practical cloud infrastructure concerns. He is actively supervising two PhD candidates: Haitam El Hayani (Taranis project, 2024-2027) - Extending Infrastructure as Code (IaC) languages, focusing on enhancing capabilities and integration with modern cloud deployment practices Olivia Proust (For-Coala project, 2025-2028) - Towards formally verified configuration management languages Dr. PHILIPPE is deeply involved in research coordination: Coordinator of the "Défi GDR GPL" (challenge) ADDYCT (ADaptation DYnamique et ConTinue) for 2026-2030 One of the leaders of the GDR GPL's GT SyLA (Groupe de Travail - Système Logiciel Adaptable) since February 2025 Helped organize the VELVET (Verification and Software Engineering for DevOps and Reconfiguration) days in Nantes, December 2023 His service to the academic community includes: Program Committee Member for DebConf 2025, ICCS 2025, LowCode@MODELS 2025 Publicity Chair and Program Committee Member for UCC 2025 and BDCAT 2025 Reviewer for journals (COLA, SoSyM) and multiple international conferences

Vincent Danjeanمشاهده پروفایل

دانشیار

• Parallel Computing
• High-Performance Computing
• Task-Based Parallelism
• +۶ مورد دیگر

Vincent Danjean is an associate professor at Grenoble Alpes University , specializing in parallel computing, high-performance computing, and bioinformatics. He earned his PhD in 2004 from École Normale Supérieure de Lyon under the supervision of Raymond Namyst. Research Interests: Vincent's work spans several critical areas in computational science: Parallel and Distributed Systems: Focus on task-based parallelism and hybrid cluster architectures. Performance Analysis: Development of visual frameworks for analyzing parallel applications. Bioinformatics: Application of computational methods to genetic and genomic data analysis. GPU Computing: Efficient scheduling and work stealing strategies for multi-GPU systems. Reproducible Research: Workflows using Git and Org-mode for scientific transparency. Publication Trends: His publications demonstrate a consistent focus on advancing parallel computing techniques, with significant contributions to GPU scheduling, cache-efficient algorithms, and visualization tools. Recent work includes interdisciplinary applications in genomics and cybersecurity protocols. Contact: vincent.danjean@imag.fr

• Operations Research
• Logistics
• Supply Chain Management
• +۳ مورد دیگر

Remy Dupas is a Professor at the University of Bordeaux , affiliated with the IMS Bordeaux - Integration, Material to System Laboratory within the Production Engineering research group. His work focuses on Operations Research , Logistics , and Transportation Systems , developing advanced algorithms for complex routing and supply chain optimization problems. Research Highlights: Innovative Branch-Cut-and-Price algorithms for Two-Echelon Vehicle Routing Problems with drones and time windows City Logistics models for sustainable urban freight distribution in Tokyo MultiAgent Systems for supply chain coordination 3D Loading Constraints integration in pickup-and-delivery problem solving Rail-Rail Transshipment scheduling methodologies Key Publications (2024-2007) demonstrate expertise in Combinatorial Optimization , Dynamic Routing , and Interoperability Metrics for enterprise systems. His research is characterized by strong Algorithm Development and Real-Time Transportation solutions.

• Transnational media and circumvention of censorship
• Media, communication technologies and migration
• Audiovisual piracy
• +۴ مورد دیگر

Tristan MATTELART serves as Professor of Information and Communication Sciences at the French Press Institute (IFP), University of Paris 2 Panthéon-Assas, and holds the position of Deputy Director at the Center for Interdisciplinary Analysis and Research on Media (CARISM) laboratory located at 5-7 avenue Vavin, Paris. His research program critically examines transnational media systems through seven core themes: circumvention of censorship, media-technology-migration intersections, audiovisual piracy networks, international information flows, state propaganda mechanisms, media internationalization theories, and cultural globalization frameworks. This work consistently investigates power dynamics in global communication, particularly focusing on marginalized communities' media practices and alternative information pathways that challenge dominant geopolitical structures. Analysis of his 2012-2019 publications reveals three dominant trajectories: (1) media's role in forced migration contexts, (2) geopolitical dimensions of state media like Russia Today, and (3) piracy as both cultural access infrastructure and informal economy. His scholarship bridges communication studies with migration research and international relations, emphasizing digital technologies' impact on transnational information inequality and alternative media flows. Professor MATTELART maintains significant editorial leadership as Associate Editor for Communications: The European Journal of Communication Research (De Gruyter) and serves on editorial boards of Global Media and Communication (Sage), Media and Communication (Librello), and seven other international journals. He has coordinated special issues including the 2019 European Journal of Communication dossier on media/forced migration and 2015 Journal des Anthropologues issue on digital margins. At CARISM laboratory, he directs interdisciplinary research on media in international contexts, specifically examining how communication technologies reshape transnational connections between migrant communities and homeland societies while navigating censorship regimes and cultural boundaries.

Dmitriy Traytelمشاهده پروفایل

دانشیار

• Interactive Theorem Proving
• Runtime Verification
• Logic
• +۱۱ مورد دیگر

Dmitriy Traytel is an Associate Professor at the Department of Computer Science (DIKU), Faculty of Science, University of Copenhagen, where he leads the Software, Data, People & Society (SDPS) section. He earned his PhD from TU München under the supervision of Tobias Nipkow in 2015 and previously held a senior researcher position at ETH Zürich's Information Security Group. His primary research interests include interactive theorem proving, runtime verification, logic, automata, decision procedures, and coinduction. He works extensively with the Isabelle/HOL proof assistant, developing foundational theories and verified tools. His work bridges theoretical logic and practical system verification, focusing on correctness, expressiveness, and scalability. The recent publications highlight a strong focus on verified runtime monitoring, formalization of logical systems, and efficient query evaluation. Key themes include the development of formally verified monitoring tools (e.g., TimelyMon, WhyMon, VeriMon), foundational work on corecursion and datatypes in Isabelle, and translations of logical formalisms into executable and verifiable code. Several publications have received distinguished paper awards, indicating high impact in the programming languages and verification communities. Distinguished Paper Award, POPL 2025: 'Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings' Distinguished Paper Award, POPL 2023: 'Admissible Types-to-PERs Relativization in Higher-Order Logic' Distinguished Paper Award, ATVA 2018: 'Optimal Proofs for Linear Temporal Logic on Lasso Words' Best Student Paper Award, FSCD 2016: 'Formal Languages, Formally and Coinductively' Traytel has (co)supervised numerous PhD, MSc, and BSc students, many of whose projects contribute directly to his research agenda in verified systems and formal methods. He is actively involved in the academic community, serving on program committees for POPL, ITP, RV, and CPP, and has chaired conferences such as CPP 2023 and 2024. His tools, including TimelyMon, VeriMon, and WhyMon, are practical outcomes of his research, enabling scalable, explainable, and trustworthy runtime verification. He leads a research group focused on trustworthy stream processing, distributed streaming computations, and explainable monitoring. His work often involves collaboration with researchers at ETH Zürich and other institutions, particularly in the areas of security and monitoring.

Arthur Fagesمشاهده پروفایل

دانشیار

• Human-Computer Interaction
• Mixed Reality
• Collaborative Systems
• +۱ مورد دیگر

Arthur Fages is an Associate Professor of Computer Science at Université de Toulouse and a member of the ELIPSE team at IRIT. His research focuses on developing novel interaction techniques using Mixed Reality technologies to enhance collaboration in multi-display environments. Previously, he was a postdoctoral researcher at LISN and earned his PhD from Université Paris-Saclay on collaborative design in augmented reality. His investigations bridge augmented reality and desktop interfaces to support remote teamwork, exploring workspace representations and viewpoint management. He has developed frameworks like ARgus to facilitate multi-view collaboration between AR headset users and traditional desktop environments. Fages teaches courses ranging from Human-Computer Interaction to Object-Oriented Programming, covering both undergraduate and graduate levels. His technical expertise includes motion capture, 3D scanning, and tangible user interfaces for immersive applications.

Gael Thomasمشاهده پروفایل

استاد

• Distributed Systems
• Operating Systems
• Virtualization
• +۴ مورد دیگر

Prof. Gael Thomas is a Professor at Telecom SudParis, focusing on distributed systems, operating systems, and high-performance computing. His work emphasizes virtualization, concurrency control, and secure execution environments. He has contributed extensively to projects like VMKit, I-JVM, and J-NVM, addressing challenges in garbage collection, system scalability, and trusted computing. His research interests include: Virtualization techniques for improved system isolation Optimizing garbage collectors for multicore architectures Trusted execution environments using SGX and HTM Performance analysis of MPI/OpenMP applications Notable contributions: Developed PALLAS trace format for HPC analysis (2025) Created NVCache for NVMM-based I/O optimization (2021) Pioneered secure code partitioning techniques (2023-2024) His work has been presented at top conferences including EuroSys, Middleware, and DSN.

Giovanni Negliaمشاهده پروفایل

پژوهشگر

• Performance Evaluation of Distributed Systems
• Cache Networks
• Distributed Machine Learning
• +۷ مورد دیگر

Giovanni Neglia is a Research Director (DR2) at Inria, affiliated with the NEO team and the 3IA Côte d'Azur Chair, focusing on performance evaluation of distributed systems, cache networks, and large-scale machine learning. He is based in Sophia Antipolis, France. Inria, Sophia Antipolis NEO Team 3IA Côte d'Azur Chair His research interests center on distributed systems, leveraging mathematical tools such as Markov processes, control theory, fluid models, and game theory. Key areas include caching policies, distributed optimization for machine learning, and performance modeling of networks. He has previously worked on P2P networks, delay tolerant networks, smart grids, and complex networks. Recent publications demonstrate a strong focus on similarity caching, federated learning, and distributed optimization. Trends include developing online learning algorithms for caching, improving privacy and efficiency in federated systems, and optimizing content delivery in 5G and small cell networks. Best paper award at ITC-33 IEEE Infocom Distinguished TPC member (2017, 2018, 2022) Best paper award at ITC28 2016 Best paper award at IEEE Online Greencomm 2014 Best paper award at IEEE Infocom NetSciCom 2014 Best paper award at IEEE VTC2013-Spring Best student paper award at VALUETOOLS 2012 Best paper award at BIONETICS 2007 Giovanni Neglia leads the Fed-Malin Inria challenge on federated machine learning and has secured grants including a 3IA Côte d'Azur chair for PERUSALS (Pervasive Sustainable Learning Systems). He advises PhD students such as Othmane Marfoq and Chuan Xu, and collaborates with Accenture Labs, SAP, and Nokia Bell Labs. He has organized winter schools and tutorials on complex networks and similarity caching. He leads the NEO team and previously led the Maestro team. He is involved in the joint Brazilian-French research team Thanes on network science and has served on numerous technical program committees for major conferences including IEEE Infocom, INFOCOM, and SIGMETRICS.

• Optimization
• Cryptography
• Artificial Intelligence
• +۵ مورد دیگر

Gilles DEQUEN is a University Professor at Université de Picardie Jules Verne (UPJV), specifically affiliated with the Computer Science Department within the Faculty of Science. His research domain focuses on Optimization and Cryptography, AI - OCIA (Optimization, Cryptography and Artificial Intelligence), as indicated in his institutional profile. His work spans theoretical computer science with practical applications in healthcare, blockchain technology, and privacy-preserving systems. Professor DEQUEN's research interests are diverse yet interconnected, focusing primarily on cryptographic algorithms, blockchain consensus mechanisms, and artificial intelligence applications in healthcare. His work in cryptography includes lattice-based cryptography, SAT solving for cryptographic attacks, and post-quantum cryptographic techniques. In blockchain research, he has made significant contributions to PBFT consensus protocols, particularly for IoT applications and distributed ledger consistency. His healthcare applications span emergency medicine predictive modeling, autism spectrum disorder diagnosis using eye-tracking and machine learning, and privacy-preserving techniques for medical data. His publication record demonstrates a clear trend toward interdisciplinary research, increasingly bridging computer science with healthcare applications. While maintaining strong theoretical foundations in cryptography and optimization, his recent work (2023-2025) shows a pronounced shift toward explainable AI in medical contexts, privacy-preserving healthcare analytics, and ethical considerations in AI deployment. His publications consistently address real-world challenges in data privacy, system scalability, and clinical decision support. Professor DEQUEN actively collaborates across disciplinary boundaries, working with medical researchers, computer scientists, and data privacy specialists. His research group OCIA appears to serve as a hub for interdisciplinary projects that combine theoretical computer science with practical applications in healthcare and distributed systems. The team has secured funding for projects including BforSAT, VERTPOM, and SmartAngel, which focus on SAT solving, privacy-preserving technologies, and healthcare AI applications respectively.