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

Aws Albarghouthiمشاهده پروفایل

پژوهشگر

• Program Synthesis
• Formal Verification
• Quantum Computing
• +۵ مورد دیگر

Aws Albarghouthi is affiliated with the University of Wisconsin-Madison, USA. He is an active researcher with significant contributions to program synthesis, formal verification, and machine learning. Key roles: Author, Session Chair, Committee Member in conferences like PLDI, POPL, VMCAI, SPLASH, and ICFP. Research spans quantum computing, differential privacy, and static analysis. Research Trends include: Quantum Circuit Compilation and Optimization Probabilistic Verification of Fairness and Privacy Synthesis of Datalog and MapReduce Programs Neural-Augmented Static Analysis Bias Detection in Data Security Robustness in Machine Learning

Petr Kuznetsovمشاهده پروفایل

استاد

• Distributed Systems
• Algorithms
• Synchronization
• +۳ مورد دیگر

Petr Kuznetsov is a Professor at Telecom Paris (Institut Polytechnique de Paris), affiliated with the Department of Computer Science and Networks (INFRES). He leads the Autonomous Critical Embedded Systems (ACES) research team at the Information Processing and Communication Laboratory (LTCI). His work bridges theoretical foundations and practical applications in distributed systems. Research Focus: Kuznetsov specializes in distributed algorithms, synchronization protocols, failure detection mechanisms, and the application of algebraic topology to distributed computing. His recent work explores Byzantine fault tolerance, blockchain consensus, and concurrency in networking infrastructures. Recent Publication Trends (2015-2025): His articles predominantly focus on scalability and resilience in distributed systems, with emerging themes in blockchain technologies, Byzantine fault tolerance, and concurrency optimization. Theoretical contributions include computability theorems and complexity bounds, while applied work targets payment systems and distributed ledgers. Awards & Honors: Best Paper Award at DISC 2019 for Scalable Byzantine Reliable Broadcast Best Student Paper Award at PODC 2018 for An Asynchronous Computability Theorem for Fair Adversaries Projects & Advising: He directs the TrustShare Innovation Chair (large-scale data synchronization) and DISCMAT (mathematical foundations of distributed computing). Actively seeks PhD candidates for projects on distributed algorithms and concurrency. Laboratory & Teams: Heads the ACES team at LTCI, focusing on critical embedded systems and fault-tolerant distributed architectures. Collaborates internationally through workshops like SPTDC.

Maryam Mehri Dehnaviمشاهده پروفایل

دانشیار

• High-Performance Computing
• Cloud Computing
• Machine Learning
• +۳ مورد دیگر

Maryam Mehri Dehnavi is an Associate Professor in the Department of Computer Science at the University of Toronto and a Principal Research Scientist at NVIDIA. She holds the Canada Research Chair in Parallel and Distributed Computing and leads the ParaMathics research group. Research focuses on high-performance computing , machine learning , sparse matrix optimizations , and compiler design for heterogeneous systems. Her work develops domain-specific languages , scalable numerical libraries , and auto-vectorization techniques for cloud and GPU platforms. Recent publications address LLM compression , sparse code translation , GPU kernel synchronization , and control flow optimization . Scientific recognition: Ontario Early Researcher Award (2021), NSF CRII Grant, NSERC New Frontiers in Research Fund. Current students: Mushegh Shahinyan , Martin Phan , Maryam Haghifam , and others. Former advisees: Kazem Cheshmi (NJIT), Zachary Blanco (MIT Lincoln Lab), Yuanxi Li (Amazon).

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

پژوهشگر

• Distributed Computing
• Scientific Computing
• Combinatorial Optimization
• +۵ مورد دیگر

