Find Academic Supervisors

Valeria de Paiva is a mathematician and AI research scientist, currently serving as Founder of the Topos Institute in Berkeley where she explores the deep connections between mathematics, logic, and computation. She earned her PhD under the supervision of Martin Hyland, working on Dialectica categories, which established her foundational work connecting linear logic with Gödel's Dialectica interpretation. Dr. de Paiva's research spans category theory, programming languages, type theories, and logic in computer science, with special emphasis on the semantics of natural language and lexical semantics. She has pioneered work in linear and modal logics and their applications to mathematics, particularly in building tools to extract, structure, and reason about mathematical knowledge. Her research bridges symbolic/structural and distributional meaning representations through knowledge graphs, ontologies, and computational frameworks. Her recent publications reveal a strong trend toward mathematical concept extraction and natural language processing for mathematical texts. She has developed innovative approaches like MathGloss for building mathematical glossaries and Parmesan for educational concept extraction, demonstrating how theoretical foundations in category theory can solve practical problems in knowledge representation and education. Among her notable recognitions is the unofficial title of 'Ambassador of Logic,' awarded after she was invited by the Division of Logic, Methodology, and Philosophy of Science and Technology to record a video on logic. She has served as council member of this division from 2020-2023. Dr. de Paiva is deeply committed to mentoring and supporting women in logic and computer science. She has mentored 12 PhD students and postdocs at the Applied Category Theory MRC 2022. She co-founded and maintains the Women in Logic website, blog, and Facebook group, serves on the steering committee for Women in Logic, and helps organize the Workshop on Women in Logic, which has held nine editions as of the latest information. She also contributes to the ACM-W Scholarship Program supporting women students in computing worldwide. She is actively involved in numerous academic initiatives including serving as co-chair for CICM 2025 and MFPS 2024, and as scientific committee member for CT2025. She co-founded groups including Women in Logic, Lógicas Brasileiras, and the Women in Logic Workshop, and has organized numerous international conferences and workshops focused on logic, category theory, and computational semantics.

• category theory
• programming languages
• type theories
• +12 more

Alcides Buss is a Professor of Mathematics at the Department of Mathematics of the Federal University of Santa Catarina (UFSC) in Brazil. He has established himself as a leading researcher in Operator Algebras with significant contributions to the field of C*-algebras and noncommutative geometry. His academic journey includes: Bachelor's degree in mathematics at UFSC (2000) Master's degree in mathematics at UFSC (2002, supervisor Ruy Exel) Doctoral degree at WWU Münster, Germany (2007, supervisors Ralf Meyer and Siegfried Echterhoff) Professor Buss's research focuses on noncommutative dynamical systems, actions of group(oid)s on C*-algebras, Fell bundles, quantum groups, groupoids and inverse semigroups, and p-adic operator algebras. His work represents a sophisticated blend of algebraic structures and functional analysis, advancing our understanding of noncommutative spaces and their symmetries. His publication record shows a clear evolution from foundational studies of C*-dynamical systems to increasingly specialized areas including p-adic operator algebras and exotic crossed products. Recent work demonstrates particular strength in deformation theory, groupoid C*-algebras, and approximation properties, with publications appearing in top-tier mathematics journals including Transactions of the American Mathematical Society and Advances in Mathematics. Among his notable recognitions are: Best Student at Federal University of Santa Catarina (2000) CNPq research productivity scholarship (since 2012) Geovanni Prodi Chair at Würzburg (2023) Professor Buss has maintained an active presence in the international mathematics community, organizing multiple special sessions on Operator Algebras at major conferences and collaborating with leading researchers worldwide. His extensive conference participation and organizational roles, including the ICM Operator Algebras Satellite Conference in 2018, demonstrate his standing in the field. At UFSC, he teaches advanced courses in Operator Algebras, C*-algebras, and related topics, contributing to the development of mathematical research in Brazil.

• Operator Algebras
• Noncommutative Dynamical Systems
• C*-Algebras
• +5 more

Francicleber Martins Ferreira serves as a Research Fellow at the Computer Science Department of Brazil's Federal University of Ceará (UFC), where he completed both his doctoral and master's degrees. His academic trajectory is firmly rooted in theoretical computer science and mathematical logic within this institution. His educational foundation includes: PhD in Computer Science, Federal University of Ceará (2012) Master's in Computer Science, Federal University of Ceará (2007) Dr. Ferreira's research program centers on the theoretical underpinnings of logical systems, with particular emphasis on: Finite and classic model theory Descriptive complexity frameworks Hybrid and preferential logics Non-monotonic reasoning mechanisms Expressiveness hierarchies in computational logic His work bridges theoretical computer science with artificial intelligence foundations through rigorous mathematical analysis. Publication trends from 2006-2014 reveal sustained contributions to logic-based computation, particularly exploring expressiveness boundaries in circumscription, predicate minimization, and transitive closure logics. These works consistently intersect computational complexity theory with model-theoretic approaches, demonstrating specialization in finite structures and definability questions. He actively participates in the Lógica e Inteligência Artificial (LIA) research group, which coordinates logic-focused investigations within UFC's computer science ecosystem. This group serves as his primary academic collaboration framework for advancing theoretical AI foundations.

• Logic
• Descriptive Complexity
• Finite Model Theory
• +3 more

Eduardo Sany Laber is an Associate Professor in the Computer Science Department at Pontifical Catholic University of Rio de Janeiro (PUC-Rio), with over two decades of academic and industrial experience. He completed his undergraduate (1996), master's (1997), and doctorate (1999) at PUC-Rio, focusing on data compression. Since 2001, he has been a faculty member, with visiting roles at Carnegie Mellon University (2001-2002). Education : PhD in Computer Science (1999), PUC-Rio Master in Computer Science (1997), PUC-Rio BSc in Computer Engineering (1996), PUC-Rio His research centers on designing algorithms with theoretical guarantees for problems in data compression , machine learning , and finance , combining optimization, information theory, and industrial applications. His recent work explores connections between k-means and decision trees , alongside information-theoretic clustering . The 15 most recent publications highlight his focus on algorithm efficiency, spanning machine learning , information retrieval , and combinatorial optimization . Notable venues include ICML , ECAI , and ISAAC , with applications in finance , data analysis , and web engineering . Scientific Awards : Gold Medal, Brazilian Math Olympiad (1990) Bronze Medal, International Math Olympiad (1991) First Prize, Brazilian Computer Society PhD Thesis Contest (2000, 2004 co-advisor) Affiliated Member, Brazilian Academy of Sciences (2008) Best Paper Award, ISAAC (2015) Laber supervises PhD and Master's students intensively, including recipients of national awards like the Brazilian Computer Society's First Prize for Marco Molinaro's Master's Dissertation (2009) and Second Prize for Renato Carmo's PhD Thesis (2006) . He is a CNPq Level 1 Researcher and collaborates with the Greyhounds Laboratory .

• Algorithm Design
• Machine Learning
• Optimization
• +5 more

Prof. Luis C. Lamb is a Professor at the Institute of Informatics (Universidade Federal do Rio Grande do Sul, UFRGS), specializing in Foundations of Computer Science and Artificial Intelligence. His research focuses on Neurosymbolic AI, AI Ethics, and Technology Strategy. He holds a DIC and PhD. Research Interests: Integrated Machine Learning & Reasoning, AI Ethics, Social Computing, and Innovation Strategy. Notable work includes Neurosymbolic AI frameworks and studies on collective intelligence in problem-solving. Recent contributions include talks at AAAI, IBM Neuro-Symbolic AI workshops, and the Montreal AI Debate. His work bridges statistical and symbolic AI approaches, emphasizing ethical considerations and hybrid models.

• Neurosymbolic AI
• Artificial Intelligence
• AI Ethics
• +3 more

Celina Miraglia Herrera de Figueiredo is a full Professor at the Systems Engineering and Computer Science Program (PESC) of COPPE, the Alberto Luiz Coimbra Institute for Graduate Studies and Research in Engineering at the Federal University of Rio de Janeiro (UFRJ). She holds a PhD in systems and computer engineering from UFRJ and a postdoctoral degree from the University of Waterloo, Canada. She is a CNPq Level 1A Research Fellow and a FAPERJ Cientista do Nosso Estado awardee, and leads the algorithms and combinatorics research group at COPPE/UFRJ. University: Federal University of Rio de Janeiro School: Alberto Luiz Coimbra Institute for Graduate Studies and Research in Engineering Department: Systems Engineering and Computer Science Program Academic Rank: Professor Email: celina@cos.ufrj.br Her research centers on theoretical computer science, with a focus on graph theory, algorithms, computational complexity, and combinatorial optimization. She has made significant contributions to the understanding of graph classes such as perfect graphs and snarks, algorithm design, and computational complexity. Her work is grounded in the Mathematics Subject Classification codes 05-XX (Combinatorics), 68-XX (Computer Science), and 90-XX (Operations Research). The most recent publications indicate a strong trend in analyzing the computational complexity of graph problems (e.g., MaxCut, Steiner Tree, total coloring) on structured graph classes such as interval, permutation, and path graphs. Her work frequently involves proving NP-completeness results, developing parameterized algorithms, and studying graph invariants like pebbling numbers and chromatic numbers. She consistently publishes in high-quality journals such as Discrete Mathematics , Discrete Applied Mathematics , and RAIRO Operations Research . Giulio Massarani Award for Academic Merit (2006) COPPE Fifty Years Award (2013) CNPq Research Fellowship (Level 1A) FAPERJ Cientista do Nosso Estado Member of the Brazilian Academy of Sciences (2023) Celina has advised numerous students, including Raphael Machado, Vinícius de Sá, Alexsander Melo, and Ana Silva, and has secured significant research funding from CNPq and FAPERJ. She is deeply involved in the academic community, serving on the editorial boards of RAIRO Theoretical Informatics and Applications, Bulletin of the Brazilian Mathematical Society, and Matemática Contemporânea. She has also been a key organizer and committee member for major international conferences such as LAGOS, WG, LATIN, and FCT, reflecting her leadership in the fields of algorithms and combinatorics. She coordinates the Center of Excellence in Randomized, Quantum, and Approximative Algorithms and has been a driving force in promoting women in science, serving on the jury of the L'Oréal–UNESCO–ABC Program for Women in Science. Her Erdős number is 2, highlighting her extensive collaborative network in mathematics and computer science.

• Graph Theory
• Algorithms
• Computational Complexity
• +7 more

Petrúcio Viana is an Associate Professor at the Departamento de Análise within the Instituto de Matemática e Estatística at Universidade Federal Fluminense (UFF) in Niterói, Brazil. He holds a PhD from the PESC/COPPE at Universidade Federal do Rio de Janeiro (UFRJ), advised by Sheila R.M. Veloso and Paulo A.S. Veloso, with a doctoral sanduíche at the ILLC (University of Amsterdam) under Maarten Marx's supervision. His research focuses on Algebraic Logic , Mathematical Logic , Modal Logic , Diagrammatic Reasoning , and Logical Aspects of Graph Theory . He is part of UFF's Logic Group . No scientific awards or grants are explicitly mentioned in the provided texts. He teaches courses such as Lógica para Ciência da Computação , evidenced by detailed lecture materials from 2015.

• Algebraic Logic
• Mathematical Logic
• Modal Logic
• +2 more