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

Inbar Fijalkowمشاهده پروفایل

استاد

• Signal Processing
• Wireless Communications
• Optimization
• +۳ مورد دیگر

Inbar Fijalkow is a Full Professor at the National School of Electronics and Computer Science (ENSEA) within CY Cergy Paris University. She is a member of the ETIS Research Unit (UMR 8051), focusing on signal processing for wireless communications, optimization, and machine learning applications. Her research bridges theoretical advancements with practical implementation in emerging communication systems. Education & Career: PhD in Signal Processing from TelecomParisTech (1993) Postdoctoral Fellow at Cornell University (1994–1995) Professor at ENSEA since 1999 Former Head of ETIS Research Unit (2004–2013) Research Interests: Signal processing for wireless communications Optimization techniques in massive MIMO and NOMA systems Machine learning applications in communication systems Nonlinear effects mitigation in high-power amplifiers Community & Awards: Member of CoNRS Section 7 (National Committee for Scientific Research) Chevalier de l’Ordre National du Mérite (2015) Founder of the CY Alliance Women in Science Prize (2017) Recent Projects: Active in ANR-funded initiatives (e.g., EcoBioH2, AI4code) and EU projects (e.g., PERSEUS). Her work emphasizes sustainability and AI-driven communication systems. Teaching: Teaches signal processing and wireless communications at ENSEA. Supervises PhD students and master’s theses in communication systems and signal processing.

Florian Brandnerمشاهده پروفایل

دانشیار

• Real-Time Systems
• Embedded Systems
• Compiler Optimization
• +۵ مورد دیگر

Florian Brandner is an Associate Professor at Télécom Paris , Institut Polytechnique de Paris, and a member of the AuTonomous Critical Embedded Systems (ACES) team within the Information Processing and Communication Laboratory (LTCI) . His research focuses on compiler backend optimization for embedded processors , especially VLIW architectures , in the context of real-time systems . He specializes in worst-case execution time (WCET) optimization , code generation techniques, register allocation, and dynamic binary translation. His work addresses challenges in identifying code paths critical for WCET and ensuring predictable behavior in embedded environments. Academic Appointments: Associate Professor (HDR) at Télécom Paris (2025–present); previous roles at COMPSYS team, ENS Lyon; Microsoft Research; Technical University of Denmark. Research Grants: Involved in projects like Designing Formally Verified Predictable Architectures (CEA 2023–2026), Collaborative Action on Timing Interferences (ANR 2022–2026), and Time-Predictable Cache Management (CEA 2016–2019). Scientific Awards: Outstanding Paper at ECRTS'25, Best Paper at RTNS'22, RTNS'20, SoftCOM'17, and RTNS'15. Patents: Co-inventor of Time-Division Multiplexing Methods (US Patent US20210397488A1, French Patent FR3087982B1). Recent Publications highlight advancements in formal verification for memory controllers (Real-Time Systems 2023), causality modeling in timing anomalies (STTT 2022), and context-sensitive cache analysis (Real-Time Systems 2022). His work spans real-time systems theory, practical compiler design, and hardware-software co-verification.

Joanna C. S. Santosمشاهده پروفایل

استادیار

• Software Engineering
• Software Security
• Program Analysis
• +۴ مورد دیگر

Joanna C. S. Santos is an Assistant Professor at the University of Notre Dame's Department of Computer Science and Engineering. She leads the Security and Software Engineering research lab (S²E) and focuses on Software Engineering, Security, and Program Analysis. Her work bridges empirical studies with practical tool development. PhD in Computing and Information Sciences (Rochester Institute of Technology) M.Sc. in Software Engineering (Rochester Institute of Technology) B.Sc. in Computer Engineering (Federal University of Sergipe) Her research spans Software Security (vulnerability detection, ReDoS), Code Generation (LLM evaluation, benchmarking), and Program Analysis (taint tracking, call graphs). Recent articles show a strong focus on LLM-generated code quality and quantum computing applications. Scientific Awards : 2023 - Distinguished Reviewer (ESEC/FSE) 2020 - Research Pitch Winner (JOBS @MICRO) 2017 - Best Paper (ICSA) 2014 - CAPES Scholarship 2013 - ERBASE 3rd Place She actively contributes to conference committees (OOPSLA, ICSE, SCAM) and collaborates across institutions. Her lab S²E drives research in secure software development and empirical cybersecurity validation.

Benjamin Dubrionمشاهده پروفایل

استاد

• Employment Relationship
• Industrial Relations
• Organizational Theory
• +۳ مورد دیگر

