Name:Lennon Chaves

Country:Brazil

Affiliation:Federal University of Amazonas, Brazil

Research interests:Formal Verification, Formal Synthesis, Digital Systems, UAV Models