Personal Information
Unternehmen/Arbeitsplatz
Curitiba Area, Brazil, Paraná Brazil
Beruf
Associate Professor at UTFPR
Branche
Education
Webseite
www.dainf.ct.utfpr.edu.br/~adolfo
Info
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
Mehr anzeigen
Präsentationen
(33)Gefällt mir
(149)A non-technical introduction to ChatGPT - SEDA.pptx
Sue Beckingham
•
Vor 1 Jahr
Why on Earth would I test if I have to just "Let it crash"?
Laura M. Castro
•
Vor 2 Jahren
Getting ready for the cloud
Daniel Fireman
•
Vor 5 Jahren
Experience in conducting 19 secondary (survey) studies in Software Engineering
Vahid Garousi
•
Vor 3 Jahren
Elixir Brasil 2019 - Quality: A Panacéia para seu código Elixir
Weverton Timoteo
•
Vor 4 Jahren
Testing at Spotify
Andrii Dzynia
•
Vor 8 Jahren
Building and Evaluating Theories in Software Engineering
Daniel Mendez
•
Vor 5 Jahren
Pattern matching - O que é? Onde vive? Do que se alimenta? Como se reproduz?
Dickson S. Guedes
•
Vor 5 Jahren
Vencendo a competição terry orlick
Janaina Braga
•
Vor 7 Jahren
Análise de Redes em Mídias Sociais: Começando sem Erros #codabr
Tarcízio Silva
•
Vor 6 Jahren
Elixir inside out
Kelvin Stinghen
•
Vor 6 Jahren
The Rising Tide Lifts All Boats: The Advancement of Science in Cybersecurity
laurieannwilliams
•
Vor 6 Jahren
Contribuindo para a comunidade Elixir
Kelvin Stinghen
•
Vor 6 Jahren
Writing Good Software Engineering Research Papers: Revisited
laurieannwilliams
•
Vor 6 Jahren
TDD is for Dreamers, not for Real Developers, Isn't It? - Entwicklertag Frankfurt 2017
Sven Amann
•
Vor 7 Jahren
Agile_BR_2016_projetos_ageis_tambem_falham
Eduardo Peres
•
Vor 7 Jahren
Aula 4 - Teste de mesa
Pacc UAB
•
Vor 10 Jahren
How to Get My Paper Accepted at Top Software Engineering Conferences
Alex Orso
•
Vor 10 Jahren
ICSE2018 presentation 2016-05-20
Ivica Crnkovic
•
Vor 7 Jahren
Gerenciamento de projetos treinamento PET Civil UFPR 2016
Ricardo Mendes Jr
•
Vor 8 Jahren
Talks2015 novdec
CS, NcState
•
Vor 8 Jahren
Maturity model for Startup Ecosystems
Daniel Cukier
•
Vor 8 Jahren
Antifragile, Microservices and DevOps - A Study
William Yang
•
Vor 9 Jahren
O Papel da Criptografia Moderna
Ruy De Queiroz
•
Vor 8 Jahren
Future se oct15
CS, NcState
•
Vor 8 Jahren
Build a Bigger Brain
Joe Kutner
•
Vor 11 Jahren
SDN Dependability: Assessment, Techniques, and Tools - SDN Research Group - IETF 93 - Praga
Stenio Fernandes
•
Vor 8 Jahren
DNAD 2015 - Métricas de código, pra que te quero?
Maurício Aniche
•
Vor 8 Jahren
Exploring the Causes of Frustration for Software Developers
Denae Ford
•
Vor 8 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Curitiba Area, Brazil, Paraná Brazil
Beruf
Associate Professor at UTFPR
Branche
Education
Webseite
www.dainf.ct.utfpr.edu.br/~adolfo
Info
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
Mehr anzeigen