Personal Information
Organization / Workplace
Curitiba Area, Brazil, Paraná Brazil
Occupation
Associate Professor at UTFPR
Industry
Education
About
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
Tags
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
See more
- Presentations
- Documents
- Infographics
Gerenciamento de projetos treinamento PET Civil UFPR 2016
Ricardo Mendes Jr
•
8 years ago
Talks2015 novdec
CS, NcState
•
8 years ago
Maturity model for Startup Ecosystems
Daniel Cukier
•
8 years ago
Antifragile, Microservices and DevOps - A Study
William Yang
•
9 years ago
O Papel da Criptografia Moderna
Ruy De Queiroz
•
8 years ago
Future se oct15
CS, NcState
•
8 years ago
Build a Bigger Brain
Joe Kutner
•
11 years ago
SDN Dependability: Assessment, Techniques, and Tools - SDN Research Group - IETF 93 - Praga
Stenio Fernandes
•
8 years ago
DNAD 2015 - Métricas de código, pra que te quero?
Maurício Aniche
•
8 years ago
Exploring the Causes of Frustration for Software Developers
Denae Ford
•
8 years ago
A behavioural model for the discussion of resilience, elasticity, and antifragility
Vincenzo De Florio
•
8 years ago
Continuous Deployment and Testing Workshop from Better Software West
Cory Foy
•
8 years ago
The Problems of Surplus
Ali Anani, PhD
•
9 years ago
Estatuto do Projeto Social Liga da Justiça (Atualizado) 2.0
Daniel Bernhard
•
9 years ago
Software Craftsmanship: Agile is Not Enough
Ken Auer
•
10 years ago
A Living House in the Dead Sea
Ali Anani, PhD
•
9 years ago
Scalax
Martin Odersky
•
9 years ago
Considerations and ideas after reading a presentation by Ali Anani
Vincenzo De Florio
•
9 years ago
Text Analytics for Security
Tao Xie
•
9 years ago
Cinema, baralho e post it- formando espaços de aprendizagem
UFPE
•
9 years ago