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

• Real Analysis
• Fourier Analysis
• Harmonic Analysis
• +۵ مورد دیگر

Tomasz Z. Szarek is an Assistant Professor at the University of Georgia (UGA) and a member of the Bilbao Analysis and PDE research group. He holds a habilitation in Mathematics from the University of Wrocław and has held postdoctoral positions at BCAM (Basque Center for Applied Mathematics), Rutgers University, and the Institute of Mathematics of the Polish Academy of Sciences. His research focuses on real and Fourier analysis, with applications to ergodic theory, spherical analysis, and discrete harmonic analysis (both commutative and noncommutative). He co-organizes the online Ergodic Theory & Analysis Seminar, emphasizing interdisciplinary connections in mathematical analysis. Education: PhD in Mathematics (2015), Institute of Mathematics of the Polish Academy of Sciences M.Sc. in Mathematics (2011), Wrocław University of Technology Research Trends: Szarek's recent work explores dimension-free estimates for maximal functions, sharp bounds for heat kernels, and ergodic theorems on nilpotent groups. His publications span harmonic analysis, operator theory, and applications to number theory problems like lattice point equidistribution. Labs & Teams: He collaborates with the Bilbao Analysis and PDE research group and engages in interdisciplinary projects involving harmonic analysis and ergodic theory.

• Formal Proof
• Floating-Point Arithmetic
• Formalization of Mathematics
• +۴ مورد دیگر

Sylvie Boldo is an Inria Research Director in computer science at Gif-sur-Yvette, France, affiliated with the TOCCATA project and the LMF laboratory at Université Paris-Saclay. She specializes in formal verification of numerical programs, floating-point arithmetic, and formalization of mathematics in the Coq proof assistant. Active in IEEE Symposium on Computer Arithmetic (ARITH) since 2019 Steering Committee Member at NSV (Numerical Software Verification) workshop Current projects include Nuscap (numerical safety for computer-aided proofs) and EMC2 (extreme-scale computational chemistry) Her research focuses on: Formal proofs of numerical algorithms Floating-point error analysis Computer arithmetic foundations Verification of C programs and compilers Finite element method formalization Real analysis in Coq She has advised 6 PhD students, including Diane Gallois-Wong (Nomadic Labs) and Tuyen Nguyen (HCMC University of Science). Key publications include: Coquelicot: User-friendly real analysis library for Coq Wave equation resolution with formal verification Formalization of Lebesgue integration Survey on floating-point arithmetic Verified compilation of floating-point programs

Carsten Fuhsمشاهده پروفایل

مدرس ارشد

• Automated Termination and Complexity Analysis
• Program Equivalence
• Verification
• +۴ مورد دیگر

Carsten Fuhs is a Senior Lecturer at the School of Computing and Mathematical Sciences, Birkbeck, University of London, where he leads the Logical Methods research group (since 2023). His research focuses on automated reasoning for program analysis, including termination/complexity analysis (via the AProVE tool), program equivalence, verification, term rewriting, and SAT solving. He contributes to the SAT4J library and has benchmarked SAT encodings for international competitions. Fuhs's work bridges theoretical foundations and practical tools, with recent emphasis on higher-order rewriting, parallel complexity, and equivalence checking. His publications consistently appear in premier venues (e.g., ESOP, IJCAR, JAR), demonstrating innovations in automating program analysis. He holds significant service roles: Trustee for CADE, Executive Committee member for ACM SIGLOG, Publicity Chair for FSCD, and Co-Chair of IFIP WG 1.6 on Rewriting. He organized the 10th S-REPLS workshop and lectures at international schools (e.g., ISR, SAT/SMT/AR). At Birkbeck, he teaches core programming courses (e.g., Java, Software Programming I/II) and previously taught Compilers at UCL and Term Rewriting at RWTH Aachen.

• Side-Channel Analysis
• Neural Networks
• AI Hardware Security
• +۲ مورد دیگر