Arnaud Legrand is a tenured CNRS researcher at the University of Grenoble, France, affiliated with the Laboratoire d'Informatique de Grenoble (LIG). He earned his M.S. and Ph.D. from École Normale Supérieure de Lyon in 2000 and 2003, respectively, and completed his Habilitation Thesis at Grenoble University in 2015. His work focuses on optimizing large-scale distributed computing infrastructures and advancing reproducible research methodologies. Education: M.S., École Normale Supérieure de Lyon Ph.D., École Normale Supérieure de Lyon Habilitation Thesis, University of Grenoble Legrand is a leader of the SimGrid project, an open-source simulation toolkit for parallel and distributed system optimization. He has actively promoted open science, reproducibility, and rigorous experimental practices through tutorials and keynotes globally.

Binoy Ravindranمشاهده پروفایل

استاد

• Computer Systems
• Software Verification
• Concurrency
• +۷ مورد دیگر

Binoy Ravindran is a Professor at Virginia Tech’s College of Engineering, Department of Electrical and Computer Engineering, leading the Systems Software Research Group (SSRG). His research focuses on computer systems, emphasizing security, performance, concurrency, distributed systems, and real-time computing, with recent work in software verification and heterogeneous-ISA platforms. Key projects: Low-level Reasoning Machine (LLRM), Popcorn Linux, LibrettOS, Hyflow, HermiTux, SlimGuard, HydraVM, KairosVM. He has co-authored 15+ papers from 2025 to 2022, spanning venues like ASPLOS, POPL, PLDI, VEE, PPoPP, and MIDDLEWARE, with awards including ACM Distinguished Scientist and eight Best Paper Awards. Service roles: Editorial Boards (IEEE Transactions on Cloud Computing, ACM TECS), Program Co-Chair (ACM Systor 2025), Committee memberships across ASPLOS, PLDI, and more.

• Schema discovery for Semantic Web data
• Data mining
• Recommendation systems
• +۵ مورد دیگر

Kenza Kellou-Menouer is a researcher affiliated with the ETIS Laboratory at ENSEA, France, and part of the MIDI research group . Her work focuses on schema discovery for Semantic Web data, data mining, and big data optimization. Research: Semantic schema discovery, clustering/classification algorithms, and association rules. Teaching: Semantic Web technologies, database design, algorithms, and programming languages (Java, C++, C#, C). Research Interests center on Semantic Web data integration, RDF schema inference, and hybrid machine learning approaches. She has contributed to scalable schema discovery systems and real-time profiling techniques for large datasets. Publications include work on schema inference tools (SchemaDecrypt++, HInT) and methodological frameworks presented at top-tier venues like VLDB (A*), ICDE (A*), SSDBM (A), and ISWC . Her research bridges theoretical advancements with practical implementations for RDF datasets. Community Contributions include organizing tutorials at the International Semantic Web Conference (ISWC) 2022 and developing educational materials for database and programming courses.

Phong Nguyenمشاهده پروفایل

استاد پژوهشی

• Cryptography
• Cryptanalysis
• Post-quantum Cryptography
• +۵ مورد دیگر

Phong Nguyen is a Research Professor at Inria (Directeur de recherche) and a part-time professor at the Computer Science Department (DI ENS) of École Normale Supérieure (ENS), PSL University in Paris. He leads the ENS Crypto Team (Inria Equipe Projet Cascade) and serves as the principal investigator for the ERC Advanced Grant PARQ (2020) focused on lattices in parallel and quantum computing. He holds a PhD (1999) and Habilitation (2007) from ENS-Lyon, with an agrégation de mathématiques (1997). His research integrates cryptography, algorithmic number theory, and lattice-based computations, emphasizing: Cryptanalysis : Deconstructing cryptographic protocols, especially lattice-based systems Post-quantum cryptography : Developing quantum-resistant solutions Lattice algorithms : Optimization of reduction, enumeration, and sieving techniques Real-world applications : Bridging theoretical constructs with practical security implementations His publications (spanning Eurocrypt, Asiacrypt, and Journal of Cryptology) demonstrate deep expertise in lattice cryptography, with recurring themes in algorithm efficiency, cryptanalysis of NTRU/GGH systems, and theoretical advancements in lattice reduction. Recent work (2024) continues this trajectory with improved BKZ analysis and hypercubic lattice optimizations. Awards include : ERC Advanced Grant (2020) for PARQ project Best Paper Award at EUROCRYPT 2006 Cor Baayen Award (2001) He advises PhD students (e.g., Henry Bambury, Leo Ducas) and interns from institutions like École Polytechnique and ENS. He directs the ENS Crypto Team and previously held leadership roles as: French Director of the Japanese-French Laboratory for Informatics (2015-2019) European Director of LIAMA (Sino-European Computer Science Lab, 2013-2015) Coordinator of ECRYPT II virtual labs (2008-2012)

Marc Snirمشاهده پروفایل

استاد

• Parallel Computing
• Computer Architecture
• High Performance Computing
• +۳ مورد دیگر

Marc Snir is an Israeli-American Professor of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). He holds a Doctor Honoris Causa from École Normale Supérieure de Lyon (2018). His career includes leadership roles such as Head of the Computer Science Department at UIUC (2001–2007) and Director of the Mathematics and Computer Science Division at Argonne National Laboratory (2011–2016). He is a Fellow of AAAS, ACM, and IEEE, and recipient of the IEEE Seymour Cray Award. Education: PhD in Mathematics from the Hebrew University of Jerusalem (1979). Research focuses on parallel algorithms, high-performance computing (HPC), distributed systems, and fault tolerance. He co-developed the MPI standard for parallel programming and contributed to IBM's Blue Gene supercomputer architecture. His Erdős number is 2, reflecting collaborative links to mathematician Paul Erdős. Awards include the IEEE Award for Excellence in Scalable Computing and leadership in advancing supercomputing through publications like The Future of Supercomputing (2004).

