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

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.

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

Renaud Pacalet is a Researcher at Institut Mines-Télécom – Télécom Paris , affiliated with the Communications and Electronics (Comelec) Department and the System on Chip (LabSoc) research team under the Information Processing and Communication Laboratory (LTCI). His work spans hardware security, embedded systems, and software-defined radio (SDR) architectures. Current Research: Hardware security, side-channel attacks (power, timing, fault injection), RISC-V security analysis using gem5, FPGA scheduling for cloud data centers, and model-driven design methodologies. Past Research: Hardware acceleration for ray tracing, SDR front-end processing, SoC security, and memory bus protection (SecBus project). Teaching: Courses on Digital Systems, Computer Architecture, and Hardware Security at EURECOM, including lab sessions on side-channel attacks and fault analysis. Email: renaud.pacalet@telecom-paris.fr Contact: Télécom ParisTech, Campus SophiaTech, 450 route des Chappes 06410 Biot, France

• Hardware Security
• Side-Channel Attacks
• Embedded Systems
• +۷ مورد دیگر

Konstantin Korovin is a Reader at the Department of Computer Science, University of Manchester, with over 20 years of experience in automated reasoning and formal verification. He previously held roles as Senior Lecturer (2015-2023) and Royal Society University Research Fellow (2007-2015). His research spans automated theorem proving, machine learning integration, and constraint solving for hardware/software verification. Doctoral thesis: Knuth-Bendix orders in automated deduction (2003, University of Manchester) Current teaching: Logic and Modelling (COMP21111), Automated Reasoning (COMP60332) Research interests include: Automated Theorem Proving (ATP) and SMT solving Combining machine learning with formal verification Nonlinear constraint analysis via δ-complete procedures DNA computing and bio modeling applications Recent publications focus on symbolic ML verification (SMLP), conflict-driven quantifier elimination (VIRAS), and enhanced C++ model checking (ESBMC). His work has been recognized with best paper awards at FroCoS'19 and CP'09. Supervised: 9 PhD/PostDocs including Maryam Abdullah, Franz Brausse, and Andrzej Kucik Collaborated with industry (Intel, Google, MathWorks) on verification tools Contact: konstantin.korovin@manchester.ac.uk

• Automated Theorem Proving
• Machine Learning Integration
• Formal Verification
• +۷ مورد دیگر

Sara Riva is an Associate Professor (Maître de Conférences) in Computer Science at Université de Lille, affiliated with the CRIStAL laboratory (UMR 9189). She is a member of the BioComputing research group and the MSV thematic group. Her academic journey includes a PhD jointly supervised by Université Côte d'Azur and Università degli Studi di Milano-Bicocca (2019-2022) and postdoctoral research at Université de Bordeaux (2022-2023). Her research explores Discrete Dynamical Systems , Cellular Automata , and Boolean Networks , with emphasis on equation solving, factorization methods, and dynamics modeling. She develops algorithmic approaches to analyze complex behaviors in computational and biological systems. Publications (2019-2023) demonstrate consistent focus on theoretical foundations of discrete systems, with applications in systems biology and complex modeling. Key themes include Boolean network dynamics, computational pipelines for equation solving, and sensitivity analysis in cellular automata. Awards: First prize for PhD students (Computer Science), STIC doctoral school Teaching: Extensive instructional experience at Université de Lille and Université Côte d'Azur covering: Algorithms & Programming (72+ lab hours) Databases (39+ lab hours) Logic, Graph Theory, Web Technologies (18+ lab hours each) IT Security and Information Coding (18 hours each) Academic Service: Member of CRIStAL's parity commission; Program Committee for AUTOMATA 2024; President of ADSTIC PhD association (2021-2022); Organized summer schools (EJCIM 2022).

• Discrete Dynamical Systems
• Cellular Automata
• Boolean Networks

Sourour Elloumi is a Professor at the Applied Mathematics Unit (UMA) of ENSTA Paris , with additional affiliation to the CEDRIC laboratory at Cnam. Her research focuses on Operations Research and Discrete Mathematical Optimization , with applications in energy systems, transportation networks, and telecommunications infrastructure. Specializes in Quadratic Programming and Mixed-Integer Optimization Develops Convex Reformulation Techniques for complex optimization problems Active in Network Optimization and Railway Rolling-Stock Planning Recent publications emphasize Quantum Algorithm Design for combinatorial problems, Hydrogen Injection in Gas Pipelines , and Robust MILP Formulations for location problems. Her work bridges theoretical optimization with industrial applications, particularly in Energy Transition and Transport Planning . She teaches Mathematical Programming and Discrete Optimization at the graduate level, including courses in the Master Parisien de Recherche Opérationnelle (MPRO) program. Her research methodology combines theoretical analysis with practical implementation through Convex Relaxation and Decomposition Algorithms .

• Operations Research
• Discrete Mathematical Optimization
• Energy Optimization
• +۷ مورد دیگر

Magnus O. Myreen is a Professor at the Department of Computer Science and Engineering at Chalmers University of Technology. His research focuses on formal verification , interactive theorem proving , and verified compilers , particularly for functional languages like ML and Lisp. He is best known for the CakeML project , which aims to create a verified ML-style language with proofs down to machine code. Education: B.A. in Computer Science (University of Oxford, 2007), Ph.D. in Program Verification (University of Cambridge, 2009, supervised by Prof. Mike Gordon). Awards: BCS Distinguished Dissertation Competition 2010, ACM SIGPLAN Most Influential POPL Paper Award (2014 paper), Amazon Research Award 2023 for 'Compiling Dafny to CakeML'. Students: PhD students include Alejandro Gomez, Oskar Abrahamsson, and Andreas Loow. Research Trends : Recent publications emphasize verified compilers (CakeML, PureCake), formal verification of machine code, and integration of hardware-software stacks. His work bridges functional programming , automated reasoning , and cyber-physical systems . Scientific Awards : BCS Distinguished Dissertation Competition 2010 ACM SIGPLAN Most Influential POPL Paper Award Amazon Research Award 2023 Advising : Supervised PhD students at Chalmers and collaborated with researchers at NICTA, EPFL, and NUS. Labs/Teams : Leads verification projects at Chalmers, collaborates with groups at EPFL, NUS, and Arm Ltd. during a sabbatical.

• Formal verification
• Interactive theorem proving
• Compilers
• +۳ مورد دیگر

Paolo Arcaini is a Project Associate Professor at the National Institute of Informatics (2019–present) and previously held academic positions at Charles University (Assistant Professor, 2015–2018) and the University of Bergamo (Postdoctoral Fellow). His research spans formal methods, model-based testing, and quantum software engineering, with a focus on cyber-physical systems, autonomous vehicles, and machine learning validation. He has received multiple best paper awards, including at SSBSE (2021), AITest (2020), and Mutation (2017). Educational Background: PhD in Computer Science, University of Milan (2010–2012, advisor: Elvinia Riccobene) Postdoctoral Fellow, CNR-IDPA (2013, advisor: Gloria Bordogna) Research Interests: Dr. Arcaini's work bridges abstract state machine modeling, hybrid system falsification, and quantum program testing. His recent projects address robustness in neural networks, search-based scenario generation for autonomous systems, and quantum annealing applications to test case optimization. Article Trends: His publications demonstrate expertise in hybrid system falsification using Monte Carlo tree search mutation analysis for regular expressions and neural networks quantum software testing via combinatorial and search-based methods tool development for NuSMV/Yices integration and quantum noise mitigation multi-objective optimization for autonomous delivery systems formal methods in medical software validation Scientific Recognition: Distinguished Paper Award, SSBSE 2021 Best Paper Award, AITest 2020 Best Paper Award, Mutation 2017 Teaching: He has taught courses on Formal Methods for Cyber-Physical Systems (NII 2019) Model-Based Testing (Charles University 2015–2018) Java programming labs and advanced topics Tool Development: Dr. Arcaini has created several tools including MutRex/TearRex for regular expression testing NuSeen (Eclipse-based NuSMV environment) ATGT Boolean for SAT-based testing CRAG for combinatorial road geometry generation QUIET for quantum noise mitigation BQTmizer for quantum test case optimization

• Formal Methods
• Model-Based Testing
• Cyber-Physical Systems
• +۵ مورد دیگر

MALAK Derya is an Assistant Professor at EURECOM's Communication Systems department, specializing in networked distributed computing systems. Her research focuses on optimizing communication and computation trade-offs in networks, with a strong emphasis on network coding, information theory, and wireless communication systems. She holds a dual role in advancing theoretical foundations and practical implementations of distributed computing frameworks. Dr. Malak has received prestigious recognitions, including the Best Paper Awards at WiOpt 2023 and WIOPT 2022 for her work on content distribution optimization and random access protocols. Her research explores cutting-edge topics such as non-linear function computation, structured coding for matrix operations, and congestion-aware job scheduling in real-time systems. Key Research Areas: Distributed Algorithms, Network Coding, Machine Learning Systems, Wireless HetNets, and Multi-Server Architectures Awards: WiOpt 2023 Best Paper, WIOPT 2022 Best Paper Professional Activities: Invited speaker at major conferences and workshops, including the National Center on Networks and Systems for Digital Transformation Her work bridges theoretical insights with practical engineering solutions, addressing critical challenges in modern distributed and networked systems.

• Distributed Systems
• Network Coding
• Information Theory
• +۳ مورد دیگر

Chu Min LI is a University Professor at the University of Picardy Jules Verne (UPJV), working in the Modélisation, Information et Systèmes (MIS) laboratory (UR UPJV 4290). Their research focuses on Optimization, Cryptography, and Artificial Intelligence, with particular expertise in MaxSAT (Maximum Satisfiability), Constraint Programming, and Combinatorial Optimization. Professor LI's research spans theoretical and applied computational problem solving. Key research areas include: MaxSAT and MinSAT solving techniques Constraint programming and satisfaction Combinatorial optimization algorithms Geometric packing problems AI-driven optimization methods Theoretical foundations of satisfiability Analysis of Professor LI's publications from 2023-2025 reveals a strong focus on advancing MaxSAT solving techniques with diverse applications including conference scheduling, assembly line balancing, and geometric packing problems. Their work consistently bridges theoretical insights with practical algorithmic improvements, demonstrating both depth in theoretical understanding and relevance to real-world problems across multiple domains. Professor LI has received significant recognition for their contributions, including a Best Paper Award at CP 2021 (27th International Conference on Principles and Practice of Constraint Programming). Professor LI leads substantial research projects including 'BforSAT' (Branching for SAT and beyond) and 'Massal'IA' (Propositional reasoning for large-scale optimization), indicating significant research funding and leadership. Their extensive collaborative network includes researchers such as Felip Manyà, Kun He, Jiongzhi Zheng, and Sami Cherif, suggesting an active research group and international connections.

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

Rémi Métivier is a Research Professor at the Supramolecular and Macromolecular Photophysics and Photochemistry Laboratory (PPSM) affiliated with Université Paris-Saclay, ENS Paris-Saclay, and CNRS. He serves as local manager of the International Associated Laboratory (LIA) since 2018 and is a member of the Université Paris-Saclay Chemistry Graduate School since 2021. His research focuses on the fundamental understanding of molecular interactions with light, particularly in photochromic and fluorescent molecules. His work bridges chemistry and physics to develop innovative materials with applications in optical systems, energy technologies, and smart materials. Key research areas include photochromism (molecules that change color under light) and mechanofluorochromism (fluorescent molecules whose behavior changes under mechanical pressure). Métivier's laboratory utilizes advanced instrumentation including spectrometers and pulse lasers to synthesize and characterize novel molecular systems. His research demonstrates how photochromic molecules can influence hundreds of fluorescent molecules, creating amplification effects with significant technological potential. He has established strong international collaborations, particularly with Japanese institutions including Nara Institute of Science and Technology, Universities of Osaka, Kyoto and Kumamoto, and Aoyama Gakuin University. CNRS Bronze Medal (2011) Habilitation à diriger des recherches (2014) Deputy Director, Photo-electrostimulation research group (2018) President, Photochemistry subdivision of Société chimique de France Member, LabEx NanoSaclay steering committee Métivier actively participates in scientific community building through the Paris-Saclay Chemistry-Physics Federation and promotes scientific literacy, emphasizing that research offers both intellectual fulfillment and societal benefit through technological advancement.

• Photochromism
• Fluorescent Molecules
• Molecular Photophysics
• +۴ مورد دیگر

Thibault Lejemble is an Associate Professor at EPITA specializing in 3D data analysis. His research develops efficient algorithms for processing large point clouds from LiDAR and photogrammetry, with applications in pattern recognition, reconstruction, and GPU-accelerated computing. Current investigations focus on curvature estimation, discrete topology, and relationships between mathematical morphology and topological data analysis. Publications showcase innovations in point cloud processing libraries, neural networks for edge detection, and differential estimators, reflecting consistent advancement in computational geometry and real-time 3D data analysis techniques.

• 3D Point Cloud Analysis
• Pattern Recognition
• Curvature Estimation
• +۲ مورد دیگر

Frédéric Patras is a Researcher (Directeur de Recherche CNRS) at Université Côte d'Azur, based at the Laboratoire J.A. Dieudonné (UMR CNRS-UNS N°7351). He holds editorial roles at journals including Annals of Mathematics and Philosophy , Annales de l’Institut Henri Poincaré D , and EpiDEMES . He co-leads the PhilMathMED network and participates in research projects like ANR CARPLO and ANR PAGCAP. His research spans algebra, combinatorics, probability theory, and the philosophy of mathematics, with a focus on algebraic structures in quantum theory and stochastic processes. Education: PhD in Mathematics (1992, Université Paris 7) with a thesis on homotopy and simplicial homology. Leadership roles: Membre du Comité de direction de l'IFR en Epistémologie, organizer of international conferences (e.g., PhilMathMED 2023, Algebraic Combinatorics of the Symmetric Groups). His work bridges pure mathematics and interdisciplinary applications, including credit risk modeling, quantum independence structures, and the interplay between algebraic combinatorics and phenomenology. Recent research emphasizes free probability theory, renormalization group actions, and Hopf algebraic methods. Key contributions include studies on shuffle algebras, cumulant-cumulant relations, and the application of group-theoretical approaches to non-commutative probability. He has edited volumes on credit risk and mathematical thinking, and his articles span journals in mathematics, physics, and philosophy.

• Algebra
• Combinatorics
• Probability Theory
• +۴ مورد دیگر

Frédéric Flouvat is a Full Professor in computer science and data scientist at Aix-Marseille Institute of Technology , conducting research at the Computer Science and Systems Laboratory (LIS - UMR 7020) . As co-leader of the Data Centric AI (DCAI) team in the Data Science department, he focuses on data-centric AI, pattern mining, and spatio-temporal data analysis. His interdisciplinary work spans environmental monitoring, urban dynamics, and educational data mining. His research emphasizes Representation learning in Agent-Based Models Innovative approaches to data-centric AI Expert model integration for pattern discovery Spatio-temporal pattern extraction from complex data Applications to soil erosion, urban growth, and educational outcomes Scientific recognition includes INFORSID 2005 Young Researcher Best Paper Prize Best paper award at EGC'13 He has coordinated pedagogical projects like Development of the FabLab spirit and supervised numerous students across institutions including University of New Caledonia, Grenoble, Paris, Lyon, and Brest. Current research projects include SITI (ANR-funded urban dynamics study) and Descol IA (Carnot Star Institute health benefits research).

• Data Science
• Artificial Intelligence
• Pattern Mining
• +۷ مورد دیگر

Anne Siegel is a CNRS Research Director based at IRISA (Institute for Research in Computer Science and Random Systems), affiliated with the University of Rennes and CNRS. She currently serves as a Scientific Officer at CNRS Informatics (INS2I), overseeing the transversal mission for gender equality, having previously served as Deputy Scientific Director from 2021 to 2025. Her research focuses on the intersection of computer science and biology, particularly in developing symbolic methods for knowledge representation and integration to analyze large-scale biological systems. Former student of ENS Lyon Associate professor of mathematics Doctor of mathematics from the University of Aix-Marseille (2000) Joined CNRS in 2002 Research Director position since 2010 Anne Siegel's research spans the interface between computer science and biology, with particular emphasis on symbolic approaches to knowledge representation and integration for analyzing large-scale biological networks. Her early work focused on mathematics-computer science interfaces through the study of symbolic dynamic systems. She then transitioned to biology-computer science interfaces, developing methods to analyze metabolic networks of organisms including macro-algae. Her current research contributes to various scientific projects focusing on methods for modeling the metabolism of organisms in interaction with their microbiota. She has made significant contributions to bioinformatics, systems biology, and computational modeling of biological processes. Her publication record demonstrates a strong focus on developing computational methods for biological network analysis, particularly in metabolic modeling and logical signaling networks. The research trends show a consistent pattern of interdisciplinary work combining mathematical rigor with biological applications, with a recent emphasis on microbial communities, metabolic modeling, and the development of computational tools for systems biology. Her work often involves collaborations across multiple institutions and countries, reflecting the interdisciplinary nature of her research. Best paper award (CMSB 2012) Active involvement in gender equality initiatives in science Anne Siegel has supervised numerous PhD students and researchers throughout her career, with a particular focus on interdisciplinary projects at the interface of computer science and biology. Her leadership roles have included creating and leading the Dyliss team (bioinformatics, systems biology) within IRISA laboratory (2012-2019), and serving as head of the 'Data and Knowledge Management' department (2019-2021). She has been actively involved in multiple research projects funded by institutions including ANR, Inria, and CNRS, with focus areas spanning from algal metabolism to plant microbiomes and fermented products. She has been instrumental in establishing and leading the Dyliss team at IRISA, which focuses on bioinformatics and systems biology. Her leadership extends to national committees including the CNRS National Committee and the Inria Evaluation Committee. She has also played a key role in gender equality initiatives within CNRS Informatics, contributing to the creation of the transversal parity-equality mission.

• Bioinformatics
• Systems Biology
• Computational Biology
• +۵ مورد دیگر

Yong Kiam Tan is a research scientist at the Institute for Infocomm Research (I²R), A*STAR, Singapore, and holds a joint appointment as a Nanyang Assistant Professor at the College of Computing and Data Science, Nanyang Technological University (NTU), Singapore. He earned his PhD in Computer Science (Pure and Applied Logic) from Carnegie Mellon University, advised by Prof. André Platzer, under the A*STAR National Science Scholarship. His research lies at the intersection of formal methods, interactive theorem proving, and automated reasoning, with applications in hybrid systems, compiler verification, and cybersecurity. He has made significant contributions to the CakeML and KeYmaera X projects, focusing on verified compilation, deductive verification of differential equations, and formalized mathematics. The 15 most recent publications reflect a strong trend in formally verified automated reasoning, certified algorithms, and applications in both classical and emerging domains such as neural networks and cryptography. His work consistently appears in top-tier venues like POPL, PLDI, CAV, and ITP, emphasizing end-to-end verification from logic to executable code. Distinguished Paper Award at CAV 2024 Best Paper and Best Repeatability Evaluation Award at HSCC 2022 Best Tool Paper Award at FM 2019 Peter Landin Prize at IFL 2015 CMU SCS Distinguished Dissertation Award 2022 Singapore NRF Fellowship Class of 2024 He actively advises students and researchers at NTU and A*STAR, collaborates internationally with experts such as Magnus Myreen, André Platzer, and Jakob Nordström, and has secured competitive funding including the NRF Fellowship. He has served on program committees for CPP, ITP, TACAS, and PLDI Artifact Evaluation, demonstrating active engagement in the research community. He leads a research team working on verified tools for automated reasoning and hybrid systems, with current members including Wei-Lin Wu, Joe Watt, Shuhan He, and several student researchers. His group maintains verified proof checkers in CakeML and contributes extensively to the Archive of Formal Proofs (AFP) in Isabelle/HOL.

• Deductive Verification
• Interactive Theorem Proving
• Formal Methods
• +۷ مورد دیگر