Curriculum Vitae

Complete CV

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


Short CV
Full Name

Wilkerson de Lucena Andrade


Education

2007 2011

PhD in Computer Science.
Federal University of Campina Grande, UFCG, Brazil.
Subject: Symbolic Model-Based Testing for Real-Time Systems.
Supervisor: Patrícia Duarte de Lima Machado.
Scholarship: CAPES.

2006 2007

MSc in Computer Science.
Federal University of Campina Grande, UFCG, Brazil.
Subject: Interaction Test Case Generation for Mobile Phone Applications.
Supervisor: Patrícia Duarte de Lima Machado.
Scholarship: CNPq.

2002 2005

BSc in Computer Science.
Federal University of Campina Grande, UFCG, Brazil.


Professional Activities

11/2012  Present

Courses: Programming I, Programming Laboratory I, and Formal Methods
Activity: Teacher
Federal University of Campina Grande,  Campina Grande - PB, Brazil.

08/2011  11/2012

Courses: Programming I, Programming Laboratory I, and Data Structures and Algorithms Laboratory
Activity: Teacher
Federal University of Campina Grande,  Campina Grande - PB, Brazil.

02/2011  06/2011

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

02/2010 06/2010

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

08/2009 12/2009

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

08/2008 07/2009

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


Research Projects

2011 – Present

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.

  2009 – 2011

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.

2008 – 2010

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.

2005 – 2009

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.

2004 – 2004

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

2003 – 2005

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.

2003 – 2005

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.


Selected Publications



Awards

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).


Linguistic Skills

Portuguese: Natural language
English: Advanced
French: Intermediate