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

Ying Xuمشاهده پروفایل

دانشیار مدعو

• Architectural Engineering
• Building Energy and Environments
• Emissions of SVOCs from polymeric materials and their interaction with airborne particles and interior surfaces

Dr. Ying Xu is an Adjunct Associate Professor at the University of Texas at Austin, specializing in architectural engineering, building energy systems, and the environmental impact of materials. Her technical focus includes emissions from polymeric materials and their interactions with indoor environments. She holds a Ph.D. (Virginia Tech, 2009), M.E. (Tsinghua University, 2004), and B.E. (Tsinghua University, 2001). Research interests span sustainable building technologies, indoor air quality, and the mitigation of SVOC emissions. Her work also explores advanced analog IC design methodologies, including automation tools like MAGICAL and neural network-guided routing systems. She has contributed to innovations in low-power sensor circuits, VCO-based architectures, and optical logic synthesis. Publications emphasize automation in circuit layout, energy-efficient designs, and hybrid system architectures. These contributions reflect expertise in both environmental engineering and cutting-edge electronics research.

Carola Wenkمشاهده پروفایل

استاد

• Algorithms
• Computational Geometry
• Shape Matching
• +۵ مورد دیگر

Carola Wenk is a Professor of Computer Science and Chair of the Department of Computer Science at Tulane University, within the School of Science and Engineering. She also holds an adjunct appointment in the Department of Mathematics. Her research focuses on algorithms, computational geometry, shape matching, and topological data analysis , with applications in geospatial analysis, biomedical informatics, and transportation systems. Wenk earned her Ph.D. in Computer Science from Freie Universität Berlin (2002) and a Diplom in Mathematics (1998), both with distinction. She has held academic positions at the University of Texas at San Antonio (UTSA) and the University of Arizona. Her work includes pioneering contributions to Fréchet distance algorithms , map construction from GPS trajectories , and computational methods for prostate cancer diagnosis . Her research has been funded by NSF, NIH, DARPA, IARPA, and ARPA-H, totaling over $40M in grants. Key Projects : MAGIC-SCAN: Machine Learning Assisted Gigantic Image Cancer Margin Scanner (ARPA-H, $22.9M) METROPOL: Modeling and Encoding TRajectories Of Patterns Of Life (IARPA, $953K) PathCAM: Real-time pathology slide imaging (NIH, $1.69M) Wenk has received prestigious awards including the NSF CAREER Award (2007), Mortar Board Excellence in Teaching (2014), and multiple Best Paper Awards at SIGSPATIAL, IEEE Vis, and computational geometry conferences. She leads interdisciplinary initiatives, such as the Computational Systems Biology Core at Tulane. Her lab focuses on topological data analysis , geospatial algorithms , and medical imaging , collaborating with biomedical engineers and clinicians to translate computational methods into clinical applications.

Dan Alistarhمشاهده پروفایل

استاد

• Machine Learning
• Distributed Computing
• Optimization
• +۴ مورد دیگر

Dan Alistarh is a Professor at the Institute of Science and Technology Austria (IST Austria) and leads the Deep Algorithms and Systems Lab (DASLab). His research focuses on efficient algorithms and systems for machine learning, including distributed optimization, sparse and quantized neural networks, and scalable training/inference techniques. He holds a PhD from École Polytechnique Fédérale de Lausanne (EPFL) and has held positions at MIT, Microsoft Research, and ETH Zurich. Research interests: Optimization for data analysis, parallel and distributed optimization, efficient machine learning algorithms, and distributed systems. Collaborations include work on optimization under uncertainty with Immanuel Bomze, Radu Bot, and others. Publications span top venues like NeurIPS, ICML, and DISC, with notable contributions in model compression (e.g., GPTQ, SparseGPT), communication-efficient distributed training, and concurrency algorithms. Awards include ERC grants and best paper awards. He advises a team of PhD students and postdocs, and his lab's tools are widely used (e.g., GitHub repositories). His work has been adopted in industry (e.g., OpenAI, Neural Magic).

Sylwia Cichaczمشاهده پروفایل

استادیار

• Graph Theory
• Combinatorics
• Zero-Sum Problems
• +۳ مورد دیگر

Dr. Sylwia Cichacz is an Assistant Professor in the Department of Discrete Mathematics within the Faculty of Applied Mathematics at AGH University of Science and Technology in Kraków, Poland. Her primary research focuses on Graph Theory , with expertise in combinatorial structures, algebraic methods, and labeling techniques. Research Interests: Her work spans zero-sum problems in Abelian groups, magic and antimagic graph labelings, irregular graph decompositions, and applications of group theory to combinatorial optimization. Key themes include distance magic labeling, acyclic coloring, fault-tolerant graph structures, and the interplay between algebraic invariants and graph properties. Publications: Recent articles (2022–2025) explore graph labeling innovations (e.g., cordial, antimagic, and distance magic techniques), zero-sum partitions of Abelian groups, and combinatorial designs. Her research consistently integrates algebraic frameworks with discrete optimization, demonstrating applications in spectral graph theory and extremal combinatorics. Grants & Affiliations: She is supported by the NCN grant 2011/01/D/ST1/04104. No student advisees, team structures, or additional awards are documented in the provided materials.

• Graph Theory
• Super Edge-Magic Labelings
• Topological Graph Theory
• +۴ مورد دیگر

Ramón M. Figueroa-Centeno is an Associate Professor in the Mathematics Department at the University of Hawaiʻi at Hilo, affiliated with the College of Natural and Health Sciences. His career spans institutions including Pittsburg State University and Western Michigan University, where he earned his Ph.D. in Pure Mathematics with a focus on Graph Theory. Education: Ph.D., Western Michigan University (1998) M.A., Western Michigan University (1994) B.S., Western Michigan University (1992) Universidad Metropolitana, Venezuela (Administrative Sciences, Systems Engineering, Pure Mathematics) Primary/Secondary education in Venezuela and England Research Focus: Specializing in Graph Theory, particularly Super Edge-Magic Labelings of graphs. Collaborations with Rikio Ichishima and Francesc Antoni Muntaner-Batle since 1998 have produced significant work on graph labelings, their properties, and applications. His research bridges topological graph theory and number theory. Publications Trends: Over 15 years, his work explores chromatic polynomials, graph imbeddings, and advanced labelings like super edge-magic graphs. He investigates structural properties of graphs, including cycles, trees, and 2-regular graphs, contributing to combinatorial algorithms and theoretical proofs. Scientific Awards: Colegio Humboldt Scientific Fair Awards (1982, 1984, 1985) Honorary Mention in Apple Macintosh Applications Contest (1986) Associate Fellow, Institute of Combinatorics and its Applications (2000–present) Nominated for Distinguished Faculty Award (2000, 2001) and Advisor of the Year (1998) Advising & Grants: Mentored students from undergraduate research to doctoral studies, including Francesc Antoni Muntaner-Batle (Ph.D., 2001) and William Bierman, Leilani Lee Loy, Chelsea N. Rice, Justin DiPaola-Allen, Tien Chih at UHH. Collaborated on interdisciplinary projects with Physics and Computer Science faculty. Labs & Teams: Active in the UHH Math Tutoring Lab, providing resources for students. Co-advisor to the UHH Math Club and involved in student organizations like H.O.T. and CCCP-MIR at PSU.

Ebrahim Salehiمشاهده پروفایل

استاد

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

Ebrahim Salehi is a Professor in the Department of Mathematical Sciences at the University of Nevada, Las Vegas (UNLV). He is affiliated with the College of Sciences and holds expertise in graph theory, combinatorics, and discrete mathematics. His research focuses on graph colorings, labelings, and indexes, with notable contributions to rainbow mean colorings, cordial sets, and friendly index sets of graphs. Dr. Salehi's recent publications emphasize theoretical advancements in graph theory, particularly in analyzing coloring schemes and structural properties of graphs. He has contributed to international journals such as Discrete Mathematics Letters , Bulletin of the Institute of Combinatorics and its Applications , and Journal of Combinatorial Mathematics and Combinatorial Computing . He is actively involved in academic societies including the American Mathematical Society, Mathematical Association of America, and Society for Industrial and Applied Mathematics. His teaching responsibilities include courses like Multi-variable Calculus (MATH 283) and Math for Engineers and Scientists II (MATH 432). Despite his prolific research output, no specific scientific awards are mentioned in the provided texts. His work bridges foundational combinatorial theory with algorithmic applications, maintaining a focus on graph labeling and structural analysis.

Paul Roachمشاهده پروفایل

استاد

• Mathematical Modelling
• System Dynamics
• Industrial Engineering
• +۴ مورد دیگر

Paul Roach is a Professor of Computing Mathematics at the University of South Wales, affiliated with the Faculty of Computing, Engineering and Science. He holds leadership roles including Head of Postgraduate Research Studies and co-leads the Mathematical Sciences submission to REF2021. With a PhD in Computer Science from Cardiff University (1990), his career spans research roles at Interface 4 Ltd and academic positions since 1994. His research focuses on mathematical modelling, system dynamics for social systems, and industrial processes like steel reheating furnaces. He has secured £700k in grants (total £2M projects) from EPSRC, European Commission, and others. Research interests include: Applications of System Dynamics in social modelling Price change analysis in collectible markets Healthcare pathway optimization (collaboration with NHS Health Boards) AI-driven container stowage planning Recent projects involve NHS-funded mental health clinical pathway analysis and EPSRC-supported furnace modelling. He has supervised 19 research students (16 completed, 3 ongoing) and co-authored over 50 publications. His work bridges theoretical mathematics with practical applications in engineering, healthcare, and logistics.

Weichen Guمشاهده پروفایل

استادیار

• Quantum Information
• Operator Algebra
• Number Theory
• +۳ مورد دیگر

Weichen Gu is a Zassenhaus Assistant Professor at The Ohio State University, specializing in quantum information, operator algebra, and number theory. His research bridges functional analysis, harmonic analysis, and mathematical physics, with a focus on quantum entropy, central limit theorems, and noncommutative structures. He holds a PhD from the University of New Hampshire and has taught at institutions including the University of Chinese Academy of Sciences. Research interests include quantum convolution, Möbius disjointness, and operator algebraic structures in factors. His work has been published in journals like Proceedings of the National Academy of Sciences and Journal of Operator Theory . Notable talks include presentations at JMM 2024 and Brigham Young University's Number Theory Seminar. Teaching experience spans over five years, with roles as instructor and teaching assistant for courses in multidimensional calculus, differential equations, and linear algebra. Active in academic communities, Gu collaborates with institutions like Harvard's Mathematical Picture Language Project and TAMU's Noncommutative Geometry Seminar.

Lesley W. Wiglesworthمشاهده پروفایل

استاد

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

Lesley W. Wiglesworth is the H.W. Stodghill, Jr. and Adele H. Stodghill Professor of Mathematics at Centre College. She joined the faculty in 2008 and was recognized as a Centre Scholar in 2012 and 2021. Her work focuses on discrete mathematics, particularly combinatorics and graph theory, with collaborations across institutions and significant contributions to undergraduate research. Education : PhD in Applied & Industrial Mathematics (University of Louisville, 2008), MS in Mathematics (University of Louisville, 2007), BA in Mathematics magna cum laude (Transylvania University, 2004) Wiglesworth's research in graph theory includes prime labelings, visibility graphs, and cross-institutional collaborations with Murray State University. She co-edited the upcoming Teaching Mathematics Through Cross-Curricular Projects (AMS, 2024) and developed a study abroad course on mathematics and archaeology in Peru. Her publications and grants reflect a commitment to expanding undergraduate research through innovative pedagogy, virtual mentorship, and community-building initiatives. NSF grants supported her cross-institutional projects and regional conferences. Scientific Awards : Project NExT Fellow (2008-2009), multiple NSF grants She has mentored nearly 30 students, leading to 15+ conference presentations and 5 student-authored publications. Professional affiliations include the Mathematical Association of America and Association of Women in Mathematics.

Barry Allen Balofمشاهده پروفایل

استادیار

• Combinatorics
• Ordered Sets
• Geometric Representations
• +۱۲ مورد دیگر

Barry Balof is an Assistant Professor of Mathematics at Whitman College. He holds a Ph.D. in Mathematics from Dartmouth College (2003) and has been at Whitman since 2003. His research focuses on combinatorics, with a particular emphasis on geometric representations of partially ordered sets (e.g., free triangle orders), graph theory, and applications in data management, social science, and mathematical psychology. Education Ph.D., Mathematics, Dartmouth College (2003) M.A., Mathematics, Dartmouth College (2000) B.A., Mathematics and History, Colorado College (1997) His recent work explores enumerative combinatorics and the appearance of number sequences in interdisciplinary contexts. Articles highlight contributions to hypergraph spectral theory, algebraic combinatorics, and polytope representations. A recurring theme is the interplay between abstract mathematical structures and their practical applications. Scientific Awards include the A. E. Lange Award for Distinguished Science Teaching (2007), the Louis B. Perry Research Award (2006), and the Barry Goldwater Scholar (1996). He has supervised students in projects such as Enumerative Combinatorics , Tableaux Theory , and Matroid Theory and collaborates with institutions like Université Libre de Bruxelles.

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.

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.

• Cyber-Physical Systems
• Runtime Verification
• Formal Methods
• +۳ مورد دیگر

Dejan Nickovic is an Associate Professor in the Department of Cyber-Physical Systems at TU Wien. His primary affiliation is with the Research Area Cyber-Physical Systems (E191-01). Nickovic's research focuses on formal methods, runtime verification, and fault localization in cyber-physical systems (CPS). He has contributed to automated testing frameworks, specification mining, and formal validation techniques for embedded and reactive systems. His work emphasizes bridging the gap between theoretical formalisms and practical CPS applications. Notable research directions include mining specifications from data (e.g., timing diagrams), developing tools like TD-Magic and DeepSTL, and advancing hypernode automata for complex system modeling. He has also explored fault-injection methods (FIM) for Simulink models and mutation testing strategies for improving CPS reliability. Nickovic collaborates extensively with industry partners, as evidenced by his work on production-test coverage analysis in simulation environments. His research has been published in top-tier conferences and journals, focusing on topics like information-flow interfaces, hyperproperties, and adaptive testing strategies. He advises graduate students on CPS-related theses, including those on fault localization, analog-mixed signal verification, and failure explanation in CPS models. His contributions have advanced both academic and industrial applications of formal methods in CPS design and validation.

Inne Singgihمشاهده پروفایل

استادیار

• Graph Theory
• Graph Labeling
• Discrete Mathematics
• +۳ مورد دیگر

Inne Singgih is an Assistant Professor Educator in the Department of Mathematical Sciences at the University of Cincinnati. They hold a Ph.D. in Mathematics from the University of South Carolina (2020), an M.S. in Applied and Computational Mathematics from the University of Minnesota Duluth (2015), and a B.Sc. in Mathematics from Universitas Indonesia (2009). Their research focuses on Graph Theory, particularly graph labeling, including magic/antimagic labelings, DNA graph labeling, and genome rearrangement models. They have published extensively in top journals like Theoretical Computer Science and Electronic Journal of Combinatorics . Key research interests include exploring structural properties of graphs, algorithmic approaches to genome rearrangement, and combinatorial optimization. Recent work bridges graph theory with bioinformatics, such as analyzing pairwise rearrangement tractability in genome models. Their Erdős number is 2, reflecting strong collaborative networks in discrete mathematics. Teaching excellence is evident through awards like the 2020 Outstanding Graduate Student Instructor and multiple teaching grants. Active in pedagogical development, they led initiatives like the Jupyter NoteBook Calculus Classroom Resources project and hold certifications in inclusive teaching practices. Current projects include antimagic labeling collaborations and undergraduate research on DNA graph characterization. Notable grants include the 2021 University of Cincinnati Research Launch Award and teaching grants focused on improving calculus instruction. Their work often involves interdisciplinary teams, such as collaborations with bioinformaticians on genome rearrangement algorithms and combinatorialists on labeling theory advancements.

David Leachمشاهده پروفایل

استاد

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

David Leach is a Professor of Mathematics and Program Coordinator at the University of West Georgia's School of Computing, Analytics, and Modeling within the Dr. Perry College of Mathematics, Computing, and Sciences. He holds a BS in Mathematics with Computer Science from Auburn University Montgomery, and MS/PhD in Mathematics from Auburn University. His research focuses on combinatorics, graph theory, and discrete mathematics. Leach teaches courses including Calculus, Linear Algebra, Combinatorics, and Senior Project. He has published extensively in journals like Utilitas Mathematica, Bulletin of the Institute of Combinatorics and Applications, and Journal of Combinatorial Mathematics and Combinatorial Computing. His work includes studies on magic rectangles, graph theory applications, and combinatorial number theory.