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

Edwin Carlinetمشاهده پروفایل

استادیار

• Mathematical Morphology
• Image Processing
• High Performance Computing
• +۱ مورد دیگر

Edwin Carlinet is an Assistant Professor at EPITA Research Laboratory (LRE), specializing in mathematical morphology, hierarchical image representations, and high-performance computing. His research develops efficient algorithms for image processing with applications in document analysis and historical map vectorization. Key projects include the SoDuCo initiative extracting data from 19th-century Parisian trade directories and parallel implementations of morphology algorithms. He leads development of the Pylene image processing library, focusing on generic and efficient implementations. Teaching covers parallel programming, data compression, C++, and GPU programming at EPITA, alongside bioinformatics courses at Sup'Biotech. Research supervision includes PhD candidates working on modern implementations of mathematical morphology algorithms and noise estimation techniques. Recent publications focus on optimizing computational workflows for historical document processing, including noise impact analysis on morphological structures and GPU acceleration of max-tree computation.

• 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.

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

دانشیار

• Computer Graphics
• Visual Perception
• Shape Depiction
• +۵ مورد دیگر

Romain Vergne is an Associate Professor at the University of Grenoble Alpes, France, and a researcher affiliated with the Maverick team (Inria, LJK) since 2012. Previously, he conducted postdoctoral research at Justus Liebig University Giessen (Germany). His research focuses on the phenomenological links between shapes, light, and material perception, aiming to develop perceptually plausible computer graphics tools. Key interests include shape depiction, visual perception, texture synthesis, and appearance control via his GPU-centric node-based system Gratin for 2D/3D data manipulation. Best Paper Awards: AFIG 2018, Expressive 2018, AFIG 2015 Honorable Mentions: NPAR 2011, I3D 2010 Recent publications explore Gabor noise optimization, motion-coherent stylization, and non-photorealistic rendering frameworks. He also contributes to eco-feedback visualization systems and cartographic style extensions.

• High-Performance Computing (HPC)
• Scientific Computing
• Numerical Simulation
• +۳ مورد دیگر

Lionel Boillot is an Expert Engineer and holds a PhD in the MAGIQUE-3D project team at Inria, located in Bordeaux, France. His work focuses on High-Performance Computing (HPC), Scientific Computing, and numerical simulation techniques for geophysical applications. He specializes in parallel algorithms, discontinuous Galerkin methods (DGM), and optimizing wave propagation simulations in anisotropic media. His research emphasizes hardware optimization, including vectorization via SIMD and GPU acceleration, and task-based parallel programming models for large-scale simulations. Education: PhD in Applied Mathematics and Parallel Algorithmic Optimization (2014), Université de Pau et des Pays de l'Adour, France. Research Interests: Boillot's work spans HPC architecture, absorbing boundary conditions for elastic waves, and seismic imaging. He has contributed to developing efficient algorithms for TTI (Tilted Transverse Isotropic) media modeling and optimizing simulations using runtime systems like StarPU. His research also explores collaborative tools in geology, such as VR-based seismic analysis (Sismage-VR). Key Projects: Collaborations include work with TOTAL (via MATHIAS symposia), the Depth Imaging Partnership (INRIA-TOTAL), and international workshops like SIAM PP and EAGE. His publications span conferences such as SIAM, SEG, and ECCOMAS, focusing on parallel computing, boundary conditions, and geophysical applications. Affiliations: Active member of the MAGIQUE-3D team, contributing to both theoretical and applied aspects of computational geophysics. His work intersects applied mathematics, computer science, and geoscience to advance computational methods in resource exploration and seismic analysis.

Joseph Chazalonمشاهده پروفایل

مدرس

• Computer Vision
• Natural Language Processing
• Document Image Analysis
• +۴ مورد دیگر

Joseph Chazalon is a Lecturer at EPITA (School of Engineering and Computer Science) in the LRDE research laboratory, specializing in image processing and pattern recognition. He teaches graduate courses in Machine Learning, Computer Vision, Deep Learning, GPU programming, and Docker for ML engineers. His research develops novel methods for document analysis, including historical archive processing, hologram verification, and knowledge graph construction from archival sources. Current projects focus on weakly supervised learning for identity document verification and named entity recognition in structured historical documents. Chazalon leads several collaborative projects involving historical map segmentation competitions (ICDAR 2021, 2024) and urban perpetual gazetteer development. His lab develops open benchmarks and datasets for reproducible research in document analysis.

