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

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

استاد

• Mathematics
• Number Theory
• Probability Theory
• +۴ مورد دیگر

Christophe VIGNAT is a Professor at CentraleSupélec, affiliated with the Laboratoire des Signaux et Systèmes (L2S). His research focuses on number theory, special functions, probability, and their applications in signal processing and control systems. He has held visiting professorships at École Polytechnique Fédérale de Lausanne (EPFL) and Tulane University. VIGNAT's work bridges pure mathematics and applied fields, with notable contributions to Bernoulli/Euler polynomials, multiple zeta values, and probabilistic methods in number theory. His recent publications explore topics like partition functions, theta functions, and Ramanujan-type identities. He has delivered talks at international conferences and collaborates widely with researchers in mathematics and physics. Research Interests: Number theory, special functions (Bessel, orthogonal polynomials), probability theory, signal processing, control systems, analytic combinatorics, and their interconnections. His work often employs symbolic computation and probabilistic approaches to uncover identities and structures in mathematical analysis. Publications Trends: Recent articles emphasize partition theory, zeta functions, and integrals related to classical polynomials. His collaborations highlight interdisciplinary efforts between pure mathematics and applied sciences. Over 150 refereed papers and conference contributions demonstrate his prolific output across diverse mathematical domains. Education: While specific academic history isn’t detailed, his roles and publications suggest advanced training in mathematics and engineering, typical for a full professor in systems and control.

• Formal Verification
• Software Testing
• Programming Languages
• +۱۲ مورد دیگر

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.

• Cellular Automata
• Computational Dynamics
• Theoretical Computer Science
• +۴ مورد دیگر

Martin Delacourt is a Lecturer at the University of Orléans, affiliated with the LIFO (Laboratoire d'informatique fondamentale d'Orléans). He earned his PhD on December 5, 2011, under the joint supervision of Bruno Durand and Victor Poupet at LIF Marseille. His research focuses on cellular automata, including directional dynamics, limit sets, and decidability of computational problems. PhD: University of Montpellier 2 (2011) ENS Lyon: Bachelor (2006), Master (2008) His research explores cellular automata through computational complexity, symbolic dynamics, and formal verification. Key themes include limit set characterization, defect dynamics, and algorithmic properties of number systems. He has published in conferences like AUTOMATA, MFCS, and CiE. Teaching responsibilities include courses in network engineering, computability, complexity theory, operating systems, and algorithm analysis at the University of Orléans. He has supervised work-study students in the MIAGE program since 2018.

Emanuele Macrìمشاهده پروفایل

استاد

• Algebraic Geometry
• Derived Categories
• Moduli Spaces
• +۳ مورد دیگر

Emanuele Macrì is a Professor at the Laboratoire de mathématiques d'Orsay, Université Paris-Saclay, specializing in algebraic geometry with a focus on derived categories, stability conditions, and moduli spaces. He holds editorial roles at Mathematische Zeitschrift, International Mathematics Research Notices, and Selecta Mathematica. His research explores hyperkähler manifolds, Fano varieties, and wall-crossing phenomena, contributing to foundational advancements in geometric stability theory. Education & Positions Current roles include: Professor, Université Paris-Saclay (since 2024) Member of the Orsay Mathematics Laboratory (LMO) Research Interests Key areas of study encompass: Derived categories of coherent sheaves and their stability conditions Moduli spaces of sheaves on K3 surfaces and hyperkähler varieties Applications of wall-crossing techniques to classical algebraic geometry problems Geometry of Fano varieties and hyperkähler manifolds Publications & Trends Recent work emphasizes: Advances in understanding hyperkähler manifolds via stability conditions (e.g., Mukai models of Fano varieties ) Classification of hyperkähler fourfolds using Riemann-Roch polynomials Investigations into antisymplectic involutions and their geometric implications Development of stability frameworks for Kuznetsov components in derived categories Awards & Recognition Plenary speaker at the 2025 Summer Research Institute in Algebraic Geometry Member of the Accademia dei Lincei (2024) Medaglia dei XL per la matematica (2023) Invited speaker at the International Congress of Mathematicians 2022 Advising & Grants Macrì has advised numerous PhD students and postdocs, including: Current students: Matteo Verni, Vanja Zuliani Notable past students: Luigi Martinelli, Benjamin Schmidt He leads the ERC Synergy Grant HyperK (2020–2026), exploring hyperkähler manifolds and related geometries. Labs & Collaborations Active in organizing workshops and seminars, including: HyperK workshop series (2020–2025) Reading seminars on hyperkähler geometry and moduli spaces Working groups on P=W conjecture and D-modules

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.

Benoît Lemaireمشاهده پروفایل

مدرس

• Computational Cognitive Modeling
• Working Memory
• Eye Movement Research
• +۶ مورد دیگر

