CURRICULUM VITAE (18/09/2022)

CURRÍCULO LATTES

CONHECIMENTOS DE PROGRAMAÇÃO:

• Muita experiência em C, Pascal, Prolog, Assembly Intel, SQL, Java e TotalCross, HTML, JavaScript, PHP e Laravel
• Média experiência em SuperWaba, Lisp (Scheme), Assembly Mips, Delphi, C++, C# e JQuery
• Experiência básica em Basic, Lua, HTML5 e AJAX
• Conhecimentos básicos de XML, SmallTalk e ML

OUTROS CONHECIMENTOS EM INFORMÁTICA:

• Experiência média com AutoCad
• Experiência média com Modelagem da Essência e básica com UML
• Experiência média em programação em ambiente Unix (Linux/Minix) e básica em ambiente Windows
• Experiência básica no uso do IUP-C e conhecimentos básicos sobre Open GL
• Experiência básica com SMV (Symbolic Model Verifier), Maude e Real-Time Maude
• Experiência básica com o provador de teoremas PVS (Prototype Verification System)
• Experiência média com o provador de teoremas Jape
• Conhecimentos básicos sobre o provadores de teoremas HOL (High-Order Language) e Isabelle
• Experiência grande em programação concorrente (pThreads, Java)
• Experiência média no uso de Cenários e Léxico
• Uso confortável do ambiente Unix (Linux/Minix)
• Capacidade de instalar Windows e Linux em um PC corretamente
• Conhecimentos grandes sobre o funcionamento do otimizador do Oracle 8i
• Conhecimentos médios sobre armazenamento e indexação do Oracle 8i
• Conhecimentos médios sobre teoria das categorias
• Conhecimentos médios sobre ADLs (linguagens de descrição de arquitetura)
• Conhecimentos médios sobre redes de alta velocidade e QoS
• Experiência média com o uso de Lex e Yacc
• Conhecimentos médios sobre a semântica de linguagens de programação
• Experiência básica com o Edinburgh Concurrency Workbench para CCS e SCCS
• Conhecimentos básicos sobre teoria dos tipos e lógica de alta ordem
• Conhecimentos básicos sobre lógica de segunda ordem
• Conhecimentos grandes sobre teoria da prova e lógica modal
• Conhecimentos grandes sobre computabilidade e lambda calculus
• Experiência média com BAN e conhecimentos médios sobre criptografia
• Conhecimentos grandes sobre complexidade computacional
• Conhecimentos grandes sobre a teoria de agentes inteligentes e sistemas multi-agentes
• Conhecimentos médios sobre árvores de decisão
• Experiência grande em desenvolvimento de sistemas de gerência para bancos de dados em dispositivos móveis
• Experiência média em desenvolvimento de aplicações para dispositivos móveis
• Experiência média em desenvolvimento de plataforma para desenvolvimento de aplicações em desenvolvimento móveis
• Conhecimentos básicos sobre struts 1
• Experiência média em servidores da web e TomCat
• Conhecimentos básicos sobre governança em TI e atendimento ao usuário
• Experiência básica e conhecimentos médios de Joomla!
• Experiência média em CodeIgniter
• Experiência grande em PostgreSQL
• Experiência grande em MariaDB
• Experiência média em dotProject
• Experiência básica em Docker

CONHECIMENTOS EM OUTRAS ÁREAS:

• Experiência básica em gerência de projetos de informática
• Conhecimentos médios sobre TBC (treinamento baseado em computador)
• Conhecimentos médios sobre liderança
• Conhecimentos grandes sobre educação a distância e educação baseada na WEB
• Conhecimentos médios sobre o Estatuto do Servidor Público Federal
• Conhecimentos básicos de Direito Constitucional
• Conhecimentos básicos de Direito Administrativo
• Conehcimentos básicos de Direito Trabalhista
• Conehcimentos básicos sobre condução de entrevistas e reuniões