• Computer Graphics
• Procedural Generation
• Real-time Rendering
• +۷ مورد دیگر

Pascal Guehl is a Part-Time Lecturer in Computer Graphics at the University of Strasbourg and Head of the new Master of Science and Technology in Extended Cinematography at École Polytechnique (LIX lab). He holds a PhD in Computer Graphics from the University of Strasbourg (2022) and has extensive experience in R&D roles across industry and academia. His core expertise spans procedural generation, real-time rendering, GPU computing, and virtual production technologies, with notable contributions to texture synthesis and semi-procedural modeling. Education highlights include a MRes from University Lyon 1 (2016), an Advanced Master from Arts & Métiers ParisTech (2005), and a master's in Physics from University Cergy-Pontoise (2000). His teaching spans over 15 years, covering C++ programming, real-time 3D graphics, and generative AI. Research focuses on interdisciplinary applications of computer graphics in film production, biology visualization, and defense systems. Key achievements include the semi-procedural texture synthesis framework (SIGGRAPH 2020) and leadership in ANR-funded projects like Animation Conductor (2023-2027). Awards include a Graphics Replicability Stamp and Honorable Mention for procedural texture work. Professional affiliations include ICube research lab (University of Strasbourg), where he co-supervises PhD students like Tara Butler, and collaborations with institutions like Telecom Paris, ENS Louis-Lumière, and Purdue University. Current projects emphasize extended cinematography tools and generative AI integration in visual effects pipelines.

John Wickersonمشاهده پروفایل

مدرس ارشد

• Concurrency Semantics
• FPGAs
• GPUs
• +۵ مورد دیگر

Dr. John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research focuses on enhancing the reliability of high-performance computing through formal methods, particularly in the context of concurrent systems, weak memory models, and hardware synthesis. Imperial College London IEEE Senior Member ACM Member Research interests include: Concurrency semantics and weak memory models Formal verification of high-level synthesis tools Transactional memory and cache coherence GPU and FPGA programming Separation logic for hardware-software interfaces Recent publications analyze the interaction between transactional memory and out-of-order execution, formalize cache coherence protocols like CXL, and develop automated testing frameworks for hardware synthesis tools. His work bridges theoretical computer science and practical engineering across domains like quantum compiler validation (QuteFuzz), database isolation level verification (EuroSys 2024 Best Paper), and Verilog parser robustness (TOSEM 2025). Scientific recognition includes: Best Paper at EuroSys 2024 Distinguished Artifact at ESOP 2022 Michal Servit Best Paper Finalist at FPL 2022 Runner-up Best Paper at FCCM 2018 He advises PhD students in formal verification and hardware synthesis, including Quentin Corradi and Michalis Pardalos. His team has produced groundbreaking work on memory persistency models (ICSE-NIER 2024) and GPU workgroup progress (OOPSLA 2015-2024). The group maintains active collaborations with institutions like EPFL, Cambridge, and Edinburgh.

Vincenzo Cianciaمشاهده پروفایل

پژوهشگر

• Formal Methods in Computer Science
• Spatial Logics
• Spatio-Temporal Model Checking
• +۵ مورد دیگر

Vincenzo Ciancia is a researcher at ISTI-CNR in Pisa, working within the Formal Methods & Tools Laboratory. He has previously worked at IIT-CNR (Pisa), ILLC (University of Amsterdam), and Universidad Complutense (Madrid). He received his Ph.D. in 2009 from the Department of Computer Science at the University of Pisa under Prof. Ugo Montanari, focusing on coalgebras, presheaf categories, and history-dependent automata. Research Interests Formal Methods in Computer Science Spatial Logics and Spatio-Temporal Model Checking Coalgebras and Category Theory GPU-accelerated Model Checking Medical Imaging Applications Projects EU NRPP THE (Tuscany Health Ecosystem) MUR PRIN STENDHAL (Spatio-Temporal Enhancement of Neural Nets) Bilateral CNR-SRNSF (Georgia) - Model Checking for Polyhedral Logics MUR PRIN IT-MATTERS (Trustworthy Smart Systems, completed) Scientific Tools VoxLogicA: Spatial model checker for medical imaging Topochecker: Topological model checker for evolving systems