Benoît Lemaire is a permanent Lecturer at the University of Grenoble Alpes, affiliated with the Laboratoire de Psychologie et NeuroCognition (LPNC) and the CoMMet team (Consciousness, Memory and MetaCognition). His academic career spans computational cognitive modeling, with a focus on working memory, eye movement research, and educational technology applications. PhD in Computer Science/AI, Université Paris-Sud (1989-1992) Postdoctoral Research: University of Pittsburgh (1993), Swedish Institute of Computer Science (1994) Academic Roles: Maître de conférences (1996-), transitioning through Laboratoire des Sciences de l'Éducation (1994-1996), Laboratoire Leibniz (2004-2006), TIMC (2006-2010), and LPNC (2010-). Lemaire’s research integrates computational modeling with empirical studies across multiple domains: Working Memory : Time-based decay, interference effects, semantic compression, and attentional refreshing mechanisms. Eye Movements : Information search in texts, reading strategies, and visual-semantic integration. Educational Applications : Text assessment, metaphor comprehension, and adaptive learning systems. Inductive Learning : MDL-based models for concept learning and lexical knowledge acquisition. His recent publications (2021–2025) emphasize computational models of mental arithmetic, semantic knowledge impacts on memory, and similarity-based compression techniques. All work aligns with cognitive science and AI methodologies. Current affiliations include: Laboratoire de Psychologie et NeuroCognition (LPNC) – 2010- CoMMet team (Consciousness, Memory and MetaCognition) University of Grenoble Alpes – Permanent Lecturer

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

استاد

• Formal Methods
• Automated Deduction
• Program Verification
• +۱۰ مورد دیگر

Sylvain Conchon is a Professor at Université Paris-Saclay, affiliated with the Laboratoire Méthodes Formelles (LMF, UMR 9021) and the Toccata research team, a joint project with INRIA Saclay – Île-de-France. His work lies at the intersection of formal methods, automated reasoning, and software verification. Research Interests: His primary research areas include SMT solving, automated deduction, program verification, model checking for parameterized systems, and information flow analysis. He develops theoretical foundations and practical tools to ensure software correctness, particularly in safety-critical and concurrent systems. Publications and Tools: His recent work centers on projects like BPI IDemo ARGOS (2024) and PEPR Secureval (2022), focusing on industrial software verification and cybersecurity. He is the main developer of Alt-Ergo , an SMT-based theorem prover, and Cubicle , a model checker for parameterized systems. His publications span formal methods, logic in computer science, and static analysis, with a strong emphasis on tool building and application. Scientific Awards: Advising and Grants: He has advised several PhD students including Guillaume Girol, Alain Mebsout, and Mohamed Iguernelala. He has led and participated in numerous research projects funded by ANR, FUI, PEPR, and industrial partners, demonstrating sustained grant success in formal methods and verification. Labs and Teams: He is a core member of the Toccata team at INRIA Saclay and the LMF laboratory, where he collaborates on advancing the state-of-the-art in deductive program verification and automated reasoning.

Thomas Stollمشاهده پروفایل

استاد

• Analytic Number Theory
• Combinatorial Number Theory
• Diophantine Equations
• +۸ مورد دیگر

Thomas Stoll is a tenured Professor at the Faculty of Science and Technology , University of Lorraine, Nancy, France. He leads research in Analytic and Combinatorial Number Theory , focusing on Diophantine equations , digital expansions , and sum-of-digits functions . He is affiliated with the IECL (Institut Élie Cartan de Lorraine) and has coordinated ANR-FWF research projects like MuDeRa and ArithRand .

Sebastien Pillementمشاهده پروفایل

مدرس

• Computer Engineering
• Embedded Systems
• Computer Architecture
• +۳ مورد دیگر

Sébastien Pillement is a Lecturer at Polytech'Nantes, the College of Engineering of the University of Nantes, and a member of the ASIC research team within the IETR UMR 6164 laboratory. His career spans over 13 years at the IUT of Lannion (University of Rennes 1) before joining the University of Nantes in 2012. He holds a PhD in Computer Science from the University of Montpellier II (1998) and a Habilitation à Diriger des Recherches (HDR) from the University of Rennes 1 (2010). Current Research Focus: Dynamically Reconfigurable Architectures (DRA), Hardware Security, Fault-Tolerant Embedded Systems, NoC (Network-on-Chip), Design Methodologies. Teaching Areas: Digital Circuits, Computer Architecture, Operating Systems, Real-Time Systems, and Algorithms for Embedded Computing. His research explores flexible and efficient architectures for embedded systems, emphasizing real-time management, reliability, and security. Key article trends include RISC-V processors, neural network acceleration on MPSoC, formal verification of arithmetic circuits, and runtime FPGA scheduling. Collaborations span international institutions like the University of Toronto and CEA, as well as industrial partners such as STMicroelectronics and Thales. PhD Students : Current: Laureline Dubucq (Security & AI), Mustafa Ibrahim (Ultra-Low Power AI), Téo Biton (Runtime Anomaly Detection), Mohamed Amine Zhiri (Adaptive NoC), Juliette Pottier (RISC-V Protection). Graduates: Quentin Dariol (Neural Network Timing), Alexis Duhamel (FPGA Scheduling), Safouane Noubir (Security in Multi-Core Systems), Hai Dang Vu (Probabilistic Timing Analysis), David Pallier (Sensor Clock Synchronization). Projects : Current: ADAPTING (2023-2029), FITNESS (2023-2027), SEC-V (2022-2025), NOP (2021-2025). Past: SPARTE (2015-2018), ARDyT (2011-2015), FosFor (2008-2011).

