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

Edward Richmondمشاهده پروفایل

دانشیار

• Algebraic Combinatorics
• Algebraic Geometry
• Lie Theory
• +۱ مورد دیگر

Edward Richmond is an Associate Professor and Director of Graduate Studies in the Department of Mathematics at Oklahoma State University. He previously held postdoctoral positions at the University of British Columbia (2010-2014) and the University of Oregon (2008-2010), and earned his Ph.D. in Mathematics from the University of North Carolina at Chapel Hill in 2008 under Prakash Belkale. His academic career includes roles such as Teaching Fellow (2002-2008) and Math Help Center Director (2006-2007) at UNC. Research Interests: His work focuses on algebraic combinatorics, algebraic geometry, Lie theory, and representation theory. Key research themes include Coxeter groups, Schubert varieties, billey-postnikov decompositions, and applications to geometric and combinatorial problems. He has contributed to understanding isomorphism problems in Schubert varieties, noncommutative coefficients, and smoothness criteria for algebraic structures. Recent Publications: Recent studies explore permutation pattern avoidance, cominuscule Schubert varieties, and nil-Hecke rings. These papers highlight collaborations with researchers like S. Oh, T. Grigsby, and K. Zainoulline, with applications to Young's lattice, Springer fibers, and affine flag varieties. Academic Service: Richmond has co-organized numerous special sessions at conferences, including topics in combinatorics, Lie theory, and Schubert calculus. He has also contributed to course design, such as Math 3933: Introduction to Research Methods at OSU, and participated in outreach activities like Math Mania and ELMACON.

Amanda Burcroffمشاهده پروفایل

پژوهشگر ارشد

• Algebraic Combinatorics
• Cluster Algebras
• Scattering Diagrams
• +۶ مورد دیگر

Amanda Burcroff is a mathematician specializing in algebraic combinatorics, currently serving as a President's Postdoctoral Fellow at the University of California, Davis. Starting in September 2025, she will join MIT as a School of Science Dean's and NSF Postdoctoral Fellow. Her research explores the connections between cluster algebras, scattering diagrams, and algebraic geometry, with additional contributions to number theory, graph theory, and combinatorial structures. Harvard University (Ph.D., Mathematics) University of Cambridge (M.A.St, Mathematics) Durham University (M.A.S., Pure Mathematics) University of Michigan (B.S., Mathematics) Burcroff's research focuses on: Cluster algebra positivity and expansion formulas in low-rank settings Scattering diagram combinatorics and tropical geometry Hyperbolic Coxeter polytopes and dimension bounds Ehrhart theory and Hilbert bases for convex cones Combinatorics on words and pattern avoidance Domination polynomials and graph invariants Her publications reveal interdisciplinary trends spanning algebraic combinatorics, geometric structures, and number-theoretic patterns. Recent work examines quantum cluster algebras, continued fractions, and convex geometry. Burcroff's awards include prestigious Marshall, NSF, and President's Postdoctoral Fellowships. Marshall Scholarship (UK study funding) NSF Postdoctoral Fellowship (MIT appointment) President's Postdoctoral Fellowship (UC Davis) Burcroff actively promotes STEM diversity through mentorship programs like the Math Includes Mentorship Program and Graduate Research Opportunities for Women (GROW) Conference. Her mathematical outreach extends to high school initiatives including the Oakland University Summer Mathematics Institute and FIRST Robotics.

Steve Butlerمشاهده پروفایل

استاد

• Spectral Graph Theory
• Enumerative Combinatorics
• Mathematics of Juggling
• +۳ مورد دیگر

Steve Butler is a Professor and the Barbara J. Janson Professor in the Department of Mathematics at Iowa State University. His research focuses on spectral graph theory, combinatorics, and the mathematics of juggling. He earned his Ph.D. from UC San Diego (2008) under Fan Chung and completed an NSF Postdoc at UCLA with Benny Sudakov. Research Interests: Spectral Graph Theory: Studies eigenvalues of graph matrices, equitable partitions, and Laplacian properties. Recreational Mathematics: Explores mathematical patterns in juggling, card shuffling, and performance. Combinatorics: Investigates Eulerian numbers, distance matrices, and graph automorphisms. Scientific Awards: Barbara J. Janson Professorship (2017) LAS Early Achievement in Teaching Award (2014) Cassling Family Faculty Award (2014) MAA Iowa Section Award for Distinguished Teaching (2015) NSF Postdoctoral Fellowship (2008-2011) Advising and Outreach: Butler actively collaborates with students, producing educational videos and organizing undergraduate research initiatives. He served as Iowa State's calculus coordinator (2018-2020) and contributes to outreach programs for young STEM enthusiasts.

• Mathematics
• Algebra
• Group Theory

Milad Ahanjideh serves as an Assistant Professor in the Department of Mathematics at the Faculty of Mathematics, Natural Sciences and Information Technologies (FAMNIT), University of Primorska, where he also holds the administrative roles of Department Chair and Coordinator. His academic responsibilities span teaching, research, and departmental leadership within Slovenia's higher education system. His research specializes in pure mathematics with concentrated expertise in algebraic structures, particularly permutation group theory as evidenced by his course instruction in Permutational Groups. This focus represents a core discipline within abstract algebra with significant applications in combinatorics, symmetry analysis, and computational mathematics. Dr. Ahanjideh maintains active academic engagement through his primary institutional affiliation at the University of Primorska. While specific details about research funding or collaborative networks aren't documented in available sources, his dual role as faculty member and departmental administrator indicates substantial involvement in both scholarly and operational aspects of the mathematics department.

Ramya Korlakai Vinayakمشاهده پروفایل

استادیار

• Machine Learning
• Statistical Inference
• Crowdsourcing
• +۳ مورد دیگر

Ramya Korlakai Vinayak is the Dugald C. Jackson Assistant Professor in the Department of Electrical and Computer Engineering at the University of Wisconsin-Madison's College of Engineering. Her research bridges theoretical machine learning with human-centered AI applications. Education: Postdoctoral Researcher, Paul G. Allen School of Computer Science and Engineering, University of Washington Ph.D. and M.S. in Electrical Engineering, California Institute of Technology (Caltech) B.Tech. in Electrical Engineering, Indian Institute of Technology Madras (IIT M) Research Focus: Her work centers on machine learning foundations with emphasis on statistical inference, crowdsourcing, and human-AI collaboration. Key themes include modeling heterogeneous human preferences, developing robust out-of-distribution detection systems, and creating culturally-aware generative models. She pioneers methods for pluralistic alignment where AI systems accommodate diverse human values through ideal point modeling and adaptive feedback mechanisms. Publication Trends: Recent publications (2023-2025) reveal three converging trajectories: (1) Human-in-the-loop frameworks for reducing false positives in safety-critical systems, (2) Metric learning innovations using limited preference data, and (3) Critical examinations of cultural limitations in generative AI. Her work consistently addresses real-world challenges like cognitive overload in crowdsourcing and biases in face generation systems. Research Infrastructure: She leads an active research group with a dedicated lab website (https://ramyakv.github.io/) focusing on developing theoretically-grounded yet practically-deployable AI systems that respect human plurality.

T. Kyle Petersenمشاهده پروفایل

استاد

• Combinatorics
• Enumerative Combinatorics
• Algebraic Combinatorics
• +۱ مورد دیگر

T. Kyle Petersen is Professor and Chair of the Department of Mathematical Sciences at DePaul University's College of Science and Health, where he serves as a full-time faculty member specializing in combinatorics research and education. Education history: AB, Washington University in St. Louis PhD, Brandeis University (2006), supervised by Ira Gessel Research focuses on core and specialized areas of combinatorics: Enumerative Combinatorics : Counting methods and sequence analysis Algebraic Combinatorics : Algebraic structures in discrete mathematics Topological Combinatorics : Geometric and topological approaches Recent publications (2019-2021) demonstrate broad engagement with combinatorial theory and applications—including permutation studies (Sós Permutations), probabilistic card shuffling models, geometric puzzle theory, Coxeter group analysis, and inquiry-based learning frameworks. This work consistently bridges theoretical foundations with educational innovation. Beyond research, Dr. Petersen actively contributes to pedagogical advancement through the Academy of Inquiry-Based Learning, promoting student-centered mathematics education.

• Dynamic Optimisation
• Optimisation under Uncertainty
• Combinatorial Optimisation
• +۷ مورد دیگر

Dr. Joan Alza Santos is an early-career Research Fellow at the School of Computing, Engineering, and Technology within Robert Gordon University (RGU). She is affiliated with the Complex Optimisation Research Group and contributes to RGU's research themes in "Environment, Energy & Sustainability" and "Living in a Digital World." Her work bridges academic research in dynamic optimization with practical applications in sustainable logistics and other real-world domains. Dr. Alza Santos completed her educational journey with: BSc (Hons) in Computer Engineering from Universidad del País Vasco (University of the Basque Country), 2013-2017 Postgraduate Certificate from Robert Gordon University, 2018-2021 PhD in Computing from Robert Gordon University, completed in January 2025 with no corrections required - a rare distinction Her research focuses on addressing fundamental challenges in dynamic optimization. Dr. Alza Santos has made significant contributions to the field through three key innovations: developing a fitness landscape rotation framework for dynamic benchmarking, introducing the concept of "elusivity" to quantify algorithmic adaptability over complete restart, and creating methods for generating realistic synthetic instances from real-world logistic data. Her work aims to bridge the gap between academic research and practical applications, particularly in sustainable logistics where optimization under uncertainty is critical. Dr. Alza Santos's publication record shows a consistent focus on dynamic optimization problems, particularly in combinatorial spaces. Her research trajectory demonstrates progression from theoretical foundations of dynamic permutation problems to increasingly practical applications, culminating in methods for generating realistic benchmarks from real-world data. A notable trend in her work is the development of metrics like "elusivity" that provide quantitative ways to evaluate the true adaptive challenge in dynamic optimization problems, moving beyond simplistic representations of dynamism. Her scientific recognition includes: Membership in the International Graduate Student Research Cohort (2024) Presentation at the Arctic Circle Assembly (2024) PhD defense with no corrections required (2025) - noted as a rare distinction As an early-career researcher, Dr. Alza Santos actively supervises research projects and serves as a Demonstrator for "Applied Data Science" and "Data Visualisation" modules. Her industrial collaborations span multiple sectors including energy, transportation, and environmental sustainability. She has worked on projects evaluating offshore wind farm impacts, developing visualization tools for fleet management, simulating transportation demand, optimizing cargo transportation, creating VR flooding simulations, reviewing childhood obesity data, and developing predictive maintenance platforms for the oil and gas industry. Dr. Alza Santos leads research within the Complex Optimisation Research Group at RGU, where she continues to develop innovative approaches to dynamic optimization problems. Her current work focuses on applying simulation-optimization techniques to address real-world challenges, particularly in sustainable logistics. She is actively seeking new collaboration opportunities with both academic researchers and industry partners to expand the impact of her work on society and the economy.

Ken-etsu Fujitaمشاهده پروفایل

دانشیار

• Lambda Calculus
• Type Theory
• Theoretical Computer Science
• +۳ مورد دیگر

Ken-etsu Fujita is a Faculty Member at Tokyo Denki University and an Associate Professor at Gunma University's Department of Computer Science. His research focuses on theoretical computer science, particularly lambda calculus, type theory, and formal systems. With 62 publications that have received 2,052 reads and 238 citations, Fujita has established himself as a significant contributor to the foundations of computation and programming language theory. His research expertise spans Theoretical Computer Science, Abstract Algebra, Calculus, Semantics, and Lambda Calculus. Fujita's work consistently bridges mathematical logic with computational theory, exploring deep connections between proof systems and computation. His investigations into confluence properties, reduction systems, and type theories demonstrate sustained focus on foundational computational questions. Analysis of Fujita's publication timeline reveals consistent contributions from the 1990s through 2024, with recent work addressing undecidability in second-order propositional intuitionistic logic and properties of shuffling calculus. His research shows progression from foundational lambda calculus studies to more complex systems incorporating classical logic, existential types, and advanced reduction strategies, maintaining theoretical rigor while addressing increasingly sophisticated computational problems. Fujita has received recognition through citations of his work (238 citations), indicating his contributions are valued by the theoretical computer science community. His dual institutional affiliation provides a rich academic environment for research and collaboration, though specific awards aren't detailed in the available information. As a supervisor, Fujita appears to focus on theoretical computer science topics with emphasis on formal methods. His research group likely engages with fundamental questions about computation, programming language semantics, and logical foundations. Prospective students interested in these areas would find a supervisor with deep expertise and a strong publication record in core theoretical topics, offering opportunities to contribute to foundational research with potential implications for programming language design and formal verification.

Daniel Kráľمشاهده پروفایل

استاد

• Discrete Mathematics
• Graph Theory
• Combinatorics
• +۷ مورد دیگر

Daniel Kráľ is an Alexander von Humboldt Professor for Discrete Mathematics at Leipzig University and an affiliated member of the Max Planck Institute for Mathematics in the Sciences (MPI MiS). Previously, he held the Donald Ervin Knuth Professorship at Masaryk University in Brno and is also an honorary professor at the University of Warwick, where he was a professor of mathematics and computer science and a member of the Centre for Discrete Mathematics and its Applications (DIMAP). His research addresses various topics at the interface of mathematics and computer science, with primary focus on structural and extremal graph theory, discrete algorithms, and combinatorial limits. The theory of combinatorial limits is an emerging area that provides analytic methods to study large graphs such as social networks, establishing new links between analysis, combinatorics, ergodic theory, group theory and probability theory. His work has been supported by prestigious ERC grants including the CCOSA Starting grant and LADIST Consolidator grant. Dr. Kráľ's scholarly output includes over 150 journal research papers and numerous conference contributions. His recent publications demonstrate continued leadership in extremal combinatorics, graph limits, and structural graph theory, with significant contributions to understanding quasirandomness, Turán densities, and the coloring of complex graph structures. Scientific Recognition: SIAM Fellow (2024) Fellow of the American Mathematical Society (2020) Philip Leverhulme Prize in Mathematics and Statistics (2014) European Prize in Combinatorics (2011) ERC Consolidator grant LADIST (2015-21) ERC Starting grant CCOSA (2010-15) Professor Kráľ has supervised numerous PhD students and postdoctoral fellows throughout his career. His editorial service includes Editor-in-Chief of SIAM Journal on Discrete Mathematics (2017-2022), Co-Editor-in-Chief of Journal of Combinatorial Theory (since 2025), and Managing editor of Advances in Combinatorics (since 2018). He has organized multiple international workshops and conferences including Oberwolfach workshops on Graph Theory and the European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'23).

Luigi Santocanaleمشاهده پروفایل

استاد

• Order Theory
• Category Theory
• Universal Algebra
• +۱۲ مورد دیگر

Luigi Santocanale is a Full Professor in Computer Science at Aix-Marseille University, affiliated with the Laboratoire d'Informatique et Systèmes (LIS), UMR CNRS 7020, and member of the LSC research group. He is responsible for the 3rd year of the Licence Informatique, parcours Informatique Mathématique at Aix-Marseille University. His academic career includes previous affiliations with LIRICA@LIS, MOVE@LIF, LABRI, CPSC@UCalgary, BRICS, and UQAM. Professor Santocanale's research spans three interconnected domains: Order Theory, Category Theory and Universal Algebra (including Lattice theory, Topos Theory, and Enriched Category Theory); Combinatorics (focusing on Ordered sets, species theory, and game theory); and Logic in Computer Science (covering Intuitionistic logic, mu-calculus, decision problems for free algebraic objects, semantics of programming languages, and algebraic structures of distributed computing). His current research directions include lattice theory applications to databases, logics with fixed points, ordered sets in combinatorics, and circular proofs in mu-bicomplete categories. He has served as project coordinator for the ANR SOAPDC (Order Structures and Applications to Distributed, Parallel and Concurrent Computing) project and has been involved in numerous other research initiatives including LAMBDACOMB, RECIPROG, TICAMORE, MFL, TRECOLOCOCO, CHOCO, and TAGADA. Professor Santocanale is actively engaged with the academic community as a Program Committee member for major conferences including RAMiCS 2024 and TACL 2024. His significant contributions include: Decidability of the equational theory of relational lattices with applications to database query optimization Characterization of closure ordinals in modal mu-calculus Work on equational theories of permutation lattices (Permutohedra) and associahedra Development of circular proof systems for mu-bicomplete categories Professor Santocanale has organized and participated in the Marseille Lattice Working Group and has collaborated extensively with researchers including Fred Wehrung, M. J. Gouveia, and Nathalie Caspard. His work bridges theoretical computer science, mathematical logic, and algebraic structures, with implications for programming language semantics and distributed computing.

Daniele Nantes-Sobrinhoمشاهده پروفایل

استاد مدعو

• Formal Methods
• Separation Logic
• Verification
• +۶ مورد دیگر

Daniele Nantes-Sobrinho is a tenured Adjunct Professor at the Department of Mathematics, University of Brasília, currently on sabbatical leave. She concurrently serves as a Research Fellow at Imperial College London. She obtained her Ph.D. in Mathematics from the University of Brasília in 2013, with research focused on equational unification in security protocol analysis. Education: Ph.D. in Mathematics, University of Brasília, 2013 Research Interests: Her work develops mathematical structures and logical foundations for modeling, specifying, and verifying critical systems. Core areas include: Formal Methods, Separation Logic, Verification, Logical Methods for Computer Science, Rewriting, Unification, Nominal Techniques, Security Verification, and Behavioral Types. Publications: Her 15 most recent articles (2018-2023) cluster around Formal Methods, with emphases on Nominal Techniques, Concurrency, Unification/Algorithms, and Verification. Trends show increasing focus on non-determinism in concurrent systems and certified unification algorithms. Student Advising: Current MSc Students: Daniella Santaguida Magalhães, Gabriela de Souza Ferreira, Leonardo Melo Batista, Ali Khãn Ribeiro Former Students: Bruno Falcão (Undergraduate), Vinícius Sugimoto (Undergraduate), Andrés Gonzalez (MSc), Deivid Vale (MSc), Bruno Delboni (MSc) Affiliations: Member of the Theoretical Computer Science Group (GTC-UnB) and external collaborator for the VIDI project Unifying Correctness for Communicating Systems .

Danni Novakovicمشاهده پروفایل

مدرس ارشد

• Cryptography
• Information Security
• Formal Methods of Specification
• +۴ مورد دیگر

Dr. Danni Novakovic serves as a part-time Senior Lecturer Practitioner at Anglia Ruskin University within the Faculty of Science and Engineering, specializing in Computing and Information Science. She joined ARU in 2019 after holding leadership roles including Head of School of Computer Science at the University of Bedfordshire and Head of Computing at the University of West London, with an academic career spanning since 1994. Her educational background comprises: PhD in Mathematics PgCert in Teaching and Learning in Higher Education BSc in Computer Science and Mathematics Research focuses on cryptography-combinatorics intersections for security applications, formal methods, and computational theory. Recent expansions include computer music generation via genetic algorithms and self-configuring security frameworks for mobile devices, reflecting an evolution from theoretical mathematics to applied interdisciplinary security solutions. Publication trends demonstrate foundational work in permutation mathematics (1995-2000), system dynamics for institutional management (2009-2010), and contemporary security applications including EEG biometrics and smartphone anomaly detection (2014-2018), showcasing consistent contributions to cryptographic theory and practical security engineering. Professional recognition includes: Fellow of the British Computer Society Fellow of Higher Education Academy She actively supervises postgraduate research across mathematics, cryptography, and cybersecurity domains while contributing to academic leadership through program committee roles at major conferences including IEEE CIT and WEBIST, alongside extensive curriculum development and quality assurance experience.

Maura Johnمشاهده پروفایل

پژوهشگر

• Bioinformatics
• Genome-wide Association Studies
• Machine Learning in Biology
• +۴ مورد دیگر

Maura John serves as a Research Associate at the Chair of Bioinformatics at Hochschule Weihenstephan-Triesdorf's Straubing Campus for Sustainable Resource Use. Her research focuses on developing advanced computational methods for biological data analysis, with particular expertise in genome-wide association studies and protein structure prediction. Her primary research interests include: Genome-wide association studies with permutation-based significance thresholds that preserve population structure Development of bioinformatics tools like permGWAS2 and easyPheno Protein thermostability prediction using machine learning approaches Genomic selection methodologies for crop breeding applications Dr. John's recent publications demonstrate a strong focus on methodological improvements in computational biology, particularly addressing limitations of traditional approaches in handling skewed phenotype distributions and population structure. Her work bridges theoretical statistical methods with practical biological applications across plant genomics and protein science. Notable contributions include: permGWAS2: An improved method that maintains population structure during permutations ProLaTherm: A protein language model-based thermophilicity predictor outperforming existing methods easyPheno: A comprehensive Python framework for phenotype prediction model comparison Her research program demonstrates strong collaborative efforts with Dominik Grimm's group and other bioinformatics researchers, focusing on developing open-source tools that address critical challenges in genomic data analysis. The work has practical applications in plant breeding, protein engineering, and understanding genotype-phenotype relationships.

• Automatic Control
• Systems Engineering
• Neural Networks
• +۴ مورد دیگر

Laurent Signac is an Associate Professor in Automatic Control and Systems at ENSIP (École Nationale Supérieure d'Ingénieurs de Poitiers), part of the University of Poitiers. He maintains dual affiliations with the LIAS laboratory at both ENSIP in Poitiers and ISAE-ENSMA in Chasseneuil, contributing to the Automatic Control, Data Engineering, and Real Time research teams. His research spans automatic control, neural networks, and artificial intelligence with applications in industrial fault detection, robotics, and algorithmic problem-solving. Key contributions include neural network-based stator fault diagnosis in induction motors, fractional-order system identification, and explorations of algorithmic survival mechanisms. His work bridges theoretical control systems with practical engineering solutions across electrical engineering and computer science domains. Analysis of his publication timeline reveals consistent innovation in neural system identification (2001-2009), evolving toward interdisciplinary applications in cryptography (2013), light diffusion modeling (2014), and computational thinking education (2017). His research demonstrates sustained integration of control theory with neural computation across industrial, biological, and educational contexts. As a core member of LIAS laboratory's Automatic Control team, he participates in France's national research ecosystem focused on signal processing and real-time systems. The laboratory's dual-campus structure facilitates collaboration between ENSIP's engineering programs and ISAE-ENSMA's aerospace expertise, positioning his work at the intersection of academic research and industrial application.