Home
Research Areas
Projects
People
Contact
English
English
Português
Haniel Barbosa
Assistant Professor
Interests
Formal Methods
Formal Verification
Program Synthesis
Automated Reasoning
Satisfiability Modulo Theories