Assia Mahboubiمشاهده پروفایل

پژوهشگر

• Formal Methods
• Type Theory
• Interactive Theorem Proving
• +۱۲ مورد دیگر

Assia Mahboubi is a tenured researcher at Inria in the Gallinette team , Nantes, France, and an endowed professor in the Algebra and Number Theory section at Vrije Universiteit Amsterdam , Netherlands. Her work bridges formal methods, type theory, and computer-aided mathematics. Research Interests: Her research centers on the formalization of mathematics in dependent type theory and the automated verification of mathematical proofs. She is particularly interested in the interplay between computer algebra and formal proofs, and in how formal representations enhance understanding of mathematical objects. She is a lead developer of the Mathematical Components libraries and a key user of the Coq proof assistant. Recent Research Trends: Her recent publications focus on diagram chasing in category theory, continuity in constructive type theory, proof transfer mechanisms (e.g., Trocq), and the formal verification of advanced mathematical results such as the irrationality of ζ(3) and the unsolvability of the quintic. These works demonstrate a consistent emphasis on foundational rigor, automation, and scalability in formal proofs. ERC Consolidator Grant: FRESCO (Fast and Reliable Symbolic Computation) Advising and Grants: Mahboubi supervises PhD students including Enzo Crance, Martin Baillon, and postdoc Matthieu Piquerez. She leads the FRESCO project funded by an ERC grant, supporting research in symbolic computation and formal verification. Team Affiliation: She is a core member of the Gallinette team at Inria, which focuses on the intersection of proofs and programs, promoting the development of reliable and verifiable software and mathematical systems.

• Cryptography
• Security
• Privacy
• +۳ مورد دیگر

Dario Fiore is a Research Professor at the IMDEA Software Institute in Madrid, Spain. He holds a Ph.D. in Computer Science from the University of Catania (Italy), supervised by Dario Catalano, with postdoctoral positions at Max Planck Institute for Software Systems (Germany), New York University (USA), and École Normale Supérieure (France). His research focuses on theoretical and practical aspects of Cryptography, emphasizing secure computation, privacy-preserving technologies, and cryptographic protocols. Fiore has authored over 69 conference papers and 19 journal articles, with notable contributions to zero-knowledge proofs, homomorphic encryption, and verifiable computation. He leads a research group involving postdocs and students, and has secured grants such as the ERC Consolidator Grant PICOCRYPT and funding from NEC Laboratories Europe. Education: Ph.D. in Computer Science, University of Catania, 2010 Visiting Student: New York University (2009-2010), IBM Research (2008-2009) Research Interests: Cryptography, Security, Privacy, Zero-Knowledge Proofs, Secure Computation, Homomorphic Encryption His work bridges foundational cryptography with real-world applications, including privacy-preserving systems and blockchain technologies. Recent research highlights include verification-efficient homomorphic signatures, non-malleable zkSNARKs, and efficient zero-knowledge proofs for data streams. Grants & Awards: ERC Consolidator Grant PICOCRYPT (2021-2026, PI) Top Reviewer Award at ACM CCS 2022 Best Short Paper at JNIC 2015 Fiore actively participates in program committees (e.g., Eurocrypt 2025) and has delivered keynotes on cryptographic topics. His team's work is implemented in libraries like 'hsnp' for homomorphic signatures.

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.

Fabienne JÉZÉQUELمشاهده پروفایل

مدرس

• Numerical algorithms
• High-performance computing
• Numerical validation