Benjamin Dubrion is an HDR lecturer in economics at Sciences Po Lyon, affiliated with the Triangle laboratory (UMR 5206). His primary research focuses on employment relationships, industrial relations, organizational theory, and corporate social responsibility. He holds a doctoral degree in economics from Sciences Po Lyon. His research integrates institutionalist economic theory with critical perspectives on labor economics, emphasizing the centrality of work in human life and historical figures like John R. Commons. Recent work explores digital labor platforms, cooperative governance models, and the intersection of political influences with economic analysis of employment. Key contributions include analyses of labor evaluation systems, multi-stakeholder cooperatives, and the ethical dimensions of corporate social responsibility. He has published extensively in journals like the Cambridge Journal of Economics and Journal of Economic Issues , and contributed to projects on digital labor forms and cooperative enterprises. His work critiques traditional contractualist approaches to labor and advocates for institutionalist frameworks to understand modern employment dynamics. Collaborations include projects on healthcare networks and governance structures in public institutions.

Auguste Genovesioمشاهده پروفایل

پژوهشگر

• Computational Bioimaging
• Bioinformatics
• Machine Learning
• +۷ مورد دیگر

Auguste Genovesio is a Research Director (DR INSERM) leading the Computational Bioimaging and Bioinformatics team at the Centre for Computational Biology within the École Normale Supérieure (ENS) in Paris. His work focuses on large-scale cellular morphology analysis, integrating machine learning, microscopy, and computational modeling to study cellular responses to perturbations. His team develops algorithms for analyzing high-dimensional biological data, with applications in drug discovery, functional genomics, and neuroscience. Education and Affiliations: Genovesio’s research is anchored at ENS and collaborates with institutions like Institut Curie, Collège de France, and ESPCI. His lab develops open-source tools such as PySpacell and ALFA , advancing spatial analysis and genomic data processing. Research Interests: His group combines deep learning, bioinformatics, and experimental biology to tackle challenges in cellular dynamics, morphological heterogeneity, and predictive modeling. Recent work includes applying diffusion models to reveal subtle phenotypes and optimizing microscopy image analysis pipelines. Key Projects: Cross-modal knowledge distillation for transcriptomics, latent diffusion models for small datasets, and super-resolution microscopy via StyleGAN regularization. Applications: Collaborations in drug screening, neurobiology (e.g., Drosophila memory studies), and cancer cell analysis. Publications: Over 50 peer-reviewed articles since 2007, including work in Nature Communications , Developmental Cell , and NeurIPS . Recent focus on generative AI for biological image analysis and self-supervised learning biases. Grants & Awards: While specific grants aren’t listed, his lab’s cutting-edge research suggests significant institutional and collaborative support. No explicit awards mentioned in texts. Labs/Teams: Director of the Computational Bioimaging group, part of the Functional Genomics section at ENS. Supervises PhD students and postdocs in AI-driven biology and computational microscopy.

Sihem Mesnagerمشاهده پروفایل

استاد

• Symmetric Cryptography
• Coding Theory
• Finite Fields
• +۱۰ مورد دیگر

Sihem Mesnager is a University Professor of Mathematics at the University of Paris VIII, affiliated with the Laboratory of Analysis, Geometry and Applications (LAGA) at Paris XIII (CNRS) and the AGC3 research group (Algebra, Geometry, Combinatorics) . She holds an adjunct professorship at Télécom Paris within the MIC2 Mathematics team of the Computer Science and Networks department (INFRES). Her work bridges pure mathematics and applied cryptography, focusing on Boolean functions, bent functions, and coding theory for secure communication and data protection. PhD in Mathematics, University of Pierre and Marie Curie (Paris VI), Sorbonne University (2002) Habilitation (HDR) in Mathematics, University of Paris VIII (2012) Research Interests Dr. Mesnager specializes in symmetric cryptography and coding theory , particularly their applications to secure digital communication, error correction, and post-quantum cryptographic protocols. Her algebraic approach employs finite fields, exponential sums, algebraic geometry, and finite geometry to analyze and construct cryptographic primitives like S-boxes, APN functions, and optimal linear codes. She also investigates algorithmic aspects of computer algebra in these domains. Scientific Awards George Boole International Prize (2020) PEDR Excellence Scientific Award (2019-2022) PEDR Excellence Scientific Award (2014-2017) Publications & Projects Her recent work includes constructing weightwise perfectly balanced Boolean functions for the FLIP cipher, optimizing Inner Product Masking schemes via coding theory, and developing post-quantum secure functional encryption using multivariate cryptography. She has contributed to Reed-Muller codes, BCH codes, and Gaussian sum-based linear codes with one-dimensional hulls, emphasizing their applications in side-channel attack resistance and quantum error correction.

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

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

استاد