Manuel Brosch is a researcher at the Chair of Information Security within the Technical University of Munich (TUM) . His work focuses on the intersection of artificial intelligence and hardware security , particularly in mitigating vulnerabilities in neural network implementations. Contact: manuel.brosch@tum.de | +49 (89) 289 - 28245 | Room 0101.Z1.007 Research Interests Manuel leads research on: Side-Channel Analysis of Neural Networks Security of AI Hardware Accelerators Countermeasures for Neuromorphic Hardware Secure Implementation of Cryptographic Methods Scientific Contributions His recent publications (2022–2024) address: Hardware security for spiking neural networks Fault injection techniques in cryptographic systems Embedded distributed computing architectures Shuffling-based side-channel defenses Teaching Manuel supervises students in: Internship in Measurement Systems and Sensor Technology Secure implementation of cryptographic methods

Vadim Ponomarenkoمشاهده پروفایل

استاد

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

Vadim Ponomarenko is a Professor in the Department of Mathematics and Statistics at San Diego State University. His primary research focuses on number theory, combinatorics, and algebra, with specialization in factorization theory, numerical semigroups, and combinatorial game theory. He actively teaches undergraduate and graduate courses including Discrete Mathematics and Abstract Algebra. His research explores diverse mathematical domains including: Factorization properties in numerical semigroups and congruence monoids Combinatorial problems in game theory (e.g., Sylver Coinage) Inequalities and limit theorems in analysis Geometric probability and stochastic models Algebraic structures and their arithmetic properties Recent publications demonstrate a strong emphasis on asymptotic analysis of factorization lengths, generalizations of classical inequalities, and combinatorial number theory problems. His work frequently appears in prominent journals including the American Mathematical Monthly and Journal of Algebra. Ponomarenko directs an NSF-funded Research Experience for Undergraduates (REU) program focused on original mathematical research. He serves on multiple university committees including the University Senate, Inclusion Council, and Academic Policy Committee.

Azniv Kirkor Kasparianمشاهده پروفایل

استاد

• Algebraic Geometry
• Hodge Theory
• Ball Quotients
• +۳ مورد دیگر

Azniv Kirkor Kasparian is a Professor in the Department of Algebra at the Faculty of Mathematics and Informatics, Sofia University. She holds a PhD from the University of Utah (1993) and has been with the university since 1989, progressing from Assistant to her current position as Professor since 2012. Her office is located in room FMI-529, and she can be reached at +359 2 8161 710. Her educational background includes an MSc in Mathematics from the Faculty of Mathematics and Mechanics at Sofia University 'Kliment Ohridski' (1984) followed by a PhD from the University of Utah in Salt Lake City (1993). Her academic career at Sofia University has been continuous, starting as an Assistant (1989-1995), then Senior Assistant (1995-1997), Chief Assistant (1997-2001), Associate Professor (2001-2012), and finally Professor (2012-present). Professor Kasparian's primary research focus is in Algebraic Geometry, with significant contributions to Hodge Theory, Ball Quotients, and Coding Theory. Her work bridges pure mathematics with applications in coding theory, exploring connections between algebraic structures and geometric properties. She has developed expertise in variations of Hodge structure, modular forms, and the geometry of ball quotients, often examining their arithmetic properties and connections to finite fields. Her publication record shows consistent output over three decades, with recent work focusing on the intersection of algebraic geometry with coding theory. The trends in her research demonstrate a progression from foundational work in Hodge theory and Calabi-Yau manifolds to more recent applications in coding theory, particularly examining MacWilliams identities, tangent codes, and Duursma's reduced polynomial through the lens of algebraic geometry. Professor Kasparian has supervised at least two Master's students to completion: Lyubinka Nikolova (2010) who worked on 'Factors of the ball, covered by abelian surfaces' and Pancho Beshkov (2015) who researched 'Non-associative operations on variations of Hodge structure'. Her teaching responsibilities include core algebra courses such as Algebra I, Algebra II, Linear Algebra, and Higher Algebra, as well as specialized electives including Commutative Algebra, Cryptography, Coding Theory, Galois Theory, Group Theory, and Introduction to Number Theory.

• Algebraic Geometry
• Finite Fields
• Coding Theory
• +۴ مورد دیگر

