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

Pasquale Lisenaمشاهده پروفایل

پژوهشگر ارشد

• Knowledge Graphs
• Knowledge Engineering
• Recommender Systems
• +۳ مورد دیگر

Pasquale Lisena is a Research Fellow in the Data Science department at EURECOM, where he contributes to the Data2Knowledge research group. His work bridges academic research with practical applications in knowledge-intensive domains. Education: PhD in Computer Science from EURECOM / Sorbonne University (2019), thesis: "Knowledge-based music recommendation: Models, algorithms and exploratory search" supervised by Raphaël Troncy His research centers on Knowledge Graphs, Knowledge Engineering, and Recommender Systems with strong applications in cultural heritage and music. Key specializations include: Semantic Web technologies for domain-specific knowledge representation Information extraction from multimedia and text sources Development of ontologies for complex cultural domains Music metadata modeling and recommendation systems Recent publications reveal a trajectory from foundational music metadata work (2018-2019) toward cutting-edge applications in olfactory heritage (Odeuropa) and language model-driven recommendation (2025). His research consistently integrates knowledge graphs with machine learning, demonstrating expertise in both classical music informatics and emerging sensory heritage domains. Awards: Best Resource Paper Award (2022) for Odeuropa Data Model publication Funding and Collaboration: ANR JCJC project coordinator for kFLOW (2022-2024) Key contributor to EU H2020 projects including Odeuropa, SILKNOW, and MeMAD Extensive cross-institutional collaboration across European cultural heritage initiatives He operates within EURECOM's Data2Knowledge group, participating in international research consortia focused on knowledge-intensive applications in cultural heritage preservation and digital humanities.

Dominique Blouinمشاهده پروفایل

دانشیار

• Model-Based Engineering
• Multi-Paradigm Modeling for Cyber-Physical Systems
• Model Management
• +۵ مورد دیگر

Dominique Blouin is an Associate Professor at Telecom Paris, Institut Polytechnique de Paris, and a member of the Autonomous Critical Embedded Systems (ACES) research group within the Information Processing and Communications Laboratory (LTCI). With a PhD in computer science from the University of South Brittany and prior industrial experience as a software architect at Cassiopae and research engineer at Lab-STICC, Blouin bridges academic research and industrial application in model-based engineering. Bachelor of Science in Physics, University of Sherbrooke (1989) Master of Science in Astrophysics, University of British Columbia (1994) PhD in Computer Science, University of South Brittany (2011) Blouin’s research focuses on multi-paradigm modeling (MPM) for cyber-physical systems (CPS), emphasizing model management, domain-specific language (DSL) development, and scalability of model-based approaches. Key projects include the ontological foundation for MPM4CPS and the ALISA framework for architecture-led system assurance. Their work leverages the SAE AADL standard for industrial applications, addressing challenges in model synchronization, requirements engineering, and power-aware design. Recent publications highlight advancements in AADL-based model management, incremental transformation tools, and ROS-based robotic system modeling. Blouin’s contributions to model-driven engineering have been recognized with the SoSyM-First Paper award at MODELS 2022. SoSyM-First Paper award, MODELS 2022 Blouin has supervised numerous PhD, Master’s, and Bachelor’s students, authored tools like RAMSES and OSATE-DIM for AADL processing, and participated in standardization committees (SAE AADL) and organization of international workshops (MPM4CPS, MODELS). Their teaching includes object-oriented programming, embedded system modeling with AADL, and real-time systems courses.

Sylvain Meignierمشاهده پروفایل

استاد

• Speech Processing
• Audio Signal Processing
• Speaker Diarization
• +۳ مورد دیگر

