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

Sylvie Putotمشاهده پروفایل

استاد

• Formal Methods
• Static Analysis
• Cyber-Physical Systems
• +۷ مورد دیگر

Sylvie Putot is a Professor of Computer Science at École Polytechnique, where she focuses on formal verification of numerical programs and cyber-physical systems. She leads the Cosynus team at LIX laboratory and organizes the LIX Seminar series. Current affiliation: École Polytechnique (Computer Science Department) Prior affiliation: CEA LIST (developer of FLUCTUAT static analyzer) Her research spans formal methods for cyber-physical systems , emphasizing reachability analysis , invariant synthesis , and probabilistic verification . She combines abstract interpretation with zonotopic domains and constraint programming to address numerical stability and safety in AI-driven control systems. Recent publications highlight work on Safe AI through Formal methods (SAIF project) , including probabilistic guarantees for neural networks and applications in mobile robotics. Her team’s best paper award at EMSOFT 2015 recognized scalable quadratic invariant computation for embedded systems. Scientific awards: Best paper award, ACM SIGBED International Conference on Embedded Software (EMSOFT 2015) She has supervised numerous PhD students in topics like mobile robotics , neural network verification , and numerical error analysis . Active in ANR projects (COVERIF, MALTHY, DEFIS) and currently leads the PEPR IA initiative on AI validation.

Artur Nicolauمشاهده پروفایل

استاد

• Complex Analysis
• Inner Functions
• Hardy Spaces
• +۵ مورد دیگر

Artur Nicolau is a Professor of Mathematics at the Autonomous University of Barcelona, Spain, where he is affiliated with the Department of Mathematics. His academic career spans several decades, with a prolific research output in complex analysis and related fields. Professor Nicolau's research primarily focuses on complex analysis , with special emphasis on inner functions, Hardy spaces, Bloch space, Nevanlinna theory, and harmonic analysis. His work explores the boundary behavior of analytic functions, function spaces, and connections to dynamical systems and probability theory. He has made significant contributions to understanding the structure of bounded analytic functions and their geometric properties. Analysis of Nicolau's recent publications (2021-2025) reveals a strong focus on inner functions and their properties, including studies on shift invariant subspaces in the Bloch space, central limit theorems for inner functions, and invertibility in quotient algebras of $H^\infty$. His work demonstrates deep connections between complex analysis, functional analysis, and probability theory, with applications to understanding the geometric and dynamical properties of analytic mappings. While no specific scientific awards are mentioned in the available information, Professor Nicolau's extensive publication record in top mathematics journals reflects significant scholarly impact in his field.

• Partial Differential Equations
• Quantum Theory
• Functional Analysis
• +۵ مورد دیگر

Miguel Angel Navarro Burgos is a PartTime Lecturer in the Department of Mathematics at the University of León , affiliated with the College of Industrial, Informatics and Aerospace Engineering. His research spans Partial Differential Equations , Functional Analysis , Quantum Theory , and Operator Theory , with a focus on stability of radial solutions, geometric quantization, and mathematical physics. He earned his Ph.D. from the Universidad de Granada (2016) under the supervision of Dr. Salvador Villegas Barranco. His recent publications analyze k-Hessian and p-Laplace equations , emphasizing semistable radial solutions , Liouville-type theorems , and geometric constraints . Additional work includes unitary operators in von Neumann algebras , Hölder norm-preserving mappings , and quantum field theory in curved spacetime . Co-authors include Victor Aldaya, Manuel Calixto, and Justino Sánchez. Key trends in his work: Stability and symmetry in PDEs Operator theory in quantum systems Geometric methods in mathematical physics Nonlinear elliptic equations Functional analysis applications No scientific awards are listed in the zbMATH Open database. His email is mnavb@unileon.es .

Eugenia Saorin Gomezمشاهده پروفایل

پژوهشگر

• Differential Geometry
• Convex Geometry
• Functional Analysis
• +۱ مورد دیگر

