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
Desenvolvimento Guiado Por Testes
Guilherme Chapiewski
•
15 years ago
Manifesto 2.0
SEA Tecnologia
•
14 years ago
Drunkenomics - The Story of Bar Stool Economics
slides2407
•
14 years ago
Logica Algoritmo 01 Introducao A Logica
Regis Magalhães
•
15 years ago
The Financial Crisis: an Historical Perspective
Chris Hulls
•
15 years ago
Projeto de Pesquisa
silvanatsal
•
16 years ago
Lógica Proposicional
Joaquim Duarte
•
16 years ago
Formas de Inferência Válida e Falácias Formais sl
Joaquim Duarte
•
16 years ago
GNU/Linux - uma alternativa
Fábio Emilio Costa
•
17 years ago