GIOVANNI ZINI is an Associate Professor at the Department of Physical, Computer and Mathematical Sciences of Università di Modena e Reggio Emilia (UNIMORE) . His research focuses on Algebraic Geometry , Finite Fields , and their applications to Coding Theory , particularly in the study of Maximal Curves , MRD Codes , and Permutation Polynomials . He teaches courses such as Linear Algebra , Algebra B , and History of Mathematics II , with office hours on Tuesdays from 10:00 to 11:00 at the Mathematics Building, Via Campi 213/B, Modena, Italy. His ORCID is 0000-0003-4760-0428 . Research Highlights : Zini's work spans Classification of automorphism groups of maximal curves Exceptional scattered polynomials and their role in coding theory Analysis of MRD codes and their tensor rank properties Geometric constructions of quantum error-correcting codes Intersection problems for linear sets in projective geometry Group-theoretic Möbius functions for non-solvable groups His recent publications address the algebraic structures underpinning coding theory, finite field properties, and automorphism groups of maximal curves. Teaching and Supervision : Zini teaches Linear Algebra (Computer Science, 2025), Algebra B (Mathematics, 2024), and History of Mathematics II (Mathematics, 2025). His teaching emphasizes foundational algebra, discrete mathematics, and historical perspectives in mathematical development. He encourages students to engage with both theoretical and applied aspects of these fields.

Stella Koleva Nikolovaمشاهده پروفایل

دانشیار

• Mathematical Logic
• Computability Theory
• Abstract Structures
• +۳ مورد دیگر

Stella Koleva Nikolova serves as an Associate Professor within the Faculty of Mathematics and Informatics at Sofia University, Bulgaria, specializing in Mathematical Logic and Applications. Her academic career spans foundational research in computability theory, abstract structures, and programming language semantics, with significant contributions to the theoretical understanding of non-deterministic computation and inductive definability. Her educational foundation includes: MSc in Mathematical Logic and Applications, Sofia University (1985) PhD in Admissibility in abstract structure with arbitrary cardinality, Sofia University (1992) Dr. Nikolova's research program investigates admissibility criteria in abstract structures of arbitrary cardinality, definability through partial enumerations, and the logical semantics of non-deterministic programs. Her work bridges mathematical logic and theoretical computer science, exploring how computability manifests in non-standard and multiple-valued structures through rigorous formal frameworks. Analysis of her publication timeline (1990-2008) reveals persistent focus on abstract structures, with peak contributions in 2005 addressing relatively intrinsically arithmetical sets and definedness conditions for non-deterministic programs. Her scholarship demonstrates consistent engagement with generalized recursion theory and the logical foundations of computational processes across diverse structural contexts. Scientific recognition: No documented major awards or fellowships Professional activities beyond publications remain unreported in available sources, with no mention of student supervision, research grants, laboratory leadership, or collaborative team affiliations. Her continued listing as active faculty suggests ongoing academic engagement despite the 2008 endpoint in her publication record.

Andrew Wilesمشاهده پروفایل

استاد

• Number Theory
• Arithmetic Geometry
• Modular Forms
• +۳ مورد دیگر

Andrew Wiles is a Professor at the Mathematical Institute, University of Oxford. He holds the title of Sir and is a Fellow of the Royal Society (FRS), recognized for his profound contributions to number theory. His research spans the breadth of number theory, with a focus on arithmetic geometry, modular forms, elliptic curves, Galois representations, and Iwasawa theory. Wiles is renowned for his proof of Fermat's Last Theorem, a landmark achievement that utilized deep connections between elliptic curves and modular forms. An analysis of his recent publications reveals a continued emphasis on the interplay between Galois representations and automorphic forms, with investigations into residual irreducibility, class groups of quadratic fields, and the Birch and Swinnerton-Dyer conjecture. His work often bridges algebraic and analytic aspects of number theory. Wiles has been honored with the following distinctions: Fellow of the Royal Society (FRS) Knighthood for services to mathematics While specific details of his advisees and grants are not provided in the text, Wiles has mentored numerous students and researchers in the field of number theory. His leadership in the Number Theory research group at Oxford continues to foster cutting-edge research. He is a key member of the Number Theory research group within the Mathematical Institute, contributing to a vibrant academic environment that explores fundamental questions in mathematics.