Eugenia Saorin Gomez is a researcher at the University of Bremen specializing in mathematical analysis, with core expertise in Differential Geometry, Convex Geometry, and Functional Analysis. She earned her Doctorate from Universidad de Murcia in 2008 under the supervision of Dr. María Ángeles Hernández Cifre and Dr. Bernardo Cascales Salinas. Her doctoral thesis investigated Los cuerpos paralelos interiores del polinomio de Steiner a la desigualdad de Poincaré (Inner parallel bodies of the Steiner polynomial relative to the Poincaré inequality), establishing foundational work in geometric inequalities. Her research integrates convex geometry with functional analytic methods, particularly examining Steiner polynomials and Poincaré-type inequalities. Current work focuses on geometric measure theory applications within the Differential and Convex Geometry research group. She actively collaborates within University of Bremen's mathematics research ecosystem, specifically contributing to projects in the Functional Analysis group. Her institutional email esaoring@uni-bremen.de serves as primary contact for academic correspondence.

• Mathematical Analysis
• Functions of a Complex Variable
• Interpolation Theory
• +۳ مورد دیگر

Francisco Tugores Martorell is a full-time faculty member in the Department of Mathematics at the Faculty of Business Sciences and Tourism , Universidade de Vigo. He earned his doctorate from Universitat Autònoma de Barcelona in 1991 with a thesis titled Estimates for the delta equation and the Bergman projector . His research focuses on Mathematical Analysis , particularly in Functions of a Complex Variable and interpolation theory. His work includes studies on interpolation by derivatives , zero-interpolating sequences , and weak interpolation in spaces like H∞ and Lipschitz classes. Publications span 1983–2022, with recent collaborations with Laia Tugores and Benxamín Macía. Key trends in his research involve Interpolation in Hardy spaces Boundary regularity of holomorphic functions Applications to complex variable theory Structural properties of interpolating sequences Connections to functional analysis Operator-theoretic approaches Collaborations include co-authoring with Laia Tugores and Benxamín Macía , with affiliations to the BiotecnIA research group focused on industrial biotechnology and environmental engineering.

Joanna Maria Sierpowskaمشاهده پروفایل

مدرس

• Neuroscience
• Cognitive Psychology
• Neuropsychology
• +۳ مورد دیگر

Joanna Maria Sierpowska is a Lecturer at the University of Barcelona's Faculty of Psychology, Department of Cognition, Development, and Educational Psychology. She specializes in neuropsychology and cognitive neuroscience, focusing on brain dynamics, neuroanatomy, and language functioning in neurological disorders. She leads the Brain Dynamics and Structure of Human Cognition (BraCo) research group and holds grants from the Spanish Ministry of Science and the 'La Caixa' Foundation. Her work bridges clinical practice and research, particularly in awake brain surgery and neurodegenerative diseases like Huntington's disease. Education: Doctorate in Neuroscience (2017), Universitat de Barcelona Master's in Clinical Psychology (2011), Universitat de Barcelona Master's in Neuroanatomy (2010), Université Victor Segalen Bordeaux 2 Research Interests: She investigates the neuroanatomical basis of language, cognitive control mechanisms in bilingualism, and the role of white matter tracts in neurodegeneration. Her recent work explores the (pre)Supplementary Motor Area's role in language cognition and post-surgical recovery pathways. Awards: Postdoctoral Junior Leader Fellowship (Fundació Caixa de Pensions 'La Caixa', 2021–2024) Grants & Projects: Ministerio de Ciencia e Innovación (MICINN): THE UNCHARTED BRAIN TERRITORY (2023–2026) European Commission: PreSMAcog Project (2021–2023, declined in favor of Junior Leader Fellowship) Teaching: She teaches advanced neuroanatomy courses in the Master's programs in Cognitive Neuroscience (Radboud University) and clinical linguistics (University of Barcelona). Recent lectures include 'Language Mapping During Awake Surgery' and 'Neuropsychological Assessment in Neurodegenerative Disorders.'