• Parallel Computing
• Bioinformatics
• Data Science
• +۷ مورد دیگر

Sophie ROBERT is a Lecturer at the University of Orleans , affiliated with the LIFO lab (Building IIIA, 6 rue Léonard de Vinci). She serves as a Team Leader and Board Member for the Pamda Working Group - Sustainable Development . Her work spans interdisciplinary domains including parallel computing, bioinformatics, and scientific visualization. Research Focus: Parallel algorithms, distributed systems, and scalable data processing Key Tools: FastFlow, MapReduce, LSH Applications: Genomic analysis, neural network training, geospatial data Her publications demonstrate expertise in parallelization techniques for large-scale data analysis, including contributions to RNA-Seq processing , LSH-based similarity joins , and DNN distributed training . She also explores domain-specific languages like GeoSkelSL for geoscience applications. As an active academic, she collaborates with institutions across France and participates in interdisciplinary projects bridging computational methods with environmental and healthcare domains. Her email is sophie.robert@univ-orleans.fr .

Emmanuel MELINمشاهده پروفایل

مدرس

• Parallel Computing
• Virtual Reality
• Scientific Visualization
• +۵ مورد دیگر

Emmanuel MELIN is a Lecturer at the University of Orléans, affiliated with the PaMDA team at LIFO (Laboratory of Fundamental Computer Science of Orléans). He teaches primarily at the IUT (University Institute of Technology) of Computer Science in Orléans. His research focuses on parallel computing, virtual reality, and scientific visualization using PC clusters and distributed architectures. Research Interests: His work spans parallel algorithms for geospatial processing, high-performance computing for environmental simulations, and distributed virtual reality systems. He has contributed to large-scale VR frameworks and open-source software like FlowVR, NetJuggler, and SoftGenLock. Publications: Dr. MELIN has authored 31 HAL publications, with 15 most recent covering GPU-accelerated finite element methods, tele-immersive grids, distributed application mapping, and geospatial data processing. His work intersects computer science, environmental modeling, and 3D rendering. Labs & Collaborations: He collaborates with INRIA and has participated in projects like RNTL Geobench, ANR DALIA, and Extengis. His software tools are available as open-source projects.

• Vectorization
• Parallel Programming
• High-Performance Computing
• +۴ مورد دیگر

Sylvain JUBERTIE serves as a Lecturer at the University of Orleans, affiliated with the LIFO (Laboratoire d'Informatique Fondamentale d'Orléans) research laboratory. His academic career spans over two decades with continuous contributions to high-performance computing, particularly in vectorization techniques and seismic simulation methodologies. His research interests demonstrate deep specialization in: Hardware-specific vectorization (ARM NEON/SVE, SIMD) for seismic kernels GPU acceleration and code portability across architectures High-order spectral finite element methods (EFISPEC3D) Energy efficiency optimization in parallel computing Algorithmic skeleton libraries (OSL, NSIMD) for parallel programming Memory layout reorganization for numerical kernels Analysis of his 15 most recent publications (2013-2025) reveals a consistent research trajectory focused on seismic wave propagation simulation. His work systematically addresses vectorization challenges across ARM architectures, GPU offloading, and memory access patterns, with EFISPEC3D serving as the primary application framework. Notable trends include the development of the NSIMD abstraction layer and rigorous energy-performance trade-off studies on embedded platforms like Jetson boards. Dr. Jubertie maintains active collaboration with key researchers including Fabrice DUPROS, Florent DE MARTIN, and Guillaume QUINTIN through the LIFO laboratory, contributing to France's geophysics research infrastructure while advancing compiler-level optimizations for emerging processor architectures.

William Manskyمشاهده پروفایل

استادیار

• Program Verification
• Concurrency
• Theorem Proving
• +۷ مورد دیگر

