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

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

Maria Camino Teofila Balbuena Martinez is a professor in the Department of Applied Mathematics III at the Escola Tècnica Superior d'Enginyeria de Camins, Canals i Ports de Barcelona, Universitat Politècnica de Catalunya. She is a key member of the COMBGRAPH research group, focusing on combinatorics and graph theory. Her work spans theoretical and applied aspects of discrete mathematics, with strong collaborations across Spain and internationally. Research Interests: Her primary research lies in graph theory and combinatorics, particularly in identifying codes, connectivity in graphs and digraphs, extremal graph theory, and algebraic graph theory. She investigates structural properties of graphs such as girth, connectivity, and spectral characteristics, often applying these to network design and reliability. The analysis of her 15 most recent publications reveals a consistent focus on identifying codes and their spectral characterizations, connectivity parameters in regular and bipartite graphs, and constructions of cages and extremal graphs. Her work bridges combinatorial theory with applications in network optimization and fault detection. Scientific Awards: Top Cited Article 2005–2010 Advising and Grants: She has advised PhD students such as Martínez Barona, Berenice and Salas Piñon, Julian. Her research has been supported by competitive national and regional grants, including projects under the Spanish Plan Nacional de Investigación and the Catalan Pla de Recerca i Innovació. She has led and participated in projects like 'Estudio matemático de los fallos en cascada en sistemas complejos' and 'Técnicas de optimización en teoría de grafos, grupos y combinatoria'. Labs and Research Teams: She is a core member of the COMBGRAPH research group, which focuses on combinatorics, graph theory, and their applications. This group is active in publishing, organizing workshops, and training PhD students in discrete mathematics.

Michal Walickiمشاهده پروفایل

دانشیار

• Mathematical Logic
• Philosophical Logic
• Graph Theory
• +۱۳ مورد دیگر

Michal Walicki is an Associate Professor in the Department of Informatics at the University of Bergen, Norway. His research lies at the intersection of mathematical logic, theoretical computer science, and philosophy of logic. He specializes in graph-theoretic methods for analyzing logical paradoxes, paraconsistency, and the algebraic semantics of nondeterminism. His primary research interests include self-reference, semantic paradoxes, digraph kernels, paraconsistent logic, multialgebras, and bounded reasoning in epistemic logic. He has developed graph-based semantics for logical theories, where paradoxes correspond to graph cycles and consistent theories relate to digraph kernels. His recent work focuses on the Poison Game for infinite digraphs and a Logic of Sentential Operators (LSO) that handles unrestricted sentential quantification without explosion. His publications span journals such as the Journal of Philosophical Logic, Journal of Symbolic Logic, Synthese, and Discrete Mathematics. He has authored the textbook Introduction to Mathematical Logic and maintains comprehensive lecture notes for courses like INF-227. His work shows a strong trend in using combinatorial and algebraic structures to model logical and computational phenomena, especially in handling inconsistency and self-reference. Strongly complete axiomatizations of finite syntactic epistemic states Complete calculus for multialgebraic semantics of nondeterminism Graph Normal Form for first-order logic Paraconsistent resolution with local kernels Applications of digraph kernels to SAT solving Michal Walicki has supervised several PhD students, including Sjur Dyrkolbotn, Thomas Ågotnes, and Yngve Lamo. He has also received research funding for projects in logic and algebra, though specific grants are not detailed. He leads a research group focused on logical foundations of computation and collaborates with colleagues in logic, computer science, and philosophy. His work continues to explore the deep connections between logic, graphs, and algebraic structures.