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

• Evolutionary Computation
• Human-Computer Interaction
• User Experience Design
• +۴ مورد دیگر

Reza Ghanbarzadeh is a Lecturer at the Faculty of Science and Engineering, Southern Cross University, Australia, with a PhD in Information Systems from Griffith University. He holds master's and bachelor's degrees in Software Engineering. His research focuses on evolutionary computation, human-computer interaction, user experience, and innovative technology applications in healthcare and education. Reza teaches IT units including immersive interaction design and software development in the School of Business and Tourism. Education: PhD (Information Systems, Griffith University), MSc (Software Engineering), BSc (Software Engineering). Research Interests: Evolutionary algorithms, healthcare informatics, generative AI in education, and user-centric software design. He has published extensively in journals and conferences, with notable work on metaheuristic optimization algorithms and their applications in software engineering and healthcare diagnostics. Awards: Recipient of the Outstanding Teaching Award (Southern Cross University, 2024). Advising & Grants: While no specific grants or students are listed, his publications suggest active involvement in collaborative research projects. He advises on topics related to AI, healthcare IT, and educational technologies. Labs/Teams: No formal lab affiliations mentioned, though his work intersects with interdisciplinary teams in health informatics and educational technology.

Paliath Narendranمشاهده پروفایل

استاد

• Automated Reasoning
• Formal Verification
• Pattern Matching
• +۴ مورد دیگر

Dr. Paliath Narendran is a Professor in the Department of Computer Science at the University at Albany, State University of New York, within the College of Nanotechnology, Science, and Engineering. He has been at UAlbany since 1988 after working at General Electric Corporate Research and Development in Schenectady, New York. His educational background includes: PhD in Computer Science from Rensselaer Polytechnic Institute (1984) MTech in Computer Science from Indian Institute of Technology, India (1980) BTech in Electrical Engineering from Indian Institute of Technology, India (1978) Dr. Narendran's research focuses on automated reasoning, formal verification, and pattern matching , with particular emphasis on unification theory and its applications in cryptographic protocol analysis. His work bridges theoretical computer science with practical security applications, developing formal methods to verify the correctness and security of cryptographic protocols. He has made significant contributions to understanding the theoretical foundations of rewrite systems, equational theories, and their applications in security protocol analysis. His recent publications (2020-2025) demonstrate continued progression from foundational theoretical work to increasingly applied security contexts. The research shows strong focus on knowledge problems, unification theory, and their applications to access control models and cryptographic analysis. His work consistently combines deep theoretical insights with practical applications in information security, particularly in developing decision procedures and algorithms for complex equational theories relevant to security protocols. Dr. Narendran teaches graduate courses including Theory of Computation (ICSI 609), Advanced Programming Concepts, Computational Logic, and the Master's Research Project, reflecting his expertise across theoretical and applied computer science.

• Group Theory
• Computational Complexity
• Randomness
• +۲ مورد دیگر

Andrey Nikolaev is a Teaching Professor in the Department of Mathematical Sciences at Stevens Institute of Technology's Charles V. Schaefer, Jr. School of Engineering and Science. His research focuses on group theory, computational complexity, and randomness in mathematical structures. Nikolaev's work investigates algorithmic problems in group theory including subset sum problems in branch groups, word problems in Baumslag-Gersten groups, and conjugacy problems in Heisenberg groups. He co-authored 'Complexity and Randomness in Group Theory' (2020), examining computational aspects of geometric group theory. Recent publications explore parameterized complexity, logspace computations in nilpotent groups, and nonstandard polynomial algebra. His research bridges theoretical computer science with algebraic structures, developing efficient algorithms for group-theoretic problems.

Xavier Rivas Guijarroمشاهده پروفایل

استادیار

• Differential Geometry
• Mathematical Physics
• Dynamical Systems
• +۳ مورد دیگر

Xavier Rivas Guijarro is an Assistant Professor at the Department of Computer Engineering and Mathematics at the Universitat Rovira i Virgili , located in Tarragona, Spain. His research focuses on differential geometry and mathematical physics, particularly the application of contact geometry to dissipative mechanical systems and field theories. He earned his PhD in Mathematics from the Universitat Politècnica de Catalunya in 2021, with a dissertation on Geometrical aspects of contact mechanical systems and field theories . His work integrates geometric frameworks with field theories, emphasizing non-conservative systems and symmetry analysis. Research Interests : Applications of contact geometry to dissipative systems Mathematical physics, dynamical systems, and classical field theories k-contact and multisymplectic structures in geometric mechanics Symmetry reduction and Noether's theorem in field theories Publications highlight contributions to k-contact Lagrangian formulations , multicontact geometry , and non-conservative field theories . Recent work includes studies on Marsden-Meyer-Weinstein reductions and energy-momentum methods in geometric mechanics. His research often bridges theoretical frameworks with applications in physics and control theory. He collaborates with the GEOMVAP Research Group and co-organizes a weekly online seminar on Geometry and Applications: Modern Mathematical Approaches . His work is supported by institutions like the Simons Foundation.