William Mansky is a faculty member in the Department of Computer Science at the University of Illinois Chicago, College of Engineering. He is actively engaged in research in formal methods, program verification, and programming languages. His work focuses on applying theorem proving and separation logic to verify concurrent and systems software, particularly under relaxed memory models. His research interests include: Program Verification Concurrency and Parallelism Theorem Proving (especially using Iris and Coq) Language Semantics Compiler and Systems Verification Memory Models and Race Detection The recent articles indicate a strong trend in mechanized verification of low-level systems code, compositional reasoning for concurrent programs, and integration of formal methods with practical software like CompCert and CUDA. His work often bridges theoretical logic with real-world implementation challenges. He has served on program committees for premier conferences including POPL, CPP, and CoqPL, and has chaired sessions on weak memory and program logics. He also contributes to open-source formal verification projects on GitHub, including Coq-related packages and the Iris framework. Notable roles: Program Committee Member – POPL, CPP, CoqPL Session Chair – POPL (Weak Memory and Concurrent Separation Logic) Artifact Evaluation Committee – POPL William Mansky leads a research lab at UIC, accessible at https://mansky.lab.uic.edu/ , where he supervises research in formal verification and programming language theory.

Elisabeth BRUNETمشاهده پروفایل

مدرس

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

Elisabeth BRUNET is a Lecturer at Telecom SudParis, part of the Institut Mines-Télécom. Her research focuses on parallel computing, high-performance computing systems, and communication optimization. She has contributed to projects involving GPU porting, MPI communication protocols, and fault-tolerant checkpointing strategies. Her interdisciplinary work extends to biophysics and stochastic processes, with notable publications in journals like Physical Review Fluids and Scientific Reports . She has also explored applications in sports biomechanics and medical imaging analysis. Key collaborations include work on NewMadeleine communication libraries and unified checkpointing models for extreme-scale systems. Her technical contributions span across both theoretical and applied domains, addressing challenges in distributed computing architectures and performance optimization. Education: While specific academic degrees are not detailed in the provided text, her extensive publication record indicates advanced expertise in computer science and mathematics. Research Interests: Parallel computing architectures, stochastic processes in biological systems, high-performance communication networks, and GPU-accelerated algorithms. Awards: No specific awards are mentioned in the text, though her contributions have been recognized through collaborative projects and peer-reviewed publications.

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

پژوهشگر

• Material Appearance Representation
• BRDF Modeling
• Computer Graphics
• +۳ مورد دیگر

Romain Pacanowski is a Research Scientist at INRIA Bordeaux South-West, a French national research institute for computer science and applied mathematics. His work bridges computer graphics, optics, and physics with a focus on material appearance representation and rendering techniques. His primary research interests center on Material Appearance Representation, with specific focus on BRDF modeling and acquisition. He works closely with opticians and physicists to improve the quality and speed of (SV)-BRDF and roughness acquisition. His research also involves developing new mathematical representations and parametrizations of the BRDF space. Additional interests include Global Illumination for both offline and real-time rendering systems, sketched-based UI for highlight design, and emerging technologies like OptiX for hybrid rendering systems. His publication record shows a consistent focus on BRDF modeling, material appearance, and rendering techniques. His recent work (2016-2018) particularly emphasizes diffraction effects in material measurements, novel BRDF representations, and efficient sampling techniques for rendering. He frequently collaborates with researchers from academic institutions while working at the INRIA research institute. Pacanowski maintains an active research program with numerous publications in top computer graphics venues including SIGGRAPH, Eurographics, and Computer Graphics Forum. His work combines theoretical modeling with practical implementation, often providing open-source tools like the ALTA BRDF Analysis Library.

• Programming Languages
• Formal verification
• Proof assistants
• +۱ مورد دیگر

Guido Martínez is a Research Engineer at Microsoft Research, focusing on programming languages and formal verification. Previously affiliated with CIFASIS-CONICET in Argentina, his work centers on the F* programming language ecosystem for program verification and proof automation. His research spans Programming Languages, Formal Verification, Proof Assistants, and Type Theory, with significant contributions to dependent type systems, separation logic, and verification of concurrent and effectful programs. Recent work demonstrates expertise in secure interoperability, GPU programming verification, and advanced logical frameworks. Martínez maintains a consistent publication trajectory from 2017-2025 in premier venues (POPL, ICFP, PLDI). His 2024-2025 output shows a clear trend toward practical verification applications: secure systems (SecRef*, COSE), hardware acceleration (Kuiper), and industrial-strength separation logics (PulseCore), bridging theoretical foundations with real-world systems challenges. He collaborates extensively with international researchers across North America and Europe. Current work at Microsoft Research advances F* for secure systems development, with emphasis on memory safety, concurrency, and efficient verification of critical infrastructure components.