Haniel Barbosa -

Registered user since Thu 31 Oct 2024

Name:Haniel Barbosa

Country:Brazil

Affiliation:Universidade Federal de Minas Gerais

Personal website: https://hanielbarbosa.com/

Contributions

2027

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

VMCAI

Committee Member in Program Committee within the VMCAI 2027-track

2026

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

FormaliSE

Committee Member in Program Committee Members within the Research Track-track

CPP

Author of Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions within the CPP 2026-track

VMCAI

Author of Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver within the VMCAI 2026-track

2025

VMCAI

PC Member in Program Committee within the VMCAI 2025-track