• Categorification
• Representation Theory
• Lie Algebras
• +۳ مورد دیگر

Ozan Oğuz is an Assistant Professor in the Department of Mathematics at Galatasaray University's College of Sciences, specializing in advanced algebraic structures. His academic journey includes a PhD from the University of Southern California under Prof. Aaron Lauda, followed by postdoctoral work with Susumu Tanabe, Meral Tosun, and Zafeirakis Zafeirakopoulos at Galatasaray University (2018-2022). PhD: University of Southern California (2018) MA: Université de Bordeaux 1 - University of Padova (ALGANT program) Bachelor's: Galatasaray University His research focuses on categorification and representation theory, particularly through diagrammatic algebra approaches to quantum algebras and Heisenberg categories. Recent publications demonstrate consistent innovation in algebraic combinatorics and category theory, with multiple papers exploring the structural properties of twisted Heisenberg categories and their connections to Schur functions. Oğuz actively mentors undergraduate researchers, supervising projects spanning formal theorem verification (Lean), group theory curriculum development, category theory applications in genetics, and quantum knot invariants. His outreach leadership includes founding the İstanbul Mathematics Festival and USC Mathematics Festival, demonstrating strong commitment to mathematical community building. Teaching responsibilities include advanced courses such as Rings and Modules, Representation Theory, and Abstract Algebra, alongside developing innovative materials for Math History courses that examine conceptual evolution in geometry, algebra, and analysis across historical periods.

Laura Ghezziمشاهده پروفایل

استاد

• Commutative Algebra
• Algebraic Geometry
• Computational Algebra
• +۳ مورد دیگر

Laura Ghezzi is a Professor in the Department of Mathematics at New York City College of Technology (City Tech) , part of The City University of New York (CUNY) . She received her Ph.D. in Mathematics from Michigan State University and a B.S. in Mathematics from the University of Genova, Italy . Her research focuses on commutative algebra with applications to algebraic geometry and computational algebra . She has held academic positions at the University of Missouri and Florida International University, and since 2007, she has been actively engaged at City Tech. Ph.D. in Mathematics , Michigan State University B.S. in Mathematics , University of Genova, Italy Her research explores invariants of commutative rings, reduction theory of ideals, and connections to algebraic geometry. She has authored 15+ articles in prestigious journals, often collaborating with leading mathematicians. Her work addresses foundational questions in algebraic structures, including Hilbert coefficients, Chern numbers, and monomialization techniques. Her recent publications highlight trends in commutative algebra, such as the study of Cohen-Macaulay rings, canonical ideals, and combinatorial methods in algebraic geometry. She has also contributed to computational approaches in local rings and homological algebra. PSC-CUNY Research Awards (multiple years) As Co-Director of the Opening Gateways to Completion project, funded by a $3.2M Title V Cooperative Arrangement Grant (2015–2020), she promotes open digital pedagogies to enhance student success in STEM fields. Her teaching portfolio includes advanced courses like MAT 1175, MAT 1275, MAT 1475, and MAT 2675.

• Global Optimization
• Interval Arithmetic
• Mathematical Modeling
• +۵ مورد دیگر

Hermann Schichl is an Associate Professor at the University of Vienna , affiliated with the Faculty of Mathematics and Department of Mathematics. His work spans mathematical modeling, global optimization, and numerical analysis.

Martin Vechevمشاهده پروفایل

استاد

• Programming Languages
• Software Analysis
• Static Analysis
• +۴ مورد دیگر

Martin Vechev is a Professor in the Department of Computer Science at ETH Zurich, leading the Secure, Reliable, and Intelligent Systems (SRL) Lab. His research bridges programming languages, software analysis, and emerging domains like quantum computing, with significant contributions to static analysis, abstract interpretation, and machine learning for code. His primary research interests include programming languages, static analysis, abstract interpretation, and quantum computing. Vechev has pioneered scalable techniques for software verification, particularly in concurrency and security analysis, and has recently driven innovations at the intersection of programming languages and quantum software development. His work emphasizes practical applications while maintaining theoretical rigor. Analysis of Vechev's recent publications reveals a strategic evolution toward quantum programming languages and machine learning integration. His lab has shifted from traditional static analysis to developing foundational frameworks for quantum circuit synthesis (e.g., Silq, Unqomp) and robust neural network certification, addressing critical challenges in quantum resource management and AI safety. The SRL Lab under Vechev's direction focuses on building intelligent systems that are inherently secure and reliable through advanced program analysis techniques. The lab's research spans theoretical foundations to industrial-strength tools, with strong emphasis on quantum software engineering and the application of machine learning to code understanding and generation.