Uwe Nagelمشاهده پروفایل

استاد

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

Uwe Nagel is a Professor and Chair in the Department of Mathematics at the University of Kentucky, part of the College of Arts & Sciences. He holds a Ph.D. in Mathematics from the University of Paderborn (1990). His research focuses on Commutative Algebra, Algebraic Geometry, Algebraic Combinatorics, and Computational Mathematics. He has advised over a dozen doctoral students, including current advisee Michael Morrow and notable graduates like Aida Maraj (2020) and William Trok (2020). His work includes pioneering studies on Lefschetz properties, algebraic combinatorics, and computational methods in algebraic geometry. Notable contributions include investigations into Gorenstein liaison, syzygies of algebraic varieties, and applications of Gröbner bases. His research bridges pure mathematics with computational tools, as evidenced by his Maple procedure for computing S-minimal curves. Teaching spans advanced courses such as Nonlinear Algebra (MA 765), Linear Algebra (MA 565), and Modern Algebra sequences. He has coordinated Calculus I courses, emphasizing foundational instruction. His publications span over three decades, with recent works addressing Weak Lefschetz properties, Jacobian schemes, and equivariant Hilbert series.

• Differential Geometry
• Geometric Structures
• Mathematical Physics
• +۴ مورد دیگر

Omid Makhmali serves as a Postdoctoral Fellow in the Department of Mathematics and Statistics at UiT The Arctic University of Norway, Tromsø, actively contributing to the MASCOT research group with a specialization in Geometry and Mathematical Physics. His institutional contact details include email omid.makhmali@uit.no and phone +47 77 64 49 22. His research spans Differential Geometry, Geometric Structures, Mathematical Physics, CR Geometry, Projective Geometry, Integrable Systems, and Parabolic Geometries. Makhmali investigates nondegenerate geometric structures through differential equations and symmetry analysis, with emphasis on curvature conditions, integrability, and low-dimensional manifolds (dimensions three to five). This work bridges pure geometry with mathematical physics applications. Analysis of his 11 publications from 2011-2025 reveals consistent focus on geometric structures across dimensions, particularly CR/para-CR geometries, projective metrizability, and dispersionless integrability. Key trends include classifying structures via symmetry groups, solving curvature constraints, and exploring connections between conformal geometry and integrable PDEs. Scientific Awards: No scientific awards, prizes, or fellowships are documented in the available information. Advising and Grants: No formal student advising roles (PhD/Master’s) are indicated, consistent with postdoctoral status. No grant funding details are provided in the source materials. Labs and Teams: Core member of the MASCOT research group at UiT, dedicated to Geometry and Mathematical Physics. Active collaboration with Boris Serafimovich Kruglikov, evidenced by co-authored publications.

Nagarajan Rajaمشاهده پروفایل

استاد

• Quantum Computing
• Cybersecurity
• Formal Methods
• +۳ مورد دیگر

Professor Nagarajan Raja is a faculty member in the Department of Computer Science at Middlesex University, specializing in foundational aspects of computing. His research focuses on quantum information systems, cybersecurity through program analysis, and state machine theory. He leads the CST4040 module and contributes to formal methods for quantum protocols. Research interests include quantum computing, formal verification, and cybersecurity. His work spans theoretical frameworks for quantum systems, error correction, and protocol analysis using tools like Coq and Q#. He has published extensively on topics ranging from quantum process calculus to cryptographic applications. Publications highlight contributions to quantum error-correcting codes, automated equivalence checking of systems, and formal models for concurrent quantum processes. His work bridges theoretical foundations with practical applications in secure communication and computational efficiency. For collaboration or enquiries, contact Dr. Aboubaker Lasebae for research partnerships or the program director Dr. Serengul Smith for academic programs.

Amin Coja-Oghlanمشاهده پروفایل

استاد

• Probabilistic Combinatorics
• Mathematical Physics
• Disordered Systems
• +۲ مورد دیگر

Amin Coja-Oghlan is Professor of Efficient Algorithms and Complexity Theory at TU Dortmund University's Department of Computer Science. His research integrates probabilistic combinatorics, information theory, and statistical physics to solve fundamental problems in theoretical computer science. Education includes a doctorate in Mathematics (University of Hamburg, 2002) and habilitation in Computer Science (Humboldt University Berlin, 2005). Research advances understanding of phase transitions in constraint satisfaction problems, optimization landscapes, and random structures. Recent publications analyze SAT thresholds, group testing, and sparse matrix properties. Academic appointments include professorships at Goethe University Frankfurt and lectureships at Edinburgh and Warwick. Research contributions bridge discrete mathematics with computational complexity.

Purnaprajna Bangereمشاهده پروفایل

استاد

• Algebraic Geometry
• Algebraic Topology
• Commutative Algebra
• +۴ مورد دیگر

Purnaprajna Bangere is a Professor of Mathematics and Courtesy Professor of Music at the University of Kansas, affiliated with the Department of Mathematics within the College of Liberal Arts & Sciences. His research focuses on Algebraic Geometry, Algebraic Topology, and Commutative Algebra, with particular emphasis on the geometry and topology of varieties of general type, degenerations of algebraic varieties, and Koszul cohomology and syzygies. He has taught advanced courses such as Math 830 (Field Theory and Galois Theory) and maintains an active research program with over 20 published works since 1997. His articles explore topics ranging from canonical covers of algebraic surfaces to syzygies of projective varieties, with significant contributions to the understanding of Calabi-Yau threefolds and Fano varieties. Though no formal awards or grants are listed in the provided texts, his research consistently addresses foundational questions in algebraic geometry with applications to broader mathematical frameworks. He has no listed advisees, and no specific lab or collaborative team details are provided. His work bridges theoretical depth with computational methods, reflecting a commitment to advancing both pure and applied aspects of his field.

Alexander Abanovمشاهده پروفایل

استاد

• Theoretical Condensed Matter Physics
• Strongly Correlated Electron Systems
• Topological Quantum Systems
• +۳ مورد دیگر

Alexander Abanov is a Professor in the Department of Physics and Astronomy at Stony Brook University. His research focuses on theoretical condensed matter physics, particularly strongly correlated electron systems, topological quantum phenomena, and quantum hydrodynamics. He explores non-perturbative methods and the interplay between condensed matter physics and quantum field theory. Teaching roles include undergraduate and graduate courses such as Classical Mechanics, Electromagnetic Theory, and Mathematical Physics. He has taught extensively at Stony Brook, including specialized graduate seminars on topics like Quantum Magnetism and Topological Terms in Condensed Matter Physics. Beyond academia, he contributes to educational outreach through programs like SchoolNova and Krasnoyarsk Summer School, teaching mathematics and physics to children and gifted students. His research emphasizes fluid dynamics with quantum anomalies, hydrodynamic descriptions of quantum Hall systems, and topological effects in many-body systems. Recent work includes studies on chiral anomalies in fluids, Floquet topology, and hydrodynamic models with gauge anomalies. Abanov collaborates internationally, including at institutions like ITP, EPFL, and Princeton Summer School. No scientific awards are explicitly mentioned in the texts, but his contributions span over 50 peer-reviewed articles since 2000, addressing topics from Calogero-Sutherland models to quantum cognition applications. He has advised numerous graduate students through his teaching and research activities, though specific student names are not listed in the provided materials.

Jing Chenمشاهده پروفایل

استادیار

• Computational Game Theory
• Mechanism Design
• Auctions
• +۶ مورد دیگر

Jing Chen is an Assistant Professor in the Department of Computer Science at Stony Brook University and Chief Scientist and Head of Theory Research at Algorand Inc. She is affiliated with the Economics Department and the Center for Game Theory. Her research focuses on computational game theory, mechanism design, auctions, markets, healthcare, and distributed ledgers. She holds a PhD from MIT (2012) and degrees from Tsinghua University. Her work bridges computer science and economics, emphasizing incentive mechanisms in strategic environments. Notable contributions include the Algorand blockchain protocol and mechanisms for healthcare policy design. Research interests include algorithmic game theory, mechanism design for real-world applications, and the theoretical foundations of rationality. She has received the NSF CAREER Award (2016) and the Cisco Fellowship. Teaching includes courses such as Analysis of Algorithms and Theory of Computation. Professional service roles include associate editor of ACM Transactions on Economics and Computation and organizing workshops on game theory and blockchain at major conferences. Her advising includes PhD students at institutions like Hong Kong Polytechnic University and Williams College. Collaborations span academia and industry, with a focus on distributed systems and cryptographic protocols.

Stavrinos Panagiotisمشاهده پروفایل

استاد

• Finsler Relativity
• Cosmology
• Gravitation
• +۴ مورد دیگر

Stavrinos Panagiotis is a Professor of Mathematics at the National and Kapodistrian University of Athens (N.K.U.A.), specializing in the Department of Mathematics. His research focuses on Finsler Relativity, Cosmology, Gravitation, Dark Matter, Dark Energy, and Modified Theories of Gravity. He has contributed to over 100 publications, including seminal works on Finsler-Randers spacetime geometries and their cosmological implications. His editorial roles include founding membership in the Balkan Society of Geometers and co-editing special issues on Modified Theories of Gravity in journals like Universe and European Physical Journal C. His work spans theoretical frameworks, gravitational models, and cosmological applications, often addressing deviations from Einsteinian gravity through Finslerian geometric approaches. Research interests emphasize Finslerian extensions of general relativity, with applications to dark energy dynamics, black hole solutions (e.g., Reissner-Nordström and Kerr-like metrics), and cosmological models incorporating anisotropic spacetime structures. His recent articles (2024-2025) explore Finsler-Randers gravity's role in cosmological tensions and gravitational wave phenomena. Editorial contributions include shaping discourse on modified gravity through peer-reviewed special issues. Stavrinos' work integrates geometric methods with cosmological observations, focusing on geometric deviations from isotropy and their implications for dark sector physics. His collaborations span international teams, addressing both theoretical formalisms and computational models for spacetime metrics.

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

استاد

• Theoretical Physics
• Quantum Field Theory
• String Theory
• +۳ مورد دیگر

Martin Rocek is a Professor of Physics and Astronomy at Stony Brook University. His research focuses on theoretical physics, including supersymmetry, supergravity, string theory, and mathematical physics. He has held a sabbatical at the String Theory Group in Amsterdam and maintains an active research group. His work bridges geometric structures with quantum field theories, exploring topics like dualities, sigma models, and topological field theories. Rocek's academic contributions span over four decades, with notable publications on supergravity, generalized Kähler geometry, and non-perturbative string theory. His research often intersects with advanced mathematical frameworks, such as homotopy algebras and geometric quantization. He has organized conferences like the Simons Workshop and collaborates internationally with institutions like Utrecht University and the University of Delaware. His recent work emphasizes the interplay between supersymmetric models and geometric structures, with applications to AdS/CFT correspondence and swampland conjectures. Rocek’s publications highlight a sustained engagement with foundational questions in theoretical physics, combining rigorous mathematical methods with physical insights.

Leonardo Rastelliمشاهده پروفایل

استاد

• Quantum Field Theory
• String Theory
• Superconformal Field Theories
• +۵ مورد دیگر

Leonardo Rastelli is a Professor of Physics and Astronomy at Stony Brook University. He earned his Ph.D. from the Massachusetts Institute of Technology in 2000. His research focuses on quantum field theory and string theory, particularly the bootstrap program for superconformal field theories. He has pioneered methods in AdS/CFT correspondence and open string field theory. Rastelli has received prestigious awards including the Outstanding Junior Investigator Award, Simons Fellowship, and Guggenheim Fellowship. Education: Ph.D., 2000, MIT His research interests span structural aspects of string theory, superconformal field theories in diverse dimensions, and the interplay between holography and bootstrap methods. Current work emphasizes numerical and mathematical approaches to charting the space of CFTs. Notable contributions include analytic solutions in string field theory and foundational work on the bootstrap hypothesis. Recent articles explore topics like SCFT moduli spaces, Regge trajectories in large-N systems, and holographic dualities. His work bridges abstract mathematical structures with concrete physical predictions. Awards: Outstanding Junior Investigator Award, Simons Fellowship, Guggenheim Fellowship Grants/Funding: Supported by Simons Foundation and other institutions Rastelli leads an active research group dedicated to advancing theoretical frameworks in conformal field theories. His work often involves collaborations at the intersection of string theory, quantum gravity, and algebraic geometry.

• Constructive Mathematics
• Automated Reasoning
• Geometry
• +۴ مورد دیگر

Michael J Beeson is a Professor of Computer Science at San José State University. He holds a Ph.D. from Stanford University (1972). His research focuses on automated reasoning, constructive mathematics, and formal geometry. Key areas include proof-checking Euclidean geometry, minimal surfaces, and set theory. He has received NSF grant CCR-0204362 for research in automated reasoning. Beeson has authored numerous articles on topics like Tarskian geometry, non-Euclidean systems, and geometric tiling. His work bridges logic, computation, and traditional mathematical proof methods. Education: Doctor of Philosophy, Stanford University, 1972 Research Interests: Constructive approaches to geometry and set theory Automated theorem proving and proof verification Applications of lambda calculus and type theory Historical and foundational aspects of mathematics Grants & Support: National Science Foundation grant CCR-0204362 (2005–3000) Labs/Teams: Collaborates with projects like GeoCoq for formalized geometry and OTTER/Ivy theorem provers.