• Numerical Analysis
• Orthogonal Functions
• Structured Matrices

Niel Van Buggenhout is an Assistant Professor in the Department of Mathematics at Carlos III University of Madrid. His research centers on numerical algorithms for orthogonal polynomials, rational functions, and structured matrix computations. Recent publications focus on recurrence relation modifications for orthogonal functions under varying inner products and Sobolev orthogonal polynomial generation. Work emphasizes theoretical foundations of numerical approximation and linear algebra techniques.

• Geometric Function Theory
• Complex Analysis
• Harmonic Analysis
• +۳ مورد دیگر

Arturo Nicolau Nos is a Professor in the Department of Mathematics at the Autonomous University of Barcelona (UAB). His research focuses on Geometric Function Theory, Complex Analysis, Harmonic Analysis, and Functional Analysis. He has held various academic roles since 1984, including Editorial Leadership in Publicacions Matemàtiques (2007–2011) and coordinated several research projects at the Centre de Recerca Matemàtica (CRM). Education: Ph.D. in Mathematical Sciences (UAB, 1990) and a Degree in Mathematics (UAB, 1984). Research Projects STOCHASTIC PROPERTIES IN GEOMETRIC FUNCTION THEORY (2022–2026) Aspectos probabilísticos y geométricos de la teoría de funciones (2018–2022) TEORIA GEOMETRICA DE FUNCIONES (2015–2018) He has advised 10 theses, including notable work on interpolation problems in complex analysis. His grants include funding from the European Regional Development Fund, Spanish Ministry of Economy, and international collaborations. He has held visiting positions at institutions like the University of Washington (2009), Washington University School of Medicine (2008), and Scuola Matematica Interuniversitaria (2002).

• Prehistory
• Neolithic Archaeology
• Lithic Technology
• +۴ مورد دیگر

Francisco Martínez Sevilla is an Associate Professor in the Department of History and Philosophy at the University of Alcalá, Spain. His academic work is centered on prehistoric archaeology, with a focus on the Neolithic period in the Iberian Peninsula. His research interests include: Prehistory of the Iberian Peninsula Neolithic lithic technology Stone bracelet production and use Cultural circulation and exchange networks His doctoral research explored the technological and functional aspects of stone bracelets in Neolithic Iberia, contributing to the understanding of social identity and material culture during this period. He is a member of the PRECYT research group, dedicated to studying the Late Prehistory of the inner Tagus basin. He earned his PhD from the University of Granada with a thesis titled Un adorno reflejo de una sociedad. Los brazaletes líticos del neolítico de Iberia (VI-V milenio a.C.) tecnología, funcionalidad y circulación . He has no listed scientific awards or publications in the provided text. He collaborates within the PRECYT research group, which investigates the prehistoric societies of central Iberia, particularly focusing on material culture, settlement patterns, and cultural dynamics during the Late Prehistory.

• Orthogonal Polynomials
• Numerical Analysis
• Approximation Theory
• +۳ مورد دیگر

Elías Manuel María Berriochoa Esnaola is a full-time professor at the University of Vigo , affiliated with the Faculty of Sciences and the Department of Applied Mathematics I . His research is centered on Orthogonal Polynomials , Numerical Analysis , and Approximation Theory , particularly focusing on interpolation techniques and quadrature formulas. Research Themes: Orthogonal polynomials on the unit circle, Hermite-Fejér interpolation, Sobolev orthogonality, asymptotic behavior of polynomials, and numerical quadrature. Collaborations: Extensive work with Alicia Cachafeiro, José M. García-Amor, and Francisco Marcellán. His publications span from 1998 to 2020, addressing problems in interpolation , quadrature rules , and anti-periodic trigonometric systems . A notable contribution is the characterization of Chebyshev orthogonal families and the study of Gibbs-Wilbraham oscillations in interpolation problems. He can be contacted at esnaola@uvigo.es .