جستجوی استاد راهنمای دانشگاهی

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
• +۷ مورد دیگر

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
• +۵ مورد دیگر

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
• +۷ مورد دیگر