Personal Information
Organization / Workplace
Curitiba Area, Brazil, Paran谩 Brazil
Occupation
Associate Professor at UTFPR
Industry
Education
Website
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
Contact Details
Tags
agile
agile software development
coding dojo
utfpr
濒贸驳颈肠补
elixir
tdd
test-driven development
meetups
logic
"m茅todos 谩geis"
logica
erlang
programming
pesquisa
junit
pareada
extrema
scrum
xp
testes
desenvolvimento
games
jogos
unreal
unreal engine
prgramao
geis
programao
gil
ageis
mtodos geis
desenvolvimento dirigido por testes
mestrado profissional
computacao aplicada
ppgca
bsi
sistemas
informao
universidade
paraconsistency
books
kondo
functional programming
hackathons
coderetreats
coding dojos
encontros
linguagem de programacao
辫谤辞驳谤补尘补莽茫辞
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
谩驳颈濒
See more