Sylvain Meignier is a Professor in Computer Science at the University of Mans, where he has been affiliated since 2004. He currently serves as Deputy Director of the LIUM (Laboratoire d'Informatique de l'Université du Mans) and leads research in speech and audio processing. His academic journey began with a PhD from Université d’Avignon et des Pays de Vaucluse in 2002. Research Focus: Speech processing, speaker diarization, audio signal analysis, and lifelong learning systems. Collaborations: Active in projects like DIGING and the ANTRACT project. Software Development: Co-developer of the SIDEKIT and S4D toolkits for speaker diarization. His recent work explores cross-domain speech processing, including overlap detection, gender analysis in broadcast media, and lifelong learning frameworks. Publications span interdisciplinary applications in digital humanities and core technical advancements in machine learning. No specific scientific awards are mentioned in the provided text. Sylvain also contributes to open-source tools and large-scale multimedia indexing challenges.

Imen Bahriمشاهده پروفایل

پژوهشگر

• Control Systems
• Electrical Engineering
• Power Electronics
• +۳ مورد دیگر

Imen Bahri is a researcher at the Laboratory of Electrical and Electronic Engineering of Paris (GeePs) , specializing in control systems for electromagnetic and power electronic devices. Her work focuses on vibration reduction, efficiency optimization, and sensorless control strategies for electric machines like switched reluctance machines (SRMs) and permanent magnet synchronous machines (PMSMs). Research Interests include: Robust control methods (H-infinity, RST controllers) Intermittent control for automotive applications Sensorless performance enhancement DC microgrid voltage regulation Recent publications address vibration suppression via HW/SW partitioning, torque pulsation in electric vehicles, and FPGA-based fault-tolerant systems. She collaborates with institutions like Université de Lorraine and IEEE on modeling, simulation, and industrial electronics.

Mohamad Mroueمشاهده پروفایل

پژوهشگر

• Embedded Systems
• FPGA
• Electronics
• +۵ مورد دیگر

Mohamad Mroue is affiliated with the Laboratory at the Electrical and Electronic Engineering of Paris, focusing on cutting-edge research in Embedded Systems, FPGA, Electronics, IoT, and Wireless Communications. His work emphasizes FPGA-based solutions for power optimization, reconfigurable wireless systems, and low-power wide-area networks (LPWANs). He has contributed to advancements in partial reconfiguration techniques, machine learning integration for hardware monitoring, and secure mobility management protocols for IoT devices. His research spans multiple domains including UWB transceiver design, PAPR reduction in DVB-T2 systems, and innovative sensor networks. Collaborations with colleagues like Jean-Christophe Prevotet and Fabienne Nouvel highlight his interdisciplinary approach to solving complex engineering challenges. Mroue’s publications reflect a strong emphasis on practical implementations and real-world applications of embedded and wireless technologies. Key technical contributions include an ARM-FPGA platform for adaptive wireless communication, automated data generation systems, and energy-efficient solutions for IoT mobility. His work bridges theoretical research with hands-on prototyping, often leveraging FPGA capabilities for high-performance and flexible systems.

Stephanie Balzerمشاهده پروفایل

استادیار

• Programming Languages
• Program Verification
• Type Theory
• +۷ مورد دیگر

Dr. Stephanie Balzer is an Assistant Professor in the Principles of Programming Group at Carnegie Mellon University's School of Computer Science. Her research focuses on enabling failure-free software through formal methods like type systems and verification logics. She emphasizes compositional proofs for scalability and practical validation via software artifacts. Programming Languages Type Theory Program Verification Concurrency & Security Her recent work explores timed protocols, disentanglement logic, and multiparty session types. Articles demonstrate semantic logical relations for termination (2025), deadlock freedom in Rust embeddings (2022), and information flow control (2024). Key collaborative papers address cyclic process networks and separation logic frameworks. Scientific recognition includes: NSF CAREER Award (2025) ACM SIGPLAN Distinguished Paper (2022) ECOOP Distinguished Paper (2022) She supervises PhD candidates Yue Yao, Yinsen Zhang, and Zak Kent (with Guy Blelloch), plus Master's student Sonya Simkin. Former advisee Jules Jacobs received Cum Laude distinction at Radboud University. Active in academic service, Balzer chairs PLMW@POPL workshops and co-organizes Oregon Programming Language Summer School. She serves on program committees for LICS, POPL, and ICFP.