Stephen Chongمشاهده پروفایل

استاد

• Programming Languages
• Information Security
• Language-based Security
• +۳ مورد دیگر

Stephen Chong is a Gordon McKay Professor in the Harvard John A. Paulson School of Engineering and Applied Sciences , where he co-directs the Undergraduate Studies in Computer Science program. His research intersects programming languages and information security , focusing on language-based security frameworks. Education : PhD in Computer Science from Cornell University (2008), B.Sc.(Hons) and B.A. from Victoria University of Wellington (New Zealand). Research : Develops tools like Formulog (Datalog + SMT for static analysis) and Accrue (Java interprocedural analysis), emphasizing security guarantees proportional to programmer effort. Grants : Funded by NSF , DARPA , AFOSR , and Google Faculty Research Award . Recent publications focus on neurosymbolic approaches (e.g., Guess & Sketch ), Datalog synthesis (e.g., Making Formulog Fast ), and quantitative robustness in cyber-physical systems. His group has pioneered formal methods for secure assembly transpilation and sensor attack modeling. Awards : NSF CAREER Award AFOSR Young Investigator Award Sloan Research Fellowship Advising : Supervised numerous PhD and senior thesis students, including Aaron Bembenek , Anitha Gollamudi , and Lucas Waye . Mentored projects like AbcDatalog (multi-threaded Datalog engine) and Shill (secure shell scripting). Labs/Teams : Leads the Programming Languages at Harvard group, collaborating with institutions globally. Organized workshops (e.g., NSF Workshop on Formal Methods for Security ) and chaired committees at conferences like CSF , POPL , and PLDI .

Hanjun Kimمشاهده پروفایل

پژوهشگر

• Compiler Design
• Machine Learning
• Parallel Computing
• +۳ مورد دیگر

Hanjun Kim is a researcher at Yonsei University, focusing on compiler design, machine learning optimization, and hardware-aware programming techniques. His work bridges theoretical research with practical implementations in embedded systems and security domains. Research Interests Compiler-driven optimization for PIM (Processing-in-Memory) architectures Homomorphic encryption compiler design Parallel computing for DNN/LLM inference Network function program analysis Recent research trends include: application of compiler techniques to optimize resource utilization in heterogeneous computing environments, particularly for AI workloads and secure computation. His publications demonstrate expertise in tackling performance bottlenecks through architectural and compiler co-design. Conference Service 2025 SPLASH OOPSLA Review Committee 2025 LCTES Program Committee 2024 CGO Program Committee 2023 LCTES Program Committee 2022 CGO Organization Committee 2020 LCTES Program Committee

