My complete CV is available on Lattes Database (in Portuguese only)

Wilkerson de Lucena Andrade

Courses: Programming I, Programming Laboratory I, and Data Structures and Algorithms Laboratory

Activity: Teacher
Federal University of Campina Grande,  Campina Grande - PB, Brazil.

Course: Programming Laboratory I
Activity: Teacher
Federal University of Campina Grande,  Campina Grande - PB, Brazil.

Courses:  Applied Logic for Computer Science, Software Engineering, and Advanced Software Project I
Activity: Teacher
Federal University of Paraíba, Rio Tinto - PB, Brazil.

Courses:  Applied Software Engineering and Scientific Method
Activity: Teacher
Federal University of Paraíba, Rio Tinto - PB, Brazil.

Courses: Software Engineering and Educational Programming Language
Activity: Teacher
Paraíba State University, Campina Grande - PB, Brazil.

Reliability and Safety at Critical Embedded Software
Activity: Researcher
Description: The main goal of this cooperation between UFCG, UFRN, and UFPE is targeted on providing theoretical foundation and technology for the development of correct and safe critical embedded software, based on the application of formal modeling techniques, automatic generation, model checking and validation through software testing.

TReaTiES: Test of Real-Time Embedded Systems
Activity: Researcher
Description: The cooperation (INRIA-France / UFCG / UFPE) is targeted on the use of formal models and techniques for model-based testing of embedded systems. The main objective is to share some knowledge and experience in order to make common advances in this research domain. This cooperation will consider several research directions. Firstly, we aim to investigate models of heterogenous software systems with enlarged features such as non-determinism, recursion, time, interruption and compositionality. Secondly, we aim to focus on testing from partial models by generating them from abstract test cases and observed behavior. The idea is to incorporate incremental learning techniques into a formal validation process. Thirdly, we aim to improve current test case generation techniques by considering semantic rather than structural coverage criteria as well as the conformance relation and model checking coverage criteria. Conformance relations should also be investigated based on failure-divergence on process algebraic models. Additionally, test case generation for conformance testing with the help of diagnosis and controller synthesis is also going to be pursued. Finally, we aim to investigate automated test case selection strategies based on similarity functions.

Combining Formal Methods and Testing Techniques in Real-Time Embedded Systems Development
Activity: Researcher
Description: The main goal of this cooperation between UFCG, UFRN, and UFPE is targeted on the combined use of formal methods and testing techniques for testing real-time embedded systems.

Brazil Test Center Research Project
Activity: Researcher
Description: The main goal of the project (cooperation between Motorola, UFCG, and UFPE) is to define an integrated process for generating, selecting and evaluating mobile phone applications test cases.

Laboratories of Research and Development in iDEN - UFCG/Motorola
Activity: Researcher and Developer
Description: Research and development using the iDEN technology.

Analysis and Implementation of Quantum Neural Network Models
Activity: Researcher
Description: The objective of this work is to perform an analysis of existing models of Quantum Neural Networks, propose a new model from the most important features identified in the analysis, and build an implementation of the proposed model based on a quantum circuit simulator.

Component Functional Testing Automation from UML/OCL Specifications
Activity: Researcher and Developer
Description: The objective of this project is to design and implement a set of tools to support the functional test of software components.

2012 – “Best Tool” Award for the SYMBOLRT tool in 3rd Brazilian Conference on Software: Theory and Practice (CBSoft 2012), Brazilian Computer Society (SBC).

2005 - “Professor Átila Augusto Freitas de Almeida” Award for having achieved the best academic performance among all graduating students from Federal University of Campina Grande.

2004 – “Best Tool” Award for the SPACES tool in 18th Brazilian Symposium on Software Engineering (SBES'2004), Brazilian Computer Society (SBC).

Portuguese: Natural language
English: Advanced
French: Intermediate