Adrien Pommelletمشاهده پروفایل

دانشیار

• Formal Methods
• Model Checking
• Automata Theory
• +۵ مورد دیگر

Adrien Pommellet is an Associate Professor at EPITA , affiliated with the Laboratoire de Recherche en Informatique (LRE) automata team. His research focuses on formal methods, automata theory, and program synthesis. Education: PhD in Computer Science from Université Paris-Diderot (2018), Parisian Master of Research in Computer Science (2012) His research interests include active and passive learning of automata , model-checking algorithms for Büchi automata, and program synthesis . He actively contributes to the development of the Spot formal verification tool. Recent publications emphasize synthesis algorithms , automata reduction techniques , and LTL verification . He has also explored type systems and formal verification of concurrent programs. Teaching roles include courses in computer science (AAA, COMP, CPXA) and formal logic (FOLO, LOFO). Formerly taught ALGO, LOGI, and PING. He worked as a research engineer at CS Communications & Systèmes before joining EPITA's LRDE (now LRE) verification team in 2019.

Laure Gonnordمشاهده پروفایل

استاد

• Static Analysis
• Compilation
• Software Engineering
• +۷ مورد دیگر

Laure Gonnord is a Full Professor in Computer Science at Grenoble INP , affiliated with the Esisar Engineer School in Valence, France, since September 2021. She is a member of the CTSYS research team at the LCIS laboratory and an external member of the CASH team at the University of Lyon / CNRS / LIP / Inria. Her research focuses on compilation , static analysis , and applications to safety , security in high-performance and embedded systems . Fields of Interest : Compiler Design Static Analysis for Safety & Security Abstract Interpretation Embedded Systems High-Performance Programming Hardware Security Engineering Research Trends (from recent publications): Her work explores modular verification through monadic abstract interpreters, complexity bounds in term rewriting , and educational tools for theorem proving . Notable contributions include compiler hardening schemes for hardware security and memory layout optimizations for algebraic data types. Academic Leadership : Scientific Director of the Summer School EJCP (École Jeune Compilation et Programmation) Board Member of the French national research group GDR GPL Teaching Responsibilities at Grenoble INP include courses in architecture , compilation , programming languages , algorithms , and databases . She has also taught at University of Lyon, ENS Lyon, Polytech'Lille, and INSA.

David Defourمشاهده پروفایل

استاد

• Computer Arithmetic
• High Performance Computing
• Computer Architecture
• +۱۱ مورد دیگر

David Defour is a Professor in Computer Science at the University of Perpignan, affiliated with the Faculty of Science and Engineering and the Mathematics and Computer Science Department. He conducts research at the Multidisciplinary Modeling and Simulation Laboratory (LAMPS) and serves as Scientific Coordinator of the MESO@LR Computing Center. His research focuses on the critical intersection of computer arithmetic and computer architecture, with emphasis on: Unconventional arithmetic systems (interval, fuzzy, high/reduced precision) Numerical reproducibility and error estimation in computational workflows Hardware-software co-design for GPUs, multicore systems, and embedded architectures Reverse engineering of computational units and power consumption optimization Defour actively mentors master's students through thesis proposals on numerical bug detection using LLMs, SAT solvers for numerical challenges, soft error resilience in floating-point units, and reverse execution debugging for HPC. He leads the ANR InterFlop project (2021-2025) and previously managed the BPS collaboration contract (2021-2022), while serving as IT expert for the High Court of Perpignan. The LAMPS laboratory under his research activities structures work around two core thematic axes: Characterization of Digital and Discrete Systems, and Mathematical and Numerical Modeling for Mechanics.

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

استادیار

• Graph Mining
• Complex Networks
• Text Mining
• +۲ مورد دیگر