• Machine learning systems
• Software testing
• Software security
• +۸ مورد دیگر

Dr. Yves Le Traon is a Full Professor of Computer Science at the University of Luxembourg, where he serves as Vice-Director of the Interdisciplinary Centre for Security, Reliability and Trust (SnT). He leads the 25-member SerVal research group (SEcurity, Reasoning and VALidation), focusing on software testing, security, and data-intensive systems. Previously, he chaired the CSC Research Unit (2013-2016) and pioneered model-driven engineering at INRIA. PhD and engineering degree in Computer Science from Institut National Polytechnique, Grenoble (1997) Former Associate Professor at University of Rennes (1998-2004) His research spans three main areas: innovative software testing and repair , Android security through static analysis and machine learning , and robust machine learning system design . Collaborations include industry leaders like PayPal, CREOS, and Cebi in fintech, smartgrid, and industry 4.0 domains. Awarded IEEE Fellow (2022) and Facebook Testing & Verification Research Award (2019) , he chairs editorial boards for STVR, SoSym, and IEEE Transactions on Reliability. His team has produced 20+ PhD graduates including Li Li (Monash University), Donia El Kateb (European Investment Bank), and Alexandre Bartel (SnT Research Associate). Commercial impact includes co-founding Datathings for runtime AI decision systems.

Ammar Mianمشاهده پروفایل

دانشیار

• Statistical Signal Processing
• Machine Learning
• Riemannian Geometry
• +۴ مورد دیگر

Ammar Mian is an Associate Professor at Université Savoie Mont Blanc, affiliated with the LISTIC lab and Polytech Annecy-Chambéry. He holds a PhD from CentraleSupélec (2016-2019) and conducted postdoctoral research at Aalto University (2019-2020). His research focuses on statistical signal processing, machine learning, and Riemannian geometry with applications in remote sensing and frugal computations. He leads the Qanat project, an experiment tracking tool for reproducible research. Research interests include covariance-based methods for SAR image analysis, robust detection algorithms for sonar and GPR systems, and optimization on Riemannian manifolds. His work emphasizes reproducibility in ML and efficient computational techniques for resource-constrained environments. Key contributions include real-time SAR time-series change detection, robust classification using second-order deep learning models, and novel methods for handling missing data in EEG signals. His recent articles (2023-2025) explore reproducibility frameworks, GPR-based object classification, and Riemannian geometry applications. No awards listed, but maintains active collaborations through LISTIC and industry partnerships. Advises students via internship programs (e.g., Federated ML energy cost analysis). Lab work involves developing open-source tools like Qanat for experiment management and reproducibility.

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

• Responsible governance
• Political CSR
• Stakeholder engagement
• +۵ مورد دیگر

Lydia Milly Certa is an Assistant Professor of Strategy and Entrepreneurship at NEOMA Business School, specializing in sustainability governance and stakeholder dynamics. Her research focuses on responsible governance, political CSR, and inclusion in multistakeholder decision-making processes addressing Grand Challenges like climate change. Current research areas include stakeholder engagement failures, re-engagement strategies, legitimacy-building in multi-stakeholder governance, and cultural entrepreneurship in the vegan meat market. She actively participates in prestigious PDWs such as JMS 2024 at Bayes Business School and Centre for Sustainable Business PDW at King’s Business School (2025). Scientific awards include: ESRC funded project on Cultural Entrepreneurship in the Vegan Meat Market She is affiliated with research centres including CSIM and CoDE at University of Surrey, ETHOS at Bayes Business School, AOM ONE, and UNFCCC YOUNGO networks.

• Programming Languages
• Formal Verification
• Compilers
• +۵ مورد دیگر

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware. PhD in Computer Science from MIT (2016) William A. Martin Memorial Thesis Award recipient Former Senior Applied Scientist at Amazon AWS Teaching accolades including the Frederick C. Hennie III Teaching Award Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis. Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification. Scientific contributions recognized through: Distinguished artifact award (SLE 2020) MIT William A. Martin Thesis Award Frederick C. Hennie III Teaching Award Teaching philosophy emphasizes hands-on lab instruction , oral assessment , and automated tooling . Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.

• Software Engineering
• Cybersecurity
• Formal Methods
• +۵ مورد دیگر