Amir Akbary-Majdabadnoمشاهده پروفایل

استاد

• Number Theory
• L-functions
• Analytic problems for elliptic curves
• +۲ مورد دیگر

Amir Akbary-Majdabadno is a Professor in the Department of Mathematics and Computer Science at the University of Lethbridge, where he maintains an active research program in number theory. His office is located in room C564 with contact number (403) 329-2513. His educational background includes a Ph.D. in Mathematics from the University of Toronto (1997) with thesis "Non-vanishing of modular L-functions with large level" under V. K. Murty, and an M.Sc. from the University of Tehran (1991) with thesis "Algebraic curves and Luroth semi-group" under R. Zaare-Nahandi. Professor Akbary's research focuses on advanced topics in number theory, particularly L-functions , analytic problems for elliptic curves , and polynomials over finite fields . His work often explores the intersection of analytic methods with algebraic structures, examining properties like value distribution, moments, and special values of L-functions. He has made significant contributions to understanding the behavior of modular forms, Galois representations, and arithmetic properties of number fields. His recent publication record shows remarkable productivity, with multiple articles published in top-tier journals like Proceedings of the American Mathematical Society and Journal of Number Theory. The research trends in his 15 most recent papers reveal a consistent focus on L-functions (appearing in 12 papers), elliptic curve theory (9 papers), and finite field structures (7 papers), with increasing attention to value distribution phenomena and connections to probability theory in number theory. Professor Akbary has served as editor for significant academic volumes including the Springer Proceedings in Mathematics & Statistics (Volume 251, 2018) and a special issue of the Bulletin of the Iranian Mathematical Society honoring Professor Freydoon Shahidi. He has delivered numerous research talks globally, with recent presentations covering topics like Galois number fields, sums of triangular numbers, and Euler-Kronecker constants. His academic service includes organizing the WAMS Research School in "Topics in Analytic and Transcendental Number Theory" in Zanjan, Iran (2017) and delivering lecture notes on classical analytic theory of L-functions at IPM, Tehran (2006). His research continues to advance fundamental questions in analytic number theory with applications across multiple mathematical disciplines.

• Mechanics of Deformable Solids
• Mathematical Modeling
• Economics
• +۳ مورد دیگر

Tetyana Ihorivna Levitska is an Associate Professor in the Department of Applied Mathematics at Zaporizhzhia Polytechnic National University. With over 25 years of academic experience since 1999, she specializes in mechanics of deformable solids and mathematical modeling in economics. Her expertise spans both theoretical and applied mathematics with significant contributions to engineering applications. Her educational background includes: Bachelor's and Master's in Applied Mathematics from Zaporizhia State University (1994) Candidate of Technical Sciences (PhD equivalent) in Mechanics of Deformable Solids (2000) Professor Levitska's research focuses on the mechanics of deformable solids, particularly stress-strain analysis of shells and composite structures, and mathematical modeling in economics. Her work bridges theoretical mathematics with practical engineering applications, especially in aerospace engineering and economic systems modeling. She has developed innovative approaches to fuzzy logic applications in economic modeling and has contributed significantly to understanding complex shell structures under various loading conditions. Her recent publications demonstrate a strong trend toward interdisciplinary research, combining mechanical engineering principles with computational mathematics. The majority of her work centers on stress-strain analysis of aircraft components, composite materials, and shells of rotation, while also exploring applications of fuzzy logic in economic modeling and migration phenomena. Professor Levitska teaches Higher Mathematics, Probability Theory and Mathematical Statistics, Discrete Mathematics, and Higher and Applied Mathematics to undergraduate and graduate students. Her teaching approach integrates theoretical foundations with practical applications, preparing students for both academic and industry careers.