Samuel Thibaultمشاهده پروفایل

استاد

• Parallel Computing
• High Performance Computing
• Task-Based Runtime Systems
• +۳ مورد دیگر

Samuel Thibault is a Professor at University of Bordeaux, affiliated with Laboratoire Bordelais de Recherche en Informatique (LaBRI) and Inria Bordeaux -- Sud-Ouest. He is a member of the SATANAS team at LaBRI (theme: High Performance Runtime Systems for Parallel Architectures) and the STORM research team at Inria Bordeaux (previously RunTime). His work bridges academic research and practical implementation of high-performance computing systems. Thibault's research focuses on task-based runtime systems, particularly StarPU, for heterogeneous and parallel computing architectures. His work addresses critical challenges in scheduling algorithms, memory management under constraints, data locality optimization, and performance modeling for complex NUMA architectures. He has made significant contributions to the field of parallel computing through the development and analysis of runtime systems that efficiently manage tasks across diverse hardware resources including CPUs, GPUs, and other accelerators. His research has practical applications in scientific computing, deep learning inference, and large-scale simulations requiring extreme computing power. His recent publication trends show a strong emphasis on optimizing task-based runtime systems for heterogeneous architectures with particular attention to memory constraints and data locality. There's a clear progression toward applying these techniques to deep learning inference workloads, as evidenced by his StarONNX project. His work consistently addresses the challenge of balancing throughput and latency in complex computing environments, with increasing focus on recursive task graphs and dynamic adaptation strategies. Thibault is actively involved in European research initiatives including TEXTAROSSA (focusing on exascale technologies) and EXA2PRO (high development productivity on heterogeneous systems). His work has been published consistently in top-tier conferences and journals in parallel and distributed computing. As part of the STORM team at Inria Bordeaux, Thibault contributes to advancing the state of the art in runtime systems for high-performance computing. His team's work on StarPU has become a reference implementation in the field, enabling researchers and practitioners to develop applications that can efficiently utilize heterogeneous computing resources without needing to manage the complexity of different hardware architectures directly.

François Trahayمشاهده پروفایل

استاد

• High Performance Computing
• Runtime Systems
• Performance Analysis
• +۴ مورد دیگر

François Trahay is a Full Professor in the Computer Science department at Télécom SudParis (Institut Mines-Télécom) and a member of the Benagil Inria team. He leads research in high-performance systems, runtime systems, and performance analysis for HPC and distributed systems. He holds an HDR from Institut Polytechnique de Paris and a PhD from University of Bordeaux (2009). His work includes the EZTrace framework for performance analysis and contributions to storage systems optimization. Education: 2021: Habilitation à Diriger des Recherches (HDR), Institut Polytechnique de Paris 2010: PostDoc at Riken, University of Tokyo 2009: PhD in Computer Science, University of Bordeaux 2006: MS in Computer Science, University of Bordeaux Research focuses on runtime system design, HPC trace analysis, and storage efficiency. Recent projects include PALLAS trace format (IPDPS 2025) and GPU performance prediction (Euro-Par 2024). He advises 4 current PhD students and has supervised 2 former students now in industry. Key contributions include: Co-developer of EZTrace performance analysis framework Co-author of 60+ peer-reviewed papers in top venues (IPDPS, IEEE Cluster, ICPP) Technical leadership in Inria's Benagil team and Samovar Lab

Francois Trahayمشاهده پروفایل

دانشیار

• High Performance Computing
• Storage Systems
• Parallel and Distributed Systems
• +۲ مورد دیگر