Role & Affiliation: Jean-Christophe BACH is an Associate Professor at IMT Atlantique's Computer Science department since 2015. He leads the PASS research group (IRISA) and focuses on software security, model-driven engineering, and cybersecurity applications. Previously, he held roles as a teaching assistant (ATER) at University of Lille (2014–2015) and completed his PhD on model transformations at Inria/LORIA under Pierre-Étienne Moreau and Marc Pantel (defended 2014). Research Interests: His work centers on improving software trustworthiness through 'security by design' principles. Key areas include model federation, formal methods for software verification, transformation traceability, and cybersecurity in industrial systems. He actively contributes to frameworks like Openflexo and PAMELA, emphasizing practical tooling for secure systems engineering. Teaching & Education: Teaches advanced topics such as object-oriented design, functional programming (OCaml), concurrency modeling, and cybersecurity. Supervises student projects on Openflexo, game development, and network security (IPv6/Tor). Courses include INF301, INF447, and others. Labs & Collaborations: Engaged with IRISA and Lab-STICC research centers. Collaborates on projects like the European Space Agency's SSE4Space framework for secure space missions and the Quarteft project (aerospace software). Active in open-source initiatives and scientific mediation for K-12 programming education.

• Performance evaluation of networks
• Wireless networks
• Internet of Things (IoT)
• +۱۲ مورد دیگر

Katia Jaffres-Runser is a full Professor at Institut National Polytechnique de Toulouse (Toulouse INP) , affiliated with the ENSEEIHT engineering school and the IRIT laboratory , where she leads the RMESS team. She holds a PhD from INSA Lyon and completed a prestigious Marie Curie postdoctoral fellowship at Stevens Institute of Technology and INSA Lyon. PhD : Institut des Sciences Appliquées de Lyon (INSA Lyon), 2005 M.Sc. : INSA Lyon, 2002 Diplôme d’Ingénieur en Télécommunications : INSA Lyon, 2002 Her research centers on performance evaluation and optimization of networks , particularly in wireless sensor networks, IoT, embedded systems, and complex networks. She applies advanced techniques like Google Matrix analysis, game theory, and deep reinforcement learning to improve network reliability, synchronization, and efficiency. Her work spans theoretical modeling and practical implementations in avionics, automotive, and industrial systems. Her recent publications highlight a strong trend in time-sensitive networking (TSN) , network synchronization , AI-driven optimization , and complex network analysis using Wikipedia and trade data. She has led major projects like MACACO, GOIA, and the Maison du Quantique Occitanie, focusing on real-time, reliable, and intelligent networking solutions. Scientific Awards: Best Paper Award on Propagation, IEE International Conference on Antennas and Propagation, 2003 STIC Innovation Prize, 2005 Marie Curie Outgoing International Fellowship, 2007–2010 Prime d'Excellence Scientifique (2013–2016) PEDR (2017–2021) RIPEC C3 (2022–2025) She has advised PhD students and contributed to national and international scientific service, including committee memberships in CoNRS , HCERES , and ACM N²Women . She has served on award juries and grant review panels. Her leadership extends to being Vice-President for Education at Toulouse INP (2021–2024) and Team Leader of RMESS at IRIT (since 2024) . She is actively involved in research labs and collaborative teams such as: RMESS Team , IRIT Laboratory – leading research on network modeling and embedded systems MACACO Project – international collaboration on adaptive communication networks GOIA and APPLIGOOGLE Projects – applying Google Matrix to AI and complex networks IRT EDEN – evaluating determinism in embedded networking

Simone Aonzoمشاهده پروفایل

مدرس

• Cybersecurity
• Malware Analysis
• Android Security
• +۵ مورد دیگر

Simone Aonzo is a Class 2 Lecturer in the Digital Security department at EURECOM, a leading research and education institution in France focused on digital sciences. He is actively engaged in cybersecurity research with a strong emphasis on malware analysis, Android security, and machine learning applications in threat detection. His research interests span several critical areas in modern cybersecurity, including: Android and Windows malware analysis Evasive techniques used by malware Machine learning vulnerabilities in security systems Binary analysis and cryptographic function detection Phishing and social engineering attacks Security hardening using AI The trends in his recent publications (2024–2025) reflect a deep focus on adversarial machine learning, evasive malware behaviors, and the application of AI in both offensive and defensive security contexts. His work frequently appears in top security venues such as RAID, NDSS workshops, and IEEE-affiliated conferences, demonstrating his active contribution to the research community. He has no listed scientific awards in the provided text. Simone Aonzo is involved in mentoring and training through academic collaborations and educational events such as the PEPR Cybersecurity Winter School. While specific advisees are not listed, his collaborative publications suggest an active role in guiding junior researchers. There is no mention of grants, but his publication output implies ongoing research funding. He also contributes to community knowledge through talks and workshops. He is associated with the Digital Security research group at EURECOM, which focuses on cutting-edge cybersecurity challenges, including malware analysis, privacy, and system security. The team employs advanced techniques in machine learning, reverse engineering, and automated analysis to study modern threats.