Sidney Nogueira is a Lecturer at UFRPE. His main research interest is on the application of formal methods on software testing and verification. He has been researching methods and tools for test automation and software verification in the context of mobile, online and robotic applications.