François Trahay is an Associate Professor at Telecom SudParis, affiliated with the SAMOVAR research laboratory. His research focuses on high-performance computing systems, storage optimization, and performance analysis tools for parallel and distributed environments. He completed his PhD at Université Bordeaux I (2009) and Habilitation (HDR) at Institut Polytechnique de Paris (2021). Research Interests: Trahay specializes in optimizing storage systems (SSDs, RAID configurations), developing performance analysis frameworks (e.g., EZTrace, NumaMMA), and enhancing energy efficiency in HPC. Key areas include I/O performance, parallel runtime systems, and adaptive computing for machine learning workloads. Publication Trends: His recent work (2018–2025) demonstrates strong focus on: (1) SSD/RAID management techniques for modern storage hardware, (2) HPC performance tools for tracing and analysis, and (3) optimization strategies for distributed deep learning systems. Laboratory Affiliation: Member of SAMOVAR Laboratory (UMR CNRS), conducting research in distributed systems, networks, and computational efficiency.

Mathieu Brédifمشاهده پروفایل

پژوهشگر

• Lidar Processing
• 3D Reconstruction
• Geovisualization
• +۵ مورد دیگر

Mathieu Brédif is a Permanent Researcher at LASTIG, Gustave Eiffel University, affiliated with the National School of Geographic Sciences (ENSG) and IGN. He serves as co-chair of ISPRS Working Group II/3 on Point Cloud Processing (2016-2020) and chaired ISPRS Working Group III/5 on Graphics and Remote Sensing (2012-2016). His academic appointments include Assistant Professor at École Polytechnique teaching Image Analysis and Computer Vision (INF573) and 3D Computer Graphics (INF443) since 2019-2020. Telecom ParisTech PhD (2005-2010) Stanford University Master in Computer Science (2004) École Polytechnique Engineering Degree (2000-2005) Brédif's research focuses on Lidar processing, 3D reconstruction, and geovisualization , with significant contributions to point cloud analysis, urban scene modeling, and historical image integration. His work bridges computer vision, photogrammetry, and geographic information systems, emphasizing practical applications in urban planning and cultural heritage. He has developed novel algorithms for point cloud inpainting, visibility estimation, and distributed 3D reconstruction. His publications reveal consistent focus on urban modeling through point cloud processing (58% of works), image-based rendering techniques (22%), and geovisualization systems (15%). The research trajectory shows increasing emphasis on deep learning applications for LiDAR data since 2016, alongside continued development of geometric algorithms for photogrammetric processing. ANR project leadership in geospatial data valorization (structurAtion et vaLorisation du patrimoinE géoGraphique - 9) iSpace&Time 4D web GIS development (5) European project participation in high-volume point cloud analysis (8) Brédif actively mentors doctoral candidates, currently supervising Melvin Hersent, Alexane Nghien, and Florent Geniet, with 8 completed PhDs including Pierre Biasutti and Murat Yirci. His laboratory work centers on the GEOVIS research team , developing the iTowns open-source framework for 3D geospatial visualization, which powers the Géoportail's 3D data engine and supports multiple ANR projects in cultural heritage visualization.

Romain Raveauxمشاهده پروفایل

دانشیار

• Image Analysis
• Machine Learning
• Structural Pattern Recognition
• +۵ مورد دیگر

Romain Raveaux is an Associate Professor at the LIFAT Computer Science Laboratory, University of Tours, affiliated with Polytech Tours. His research focuses on Image Analysis, Machine Learning, Structural Pattern Recognition, Graph Matching, Graph Neural Networks, Discrete Optimization, Reinforcement Learning, and Transfer Learning . Email: romain.raveaux@gmail.com , romain.raveaux@laposte.net Address: 64 av. Jean Portalis, Tours, France, 37200 Phone: +33 (0)2 47 36 14 27 Research Interests Graph Matching and Neural Networks Discrete Optimization for Pattern Recognition Transfer Learning in Graph-Based Models Historical Document Analysis Scientific Trends His recent work bridges Graph Neural Networks with Mixed-Integer Programming , focusing on Image Semantic Segmentation and Graph Cycle Detection . Earlier studies emphasize Genetic Algorithms for graph classification and Graph Edit Distance optimization in pattern recognition.