Journal of Information Security and Cryptography (Enigma)

Roberto Lins Carvalho
Witty Group leader for artificial intelligence and knowledge visualization fields

Roberto Lins de Carvalho did his PhD. on in- formatics at University of Toronto (1974), MSc. on informatics at Pontifical Catholic University of Rio de Janeiro - PUC Rio (1969), under graduation on telecommunication engineering at Military Engi- neering Institute - IME (1967) and under graduation military studies at Military Academy of Agulhas Negras - AMAN (1961). Lectured at Pontifical Catholic University of Rio de Janeiro, Campinas University, Fluminense Federal University, Aeronau- tics Technological Institute and Military Engineering Institute, where supervised several master dissertations and doctoral thesis on theorem proving, knowledge base systems and knowledge representation. Over fourteen years is the leader of Witty Group coaching artificial intelligence computer applications and is retired from Scientific Computing Brazilian National Laboratory - LNCC. 

Flávio Luis Mello
Assistant Professor at Electronics and Computation Engineering Department from Polytechnic School at Federal University of Rio de Janeiro

Flávio Luis de Mello did his DSc. on theory of computation and image processing at the Federal University of Rio de Janeiro - UFRJ (2006), MSc. on computer graphics at Federal University of Rio de Janeiro - UFRJ (2003), under graduation on systems engineering at Military Engineering Institute - IME (1998). Developed command and control systems and implemented military messages interchange ap- plications during twelve years as Brazilian Army officer. Responsible for developing software appli- cations based on theorem proving, knowledge base systems and knowledge representation from Witty Group. Associate Professor at the Electronics and Computing Department (DEL) of Polytechnic School (Poli) at Federal University of Rio de Janeiro (UFRJ) since 2007.