Viviane
M. Bonadia dos Santos
I am a Ph.D. student under the supervision of Professor Leliane Nunes de Barros in the area of Automated Planning, a branch of Artificial Intelligence.
I work in the Logics, Artificial Intelligence and Formal Methods Lab, which is part of the Computer Science Department at the University of São Paulo.
I work in the Logics, Artificial Intelligence and Formal Methods Lab, which is part of the Computer Science Department at the University of São Paulo.
