Find Academic Supervisors

Waldemar Celes Filho is an Associate Professor in the Department of Computer Science at Pontifical Catholic University of Rio de Janeiro (PUC-Rio) and serves as Director of the Tecgraf Institute/PUC-Rio. With a career spanning over three decades, he has established himself as a leading researcher in computer graphics and scientific visualization. His educational background includes a Civil Engineering degree from UFRJ (1986), a Master's in Civil Engineering from PUC-Rio (1990), a Doctorate in Computer Science from PUC-Rio (1995), and postdoctoral studies in Computer Graphics at Cornell University (1995-1997). Dr. Celes Filho's research focuses primarily on Computer Graphics with special emphasis on Scientific Visualization, Numerical Simulation, Distributed Visualization, and Real-Time Rendering. He is particularly known for his work on visualization techniques for black oil reservoir models and as a co-creator of the Lua programming language. His research has resulted in over 50 publications spanning nearly three decades, with consistent output continuing through 2025. His recent publications demonstrate a strong trend toward applying advanced visualization techniques to complex industrial problems, particularly in petroleum engineering and construction informatics. His work bridges theoretical computer graphics with practical applications in engineering domains, showing particular strength in volume rendering, CAD model visualization, and distributed rendering systems. As Director of the Tecgraf Institute, he leads research initiatives that connect academic work with industry applications, fostering collaborations that translate visualization research into practical tools. Dr. Celes Filho has mentored numerous students who have become co-authors on his publications, including Paulo Ivson, Fábio Markus Miranda, and Lucas Caracas de Figueiredo, among others. His work continues to be influential in both academic and industrial settings.

• Computer Graphics
• Scientific Visualization
• Numerical Simulation
• +5 more

Marco Antonio Casanova is a Full Professor at the Department of Informatics and Coordinator of the Central Planning and Evaluation Office of the Pontifical Catholic University of Rio de Janeiro (PUC-Rio). He has held significant leadership positions at PUC-Rio including Graduate Program Coordinator (2005-2007) and Director of the Department of Informatics (2007-2011). His research interests concentrate on database conceptual modeling, construction of database management systems, and applications of Large Language Models. Dr. Casanova's work focuses on technologies that facilitate the dissemination and interpretation of data on the Web, with particular emphasis on techniques for designing databases to facilitate interoperability. His academic journey began with a degree in Electronic Engineering from the Military Institute of Engineering (1974), followed by an M.Sc. in Informatics from PUC-Rio (1976), and culminated with an M.Sc. (1978) and Ph.D. (1979) in Applied Mathematics from Harvard University. His recent publications (2023-2025) demonstrate a strong focus on the intersection of Large Language Models with database technologies, particularly in developing advanced Text-to-SQL and Text-to-SPARQL systems. His research spans both theoretical database concepts and practical applications across various domains including engineering, healthcare, and cultural heritage. Dr. Casanova has been particularly active in exploring how LLMs can enhance traditional database query interfaces while addressing real-world challenges in complex database environments. Scientific Recognition: Recipient of the Scientific Merit Award from the Brazilian Computer Society (2012) CNPq Level 1B Productivity Grant recipient Dr. Casanova maintains an active research program with numerous collaborations across Brazil and internationally. His work bridges theoretical database research with practical applications, particularly in the evolving landscape of AI-enhanced database systems. He has contributed significantly to the field of semantic technologies, knowledge graphs, and natural language interfaces to databases, with a recent emphasis on leveraging Large Language Models to solve longstanding database interoperability challenges. His laboratory and research team at PUC-Rio focus on developing innovative approaches to database management that incorporate cutting-edge AI techniques while maintaining strong theoretical foundations in database systems.

• Database Systems
• Conceptual Modeling
• Semantic Web
• +5 more

Yuri Brunello is a permanent faculty member at the Federal University of Ceará (UFC), affiliated with the Postgraduate Program in Letters (PPGLetras). He holds a PhD from Sapienza University of Rome (2012). His research focuses on literature, languages, and interdialogical studies, with a particular emphasis on the 'Global South,' Pasolini's theories, and the interconnections between colonial Brazilian literature and European modernity. His work integrates Auerbach's realism and Peirce's semiotics to analyze cultural expressions in the Global South. Education: PhD in Letters from Università La Sapienza de Roma (2012). Research interests include literary traditions, innovation, and the intersection of Italian and Hispano-Portuguese poetic communities. He leads the Literary Research Group, which meets monthly at Casa de Cultura Italiana to discuss contemporary literary-critical works and formulate academic projects. No scientific awards or specific grants are mentioned in the provided text. His current projects explore 'Trans-Siberian' modernity and the role of interdialogism in reconfiguring aesthetic canons.

• Literary Theory
• Comparative Literature
• Cultural Studies
• +4 more

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

Juliana Alves Pereira is an Assistant Professor in the Computer Science Department at Pontifical Catholic University of Rio de Janeiro (PUC-Rio), where she supervises master's and doctoral research in Software Engineering. She collaborates with the Software Engineering Laboratory (LES/OPUS) and focuses on Machine Learning applications for software system management, evolution, and maintenance. Education: PhD (summa cum laude) in Software Engineering from Otto-von-Guericke-Universität Magdeburg (2018), Master's in Computer Science from Federal University of Minas Gerais (2015), and Postdoctoral studies at University of Rennes/Inria-IRISA (France) Her research spans Machine Learning, Explainability, Transfer Learning, Generative AI, Deep Learning, Natural Language Processing, and Recommender Systems, particularly in software quality and human-centric contexts. Juliana has received international recognition through awards at conferences like SPLC, ICPE, and CBSoft. Scientific Awards: Dissertationspreis 2018 – Otto-von-Guericke-Universität Magdeburg GI-Dissertationspreis 2018 nomination – German Computer Society ACM Best Paper Awards – SPLC 2021, ICPE 2020 CBSoft Most Influential Paper Award 2022 – Brazilian Computer Society Juliana actively engages in academic leadership through program committee roles at major conferences including ICSE Demo, SANER, MSR, and ICSME. She collaborates with national and international research groups while maintaining memberships in the Brazilian Computer Society (SBC) and LES/OPUS research group.

• Machine Learning
• Software Quality
• Human Aspects in Software Engineering
• +6 more

Roberto Ierusalimschy is a Full Professor at the Computer Science Department (DI) of Pontifical Catholic University of Rio de Janeiro (PUC-Rio). He is renowned as the lead designer of the Lua programming language, widely adopted in applications like Angry Birds, World of Warcraft, Adobe Lightroom, and Wikipedia. His work bridges theoretical foundations with practical implementations in programming languages. Bachelor's, Master's, and Doctorate in Computer Science from PUC-Rio (1982, 1985, 1990) Postdoctoral fellowship at the University of Waterloo (1992) Research Interests: Focus on programming language design, implementation, and optimization, particularly through the development of Lua. His contributions emphasize lightweight, embeddable scripting solutions for diverse industries. Scientific Awards: CNPq Level 2 Productivity Grant Labs & Teams: Coordinates LabLua, a development laboratory dedicated to Lua and related programming languages.

• Programming Languages
• Scripting Languages
• Compilers
• +3 more

Haniel Barbosa is a tenured Assistant Professor in the Department of Computer Science at Universidade Federal de Minas Gerais (UFMG), Brazil. His research focuses on improving SMT solvers for formal verification and enhancing their trustworthiness through proof certificates, as detailed in his work on projects like Lean-SMT and Carcara. He also serves as a senior technical lead for the state-of-the-art SMT solver cvc5 and actively collaborates with institutions like the University of Iowa, Stanford University, and Inria Nancy. Barbosa's research is supported by grants from the Defense Advanced Research Projects Agency (DARPA), CAPES, and Amazon Web Services. He mentors a diverse team of postdoctoral scholars, PhD students, and MSc students, including Caio Raposo, Tomaz Mascarenhas, Pedro Saccomani, and Bruno Andreotti. His teaching portfolio includes courses like Introduction to Computational Logic, Theory and Practice of SMT Solving, and Formal Methods. His publications span topics such as SMT proof production, proof reconstruction, and syntax-guided synthesis, with a focus on scalable algorithms, higher-order logic extensions, and industrial-strength solver development. Key trends in his work include formal verification, automated reasoning, and the intersection of logic with software engineering. Scientific awards include the Distinguished Tutorial Paper Award at FM 2024 and the Best Tool Paper Award at TACAS 2022 . Barbosa also contributes extensively to academic service as a steering committee member for SBMF, PC chair for LSFA and SBMF conferences, and organizer for SMT-COMP. His outreach includes invited tutorials at ATVA 2024, Dagstuhl Seminars, and workshops on SMT solving.

• SMT Solvers
• Formal Verification
• Proof Certificates
• +5 more

Lucas Mello Schnorr is an Associate Professor at the Institute of Informatics of the Federal University of Rio Grande do Sul (UFRGS), where he teaches parallel computing at the graduate level and compilers/programming language paradigms at the undergraduate level. He conducted postdoctoral research at Inria Grenoble Rhônes-Alpes under Arnaud Legrand's supervision (2016/2017) and was a research scientist at CNRS, France, with the MESCAL team. Education: Ph.D. in Computer Science (2009) from UFRGS and Institut Polytechnique de Grenoble (cotutelle thesis); Bachelor's in Computer Science (2003) from UFSM, Brazil Research Focus: High Performance Computing, Performance Analysis, Energy-Aware Computing, and Parallel Systems He actively participates in academic seminars, program coordination (Graduate Program in Computer Science - PPGC), and international collaborations. His work emphasizes system optimization, reproducibility in research, and cross-disciplinary applications of computational methods.

• High Performance Computing
• Performance Analysis
• Computer System Simulation
• +3 more

Flavio Heleno Bevilacqua e Silva is a Tenured Professor at the Computer Science Department of Pontifical Catholic University of Rio de Janeiro (PUC-Rio). His research interests span core areas of Computer Science , including Software Engineering , Distributed Systems , Database Management , and Programming Languages . Contact: bevilac@inf.puc-rio.br

• Computer Science
• Software Engineering
• Distributed Systems
• +3 more

Paula Ypiranga dos Guaranys is a Tenured Professor affiliated with the Computer Science Department at the Pontifical Catholic University of Rio de Janeiro (PUC-Rio). Her work spans core areas of computer science, including software engineering, algorithms, and programming languages. Research Interests : Computer Science fundamentals Software Engineering methodologies Algorithm design and optimization Programming Languages theory Contact : pguaranys@inf.puc-rio.br

• Computer Science
• Software Engineering
• Artificial Intelligence
• +3 more

Ricardo Nolla Ruiz is a Tenured Professor at the Computer Science Department of Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Brazil. His research focuses broadly on computer science, with emphasis on software engineering, algorithms, and programming languages. He can be reached at nolla@inf.puc-rio.br. Research Interests: span computer science domains including software engineering principles, algorithmic problem-solving, and programming language design.

• Computer Science
• Software Engineering
• Algorithms
• +3 more

Marcos Kalinowski is an Associate Professor at the Department of Informatics, Pontifical Catholic University of Rio de Janeiro (PUC-Rio), where he has served as a faculty member since 2017. He is the co-founder and coordinator of the ExACTa PUC-Rio laboratory, General Chair of the International Conference on Software Engineering (ICSE) 2026, and Associate Editor of the Journal of Systems and Software. His academic affiliations also include membership on the steering committees of ICSE and the Ibero-American Conference on Software Engineering (CIbSE), as well as being a Senior Advisor and Lead Appraiser for the Brazilian Software Quality Program (MPS.BR). Dr. Kalinowski earned his Ph.D. and M.Sc. in Software Engineering from COPPE/UFRJ under advisor Guilherme Travassos, and his B.Sc. in Computer Science from UFRJ. His academic career includes previous faculty positions at Fluminense Federal University (UFF) from 2014-2017 and the Federal University of Juiz de Fora (UFJF) from 2012-2014. His research focuses on bridging software engineering and data science, with particular emphasis on developing reliable and maintainable AI/ML systems through rigorous engineering practices. His work addresses critical challenges in requirements engineering for ML-enabled systems, investigating how to effectively specify quality attributes and functional requirements for complex AI applications. His research on software process and product quality emphasizes agile methods adapted to modern data-intensive development contexts. Through experimental software engineering approaches, he validates these methods through empirical studies in both academic and industrial settings. His work has significantly contributed to establishing Software Engineering for Data Science as a distinct discipline, including creating Brazil's first extension course on the subject in 2021. His publication record demonstrates a strong focus on the intersection of software engineering and artificial intelligence, with recent work addressing technical debt in ML systems, requirements engineering for AI, and lean methodologies for industry-academia collaboration. His research shows a clear trajectory toward making AI development more systematic, reliable, and aligned with software engineering best practices, evidenced by his over 160 scientific publications and multiple books including the Jabuti Acadêmico award-finalist 'Engenharia de Software para Ciência de Dados' (2023). Dr. Kalinowski has received numerous prestigious awards including: CNPq Research Productivity Grant (Level 1D, 2024-2028) FAPERJ Scientist of Rio de Janeiro State Distinction (2024) Multiple best paper awards at international conferences including SWQD 2025 and CAIN 2024 Recognition as advisor of multiple award-winning Ph.D. and M.Sc. theses SBES 2024 Advisor of the Best Brazilian Software Engineering Ph.D. Thesis As an academic leader, Dr. Kalinowski has supervised numerous doctoral and master's students, many of whom have received national awards for their research. He has secured significant research funding from Brazilian Research Council (CNPq) and Rio State Agency (FAPERJ), as well as industry collaborations with major organizations including CEPEL, Eletrobras, Galp, Petrobras, and Stone. His laboratory, ExACTa PUC-Rio, has established successful industry partnerships through its Lean R&D approach, creating a robust pipeline between research and practical application. Dr. Kalinowski leads the ExACTa PUC-Rio laboratory which focuses on applying lean R&D methodologies to industry-academia collaboration projects. He also created and coordinates PUC-Rio's specialization courses in Software Engineering and Full Stack Development through CCEC PUC-Rio, demonstrating his commitment to bridging academic research with industry needs. His leadership in bringing ICSE 2026 to Brazil represents a significant milestone for the software engineering community in Latin America.

• Software Engineering for Data Science and Artificial Intelligence
• Requirements Engineering
• Software Process and Product Quality
• +3 more

Edward Hermann Haeusler is an Associate Professor in the Department of Computer Science at Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio). He has been affiliated with PUC-Rio since 1991, following postdoctoral research at Aarhus University (1994) and Tuebingen University (2003). His research focuses on Proof Theory, Automated Theorem Proving, Category Theory, and their applications in software development and validation. Education: Bachelor of Science in Mathematics, Universidade de Brasília (1983) Master of Science in Computer Science, PUC-Rio (1986) Doctor of Science in Computer Science, PUC-Rio (1990) Research Interests: Structural and computational complexity, formal methods, logical reasoning, and semantics. He co-authored a Portuguese textbook on Category Theory for Computer Science with Paulo Blauth Menezes. Projects: Coordinated major initiatives such as the Semantics via Proof Theory (DAAD-CAPES), Mathematical and Engineering Foundations for Interoperability via Architecture of Software (CNPQ/NSF), and the Formal Methods and Logical Reasoning thematic laboratory (TecMF) at PUC-Rio. Academic Contributions: Supervised over 20 PhD students and participated in events like the Brazilian Logic Conference and UNILOG. Celebrated his 50th birthday with a Festschrift event during LSFA 2012.

• Proof Theory
• Automated Theorem Proving
• Category Theory
• +7 more