Nicolas Dugué is an Assistant Professor at the University of Le Mans, affiliated with the LIUM and EIAH teams. His research focuses on data mining, complex networks, and text mining, with applications in social network analysis, community detection, and interpretable embeddings. Education: PhD in Computer Science from LIFO (University of Orléans), Postdoc at LORIA (Nancy, France). His work spans graph mining, supervised learning, and clustering, particularly in social networks and scientific data analysis. Recent publications emphasize interpretable embeddings, community filtering, and modularity optimization in directed networks. He contributes to open-source tools like SINr for word and graph embeddings and explores interdisciplinary applications in medical research and scientometrics. Affiliated with LIUM (Laboratory of Computer Science of Le Mans) and EIAH (Education, Information, and Human-Computer Interaction) teams.

Christophe Rosenbergerمشاهده پروفایل

استاد

• Cybersecurity
• Biometrics
• Digital Forensics
• +۴ مورد دیگر

Christophe Rosenberger is a full professor of Cybersecurity at ENSICAEN School of Engineering (University of Caen Normandy) and director of the GREYC research lab. He holds a PhD in Computer Science from the University of Rennes 1 (1999) and an HDR (2006). His research focuses on biometrics (keystroke dynamics, soft biometrics), digital forensics, and cybersecurity, with 250+ publications and 28 supervised PhD students. He leads projects like the PEPR Cybersecurity COMPROMIS initiative and chairs international conference tracks. Education: PhD (1999, University of Rennes 1), Master's (1996), and Bachelor's (1994) in Computer Science and Mathematics from the University of Rennes 1. Research interests include behavioral biometrics, phishing detection, and explainable AI. He has developed tools like GREYC-Hashing for biometric template protection and GREYC-Keystroke software for keystroke analysis. Awards include the 2023 highest grade promotion to professor and Asgard laureateships for Norway collaborations. Teaching includes courses on cybersecurity, machine learning, and digital identity at ENSICAEN. He co-supervises 3 ongoing PhD projects on biometric explainability, fairness evaluation, and phishing detection. Active in committees like the CNRS Computer Science Institute and the French-Norwegian MyTIGER program. Media engagements include radio/podcast appearances on biometrics and AI, featured in articles by CNRS, Le Figaro, and others. The GREYC lab, under his leadership, hosts over 200 researchers and collaborates globally on cybersecurity and AI initiatives.

Frank Piessensمشاهده پروفایل

استاد

• Software Security
• Systems Security
• Formal Methods
• +۲ مورد دیگر

Frank Piessens is a Professor in the Department of Computer Science at KU Leuven, Belgium. His work spans both offensive and defensive aspects of software and systems security, with a focus on formal verification, programming languages, and security architectures. He has served as program chair for major security conferences like POST 2016, IEEE Euro S&P 2018-2019, and IEEE SecDev 2021-2022. Software Security Systems Security Formal Methods Programming Languages Information Flow Security His research bridges theoretical and practical domains. On the defensive side, he has advanced formal verification for C-like languages, memory safety hardening, and micro-architectural side-channel mitigation. On the attack side, he has contributed to transient execution and memory safety exploitation frameworks. His recent work (2024) explores compiler support for control-flow linearization using architectural mimicry, while earlier publications (2021-2014) cover functional reactive programming, secure compilation, and dependently typed verification. Frank has consistently engaged with academic communities, serving on program committees for ACM CCS, Usenix Security, and IEEE Security & Privacy. He co-authored key papers in venues like POPL, ICFP, and PriSC. His lab, Distrinet, focuses on distributed systems and security research. No explicit details about scientific awards or student advisement are present in the provided data.

Aurélien Francillonمشاهده پروفایل

استاد

• Cybersecurity
• Embedded Systems Security
• Software Security
• +۳ مورد دیگر

Aurélien Francillon is a full professor in the Networking and Security Department at EURECOM, France. His research focuses on embedded systems security, software security, and telecom fraud. He holds a PhD from INRIA Grenoble and previously worked as a postdoc at ETH Zurich's System Security Group. Education & Experience: PhD in Computer Science, INRIA Grenoble Postdoctoral Researcher, ETH Zurich (2013-2015) Current Position: Full Professor at EURECOM Research Interests: His work addresses critical challenges in securing embedded systems, firmware analysis, side-channel attacks, and telecom fraud. He pioneers tools like Avatar2 for firmware analysis and explores vulnerabilities in Bluetooth, TLS, and CI/CD systems. His methodologies emphasize reproducibility (BEERR framework) and automation (LibAFL QEMU). Labs & Collaborations: Collaborates with industry partners like Intel Labs, SAP Security Research, and Cisco Talos. His lab leads open-source projects including SymCC, LibAFL, and X-Ray-TLS. Advises over 20 PhD/Master students and postdocs, many now in academia and industry. Awards & Recognition: (No explicit awards listed, but extensive contributions to top-tier security conferences and open-source frameworks.) Grants & Funding: Secures funding through European Research Council grants and industry partnerships for projects on firmware security, IoT vulnerabilities, and CI/CD pipeline integrity.

• Memory Forensics
• Cybersecurity
• Operating Systems Security
• +۳ مورد دیگر

Andrea OLIVERI is a Research Fellow at EURECOM's Digital Security department, focusing on advanced cybersecurity and memory forensics. His work spans OS-agnostic memory analysis, zero-knowledge protocols in forensics, and IoT botnet infiltration. He holds a postdoctoral position and maintains a research website at https://www.s3.eurecom.fr/~iridiumxor/ . Research interests include memory integrity validation, kernel-level forensic techniques, and secure computation methodologies. His recent studies address challenges in cross-platform memory analysis and SGX enclave forensics, while earlier work explored IoT botnet mitigation through undercover software agents. Publications highlight trends in forensic tool development, zero-knowledge approaches for privacy-preserving analysis, and hardware-software interaction in secure environments. No specific awards or grants are listed in the provided information.

• Microelectronics
• Emerging Memories
• Neuromorphic Computing
• +۵ مورد دیگر

Hassen AZIZA is a senior Associate Professor and Head of the Memory Team (MEM) within the IM2NP research unit at Aix-Marseille University, specializing in microelectronics and emerging memory technologies. His work bridges academic research and industrial applications through collaborations with ST-Microelectronics, CEA-Leti, Thales, and international universities. He earned both his Master of Science in Electrical Engineering (MSEE) and PhD with honors from Aix-Marseille University. His educational background established the foundation for his expertise in semiconductor devices and memory systems. His research centers on Microelectronics , Emerging Memories , and Neuromorphic Computing , with specific focus on RRAM reliability, computation-in-memory architectures, and hardware security. Current projects address critical challenges in RRAM variability, fault tolerance, and energy-efficient neural network implementations using memristive crossbars. His work spans from fundamental device physics to system-level integration for IoT and biomedical applications. Analysis of his 15 most recent publications reveals dominant trends in RRAM reliability engineering (35% of articles), neuromorphic hardware implementation (30%), and sensor system development (20%). Key subfields include fault-tolerant memory design, variability-aware neural networks, and low-power IoT circuit optimization, demonstrating consistent focus on bridging device physics with practical system requirements. Best Paper Award at IEEE ETS (2021) for RRAM fault analysis CoolGames Silver Medal (2019) for high-altitude balloon project Eiffel Scholarship for PhD student (2018) Guillemin-Cauer Best Paper Award (2014) Multiple IEEE conference best paper awards (2013, 2011) SIMagine contest finalist/silver medalist (2010, 2009) He has supervised 10 PhD students (8 graduated via industry-oriented CIFRE theses), including Eiffel scholarship recipient Hussein BAZZI. His research is funded through strategic industry partnerships with ST-Microelectronics, CEA-Leti, and Thales Silicon Security, plus European initiatives like the French Tech LAB grant for the SMILE air quality monitoring startup project. Current grants focus on RRAM commercialization and neuromorphic hardware development. As leader of the Memory Team (MEM) within IM2NP's Department of Analysis and Design of Electronic Systems, he directs research on resistive memories, neuromorphic circuits, and sensor interfaces. The team maintains strong industry links through joint projects with semiconductor manufacturers and participates in international standardization efforts for emerging memory technologies.