Fabienne JÉZÉQUEL is a Lecturer in Computer Science at Paris-Panthéon-Assas University, affiliated with the Sorbonne University Computer Science Laboratory (LIP6) and leading the PEQUAN (Performance and Quality of Digital Algorithms) team. Her research focuses on Numerical algorithms , High-performance computing , and Numerical validation , with applications in precision control and simulation reliability. Habilitation to Supervise Research (HDR) in Computer Science, University of Paris 6 (2005) Doctorate in Computer Science, University of Paris 6 (1996) Research Themes : Numerical algorithms with dynamic precision control High-performance computing (HPC) reliability and reproducibility Stochastic arithmetic for error estimation GPU acceleration of numerical methods Recent Publications : Focus on compensated algorithms, half-precision validation, and numerical reproducibility in extreme-scale simulations. Notable contributions include advancing stochastic arithmetic for trustworthy HPC codes and optimizing CADNA for GPU performance. Administrative Roles : Member of the office of the department of economic sciences at Paris-Panthéon-Assas University Member of the LIP6 Scientific Council

Srilakshmi Krishnamoorthyمشاهده پروفایل

دانشیار

• Arithmetic Geometry
• Number Theory
• Graph Theory
• +۱ مورد دیگر

Srilakshmi Krishnamoorthy serves as an Associate Professor in the School of Mathematics at the Indian Institute of Science Education and Research (IISER) Thiruvananthapuram. She joined IISER TVM in 2017 as an Assistant Professor and was promoted to her current position. Her academic journey includes a PhD from the University of Sheffield, UK in Arithmetic Geometry, followed by a postdoctoral fellowship at IMSc Chennai and a visiting scientist position at the Max-Planck Institute for Mathematics in Bonn, Germany. PhD: University of Sheffield, UK (specialization in Arithmetic Geometry) Post Doctoral Fellowship: IMSc Chennai (2010-2013) Visiting Scientist: Max-Planck Institute for Mathematics, Bonn (2013-2014) Her research spans Arithmetic Geometry, Number Theory, Graph Theory, and Combinatorics, with particular focus on modular forms, elliptic curves, class field theory, and zero-sum problems. She has made significant contributions to understanding class numbers of quadratic fields, modular degrees of elliptic curves, and congruences in partition theory. Analysis of her 15 most recent publications reveals a strong concentration on class field theory problems, particularly concerning class numbers of quadratic fields and their divisibility properties. Her work frequently connects modular forms with number-theoretic questions, demonstrating expertise in both theoretical and computational aspects of modern number theory. Recent papers show increasing collaboration with junior researchers, indicating active mentoring of the next generation of mathematicians. DST-SERB Core Research Grant (2024-2027) DST-INSPIRE Faculty Award (2014-2019) Gold medal for first rank in M.Sc. Mathematical Sciences (2004) CSIR-JRF Award (2005) Multiple summer fellowships from Indian Academy of Sciences Professor Krishnamoorthy has supervised numerous students at various levels, including 4 postdoctoral researchers, 3 PhD students who have completed their degrees, and multiple masters and undergraduate research students. Her teaching portfolio includes advanced courses in Modular Forms, Algebraic Number Theory, and Number Theory and Cryptography. She has also secured multiple research grants including DST-SERB, DST-INSPIRE, and NBHM funding for conference organization and research activities. As an active member of the mathematical community, she serves as Coordinator for the Club of Mathematics at IISER TVM and has organized major events like the International Conference on Number Theory. Her research group maintains strong international connections, with regular visits from collaborators at institutions including Max-Planck Institute, TIFR Mumbai, and universities in France, Germany, and the UK. The group participates actively in the number theory seminar series and organizes workshops to foster collaboration within the Indian mathematical community.

Stanislas Dehaeneمشاهده پروفایل

استاد

• Cognitive Psychology
• Neuroscience
• Consciousness Studies
• +۵ مورد دیگر

Stanislas Dehaene is a Professor of Experimental Cognitive Psychology at the Collège de France. He holds a doctorate in cognitive psychology from EHESS (1989) and conducted early training in mathematics at École Normale Supérieure (ENS) in 1984. His research focuses on the neural bases of numerical cognition, reading, and consciousness, employing cognitive psychology experiments and advanced neuroimaging techniques. He pioneered studies on the parietal lobe’s role in arithmetic and demonstrated how symbolic systems like language and mathematics evolved from core "neuronal recycling" processes. Education: Bachelor’s in Mathematics, ENS (1984) Master’s in Mathematics, UPMC (1985) PhD in Psychology, EHESS (1989) Research Interests: Dehaene explores the brain’s mechanisms for processing numbers, reading, and conscious thought. His theories include the global neuronal workspace model of consciousness and the neuronal recycling hypothesis explaining how evolution repurposes neural circuits for symbolic thought. He also investigates educational applications of cognitive science, such as improving math and literacy instruction. Key Awards: Chevalier de la Légion d'Honneur (2011) Inserm Grand Prix (2013) Jean Rostand Prize (1997) American McDonnell Foundation Centennial Fellowship Labs/Teams: Leads the Cognitive Neuroimaging Unit (INSERM-CEA) and collaborates with neuroimaging centers like NeuroSpin (Saclay). His work integrates fMRI, MEG, and EEG to study human and primate cognition.