Adolfo Neto
379
Seguidores
Personal Information
Organização/Local de trabalho
Curitiba Area, Brazil, Paraná Brazil
Cargo
Associate Professor at UTFPR
Setor
Education
Sobre
Teacher and research scientist in Computer Science. Particularly interested in theorem proving, logic for computer science, software development and agile methods.
Specialties: Theorem Proving, Tableaux, Logics of Formal Inconsistency
Java, Eclipse
Marcadores
agile
agile software development
elixir
coding dojo
lógica
utfpr
games
jogos
unreal
unreal engine
programming
erlang
meetups
test-driven development
"métodos ágeis"
pesquisa
logic
tdd
logica
desenvolvimento
testes
xp
scrum
extrema
pareada
junit
books
kondo
functional programming
hackathons
coderetreats
coding dojos
encontros
linguagem de programacao
programação
paraguai
agil
kanban
design
testing
software engineering
social aspects
learning
probability
materials science
artificial intelligence
business intelligence
paleo
noakes
lowcarb
nutrition
diet
"agile methods"
research
ágil
ageis
prgramao
geis
programao
gil
mtodos geis
desenvolvimento dirigido por testes
mestrado profissional
computacao aplicada
ppgca
bsi
sistemas
informao
universidade
paraconsistency
Ver mais
- Apresentações
- Documentos
- Infográficos
How Google Works
Eric Schmidt
•
Há 9 anos
Rethinking the Mobile Web by Yiibu
Bryan Rieger
•
Há 13 anos
Brain Rules for Presenters
garr
•
Há 16 anos
Programação Orientada a Gambiarra
Josenaldo de Oliveira Matos Filho
•
Há 10 anos
Projeto de Pesquisa
silvanatsal
•
Há 16 anos
Lógica Proposicional
Joaquim Duarte
•
Há 16 anos
Aula 4 - Teste de mesa
Pacc UAB
•
Há 10 anos
Why most presentations suck
Slideware Manager
•
Há 15 anos
Testing at Spotify
Andrii Dzynia
•
Há 8 anos
Livro De Metodologia CientíFica
Universidade Federal do Oeste Pará
•
Há 16 anos
The Silence of Agile
Steve Rogalsky
•
Há 11 anos
PhD-Program Preparation for Successful Post-PhD Career
Tao Xie
•
Há 10 anos
Introdução à Revisão Sistemática da Literatura
Fernando Kenji Kamei
•
Há 12 anos
Guy Kawasaki's foreword for Presentation Zen
garr
•
Há 14 anos
Documentation in the agile software development process
Fabian Kiss
•
Há 12 anos
Formas de Inferência Válida e Falácias Formais sl
Joaquim Duarte
•
Há 16 anos
Listas em Prolog
Natã Melo
•
Há 12 anos
How to Get My Paper Accepted at Top Software Engineering Conferences
Alex Orso
•
Há 10 anos
Clean code
Bulat Shakirzyanov
•
Há 13 anos
A non-technical introduction to ChatGPT - SEDA.pptx
Sue Beckingham
•
Há 1 ano