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

Joaquim Armando Pires Jorge is a Full Professor at Instituto Superior Técnico, University of Lisbon, where he holds the UNESCO Chair on AI & Virtual Reality. He is also an Adjunct Full Professor at Victoria University of Wellington and an Honorary Invited Professor at the Catholic University of Rio de Janeiro. His career spans AI, VR, and human-centered computing, with leadership roles in IEEE Computer Society, ACM/SIGGRAPH, and Eurographics. Teaching: Computer Graphics, VR, and Human-Computer Interaction (HCI) Leadership: IEEE Computer Society Board of Governors (2023–present), ACM Europe Council (2015–2019) Research: 400+ peer-reviewed publications, focusing on VR, AI ethics, and interactive systems Jorge’s research bridges theoretical and applied computing, emphasizing ethical AI, reproducible science, and immersive technologies. His work includes foundational contributions to pseudo-haptics, gamification in education, and 3D user interfaces. He advocates for open science and global collaboration in XR (Extended Reality) development. His publications span topics like NFTs, remote assistance in MR (Mixed Reality), and gamified learning analytics, reflecting a career dedicated to innovation in graphics, interaction, and education. Notable awards include IEEE Fellow (2025), IEEE Golden Core (2024), and IFIP Silver Core (2014). He has supervised 18 doctoral theses and 70+ MSc dissertations, including Pedro Duarte Parreira’s Fraunhofer-winning MSc thesis (2016). As Editor-in-Chief of Computers & Graphics (since 2007) and IEEE Computer Society Publications Board member (2025–present), he shapes academic discourse in computing. Selected Awards IEEE Fellow (2025) Golden Core Award (2024) IFIP Silver Core (2014) Best Paper Award, IEEE CG&A (2011) Fellow, Eurographics Association (2010)

• Computer Graphics
• Virtual Reality
• Human-Computer Interaction
• +5 more

Augusto Sampaio is a Full Professor in Software Engineering at the Center of Informatics (CIn), Federal University of Pernambuco (UFPE), Brazil. He holds a CNPq top-level Productive Researcher scholarship since 1995 and has coordinated major national/international projects, including the EU-funded COMPASS project and the Brazilian National Institute for Science and Technology (INCT) on Software Engineering. His work spans formal methods, model-based testing, and industry collaboration, notably with Motorola, Embraer, and The Blockhouse Technology. Contributed to linking algebraic and operational semantics, formal testing, and smart contract verification. Led the creation of the Brazil Test Center, involving over 1,000 collaborators and pioneering 4G testing labs in the Southern Hemisphere. Developed the Software Residency program, blending academic and industrial training for software engineers. Scientific Awards : Comendador da Ordem Nacional do Mérito Científico (2010) Doctor Honoris Causa, University of York (2016) Honoured Researcher, Brazilian Software Engineering Commission (2017) Scientific Merit award, Brazilian Computer Society (2018) Augusto has supervised over 40 graduate students and contributed to academic leadership, including roles as Head of the Computer Science Department (2013-2019) and Coordinator for Industry-Academia Cooperation (2013-2019). His industry partnerships focus on formal testing, avionics analysis, and blockchain verification.

• Formal Methods
• Software Engineering
• Model-Based Testing
• +7 more

Ivan Mathias Filho serves as an Adjunct Professor in the Computer Science Department at Pontifical Catholic University of Rio de Janeiro (PUC-Rio), where he coordinates the undergraduate programs in Computer Science and Information Systems. His academic leadership spans curriculum development and program administration within the department. He holds a Bachelor's degree in Statistics from the State University of Rio de Janeiro (1992), a Master's degree in Computer Science from PUC-Rio (1996), and a PhD in Computer Science from PUC-Rio (2002). His foundational expertise bridges statistical theory and advanced computing methodologies. His research concentrates on core software engineering domains: Object-Oriented Programming paradigms and implementation Software Frameworks architecture and development UML Meta-modeling for system specification CASE Tools for automated software design No scientific awards, grants, or student advisement records are documented in available sources. Laboratory affiliations and collaborative research teams remain unspecified in current public profiles.

• Object-Oriented Programming
• Software Frameworks
• UML Meta-modeling
• +1 more

Raul Pierre Renteria serves as a Tenured Professor in the Computer Science Department at Pontifical Catholic University of Rio de Janeiro (PUC-Rio), contributing to academic instruction and departmental initiatives within the university's technical education framework. His research spans foundational and applied domains of computing, with emphasis on: Artificial Intelligence Data Science Software Engineering Algorithms Computer Networks Computer Science Professional correspondence may be directed to renteria@inf.puc-rio.br . No documented scientific awards or honors were specified in the source material. Information regarding graduate student supervision, research funding, or laboratory affiliations remains unavailable in the provided context.

• Computer Science
• Artificial Intelligence
• Data Science
• +3 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

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

Marco Tulio Valente is an Associate Professor in the Department of Computer Science at the Federal University of Minas Gerais (UFMG). His research focuses on software engineering and applied systems development. Research Group: Applied Software Engineering Research Group (ASERG) Books Authored: Engenharia de Software Moderna, Software Engineering: A Modern Approach Contact: Av. Antonio Carlos, 6627 - Pampulha, Belo Horizonte, MG, Brazil. Phone: 55-31-3409-5860, Email: mtov@dcc.ufmg.br.

• Software Engineering
• Applied Software Engineering
• Systems Engineering

Giovani Gracioli is an Assistant Professor at the Department of Knowledge Engineering, College of Technology, Federal University of Santa Catarina (UFSC), Florianópolis. He is also a member of the Graduate Program in Computer Science and the Software/Hardware Integration Lab (LISHA). His research focuses on Embedded Operating Systems Exploiting multicore and reconfigurable architectures Concurrency and inter-processor synchronization Real-time resource management and scheduling Memory management in RTOS His recent publications emphasize embedded systems and real-time operating systems (RTOS), with studies on interrupt tracing and recording, schedulability analysis for resource access protocols, and the adaptation of systems for multicore architectures. These works align with his broader interests in concurrency, parallelism, and efficient resource management in constrained environments. He actively participates in academic events as a program committee member and organizational chair for conferences like ECRTS, RTSS, and SBESC. For research collaboration or advising opportunities, interested students can contact him via email at giovani@lisha.ufsc.br or phone +55 48 3721-2318.

• Embedded Operating Systems
• Multicore and Reconfigurable Architectures
• Concurrency
• +4 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

Joísa de Souza Oliveira is a Tenured Professor at the Computer Science Department of Pontifical Catholic University of Rio de Janeiro (PUC-Rio). Her work focuses on foundational areas of computer science including algorithms, data structures, and software engineering. She can be contacted via email at joisa@inf.puc-rio.br.

• Computer Science
• Artificial Intelligence
• Data Structures
• +3 more

José Carlos Ramalho Moreira is an Assistant Professor at the Computer Science Department of the Pontifical Catholic University of Rio de Janeiro (PUC-Rio), affiliated with the School of Engineering . His academic role centers on teaching and research within computer science disciplines. Fields of Interest: Computer Science, Software Engineering, Data Structures, Algorithms, Databases, Artificial Intelligence

• Computer Science
• Software Engineering
• Data Structures
• +3 more

Luiz Fernando Bessa Seibel is a Tenured Professor in the Computer Science Department at Pontifical Catholic University of Rio de Janeiro (PUC-Rio). His work appears to intersect with academic coordination and teaching within the department, as indicated by his involvement in graduation programs and course-related sections listed in the institutional webpage. Research Focus : While specific research lines are not explicitly detailed, his affiliation with the Computer Science Department suggests expertise in foundational areas of computing, including software engineering, algorithms, data structures, and database systems. Contact : Email: seibel@inf.puc-rio.br

• Computer Science
• Software Engineering
• Data Structures
• +3 more

Marcantonio Giuseppe Maria Carlo Fabra is a Tenured Professor in the Department of Computer Science at Fundação Getulio Vargas (FGV), a leading Brazilian university. His work focuses on postgraduate education coordination, technological innovation, and academic mentorship in computer science disciplines. He actively contributes to graduate programs through: Final Project Presentation Schedule organization Postgraduate Defense Presentation Schedule management Graduation coordination Specialization and extension program development Research interests include technological innovation and computer science education. He participates in: Technological Innovation Centers NIT Laboratories Startup incubation initiatives Contact: marcantonio.fabra@fgv.br Visit his academic profile at: Lattes CV Personal Website

• Computer Science
• Technological Innovation
• Postgraduate Education
• +3 more

Marcos Vianna Villas serves as a Tenured Professor in the Department of Computer Science at the Pontifical Catholic University of Rio de Janeiro (PUC-Rio), a leading institution in Latin American higher education. His primary academic affiliation centers within the Department of Computer Science, where he contributes to undergraduate and postgraduate programs including course instruction, thesis supervision, and research coordination. Contact is maintained through his institutional email villas@puc-rio.br and personal website http://www.inf.puc-rio.br/~villas , with his complete academic record documented in Brazil's national Lattes CV system ( http://lattes.cnpq.br/9212655972228646 ). Professor Villas' research spans critical domains of modern computing, with foundational expertise in Distributed Systems and Networking. His work particularly addresses challenges in Wireless Sensor Networks and Internet of Things architectures, focusing on scalability, energy efficiency, and real-time data processing in resource-constrained environments. These research trajectories reflect significant contributions to developing robust communication protocols and middleware solutions for next-generation distributed applications. Scientific Awards: No specific awards or honors were documented in the provided source material Advising and Research Funding: While active supervision of postgraduate students is implied through departmental roles in thesis defense coordination and postgraduate seminars, no named advisees were listed in the source text Research grant details or funding sources were not specified in the available information Research Infrastructure: Departmental context indicates potential involvement with PUC-Rio's Technological Innovation Centers (NIT) and specialized laboratories, though specific lab affiliations or team memberships were not explicitly stated

• Computer Science
• Distributed Systems
• Networking
• +3 more