Personal Information
Unternehmen/Arbeitsplatz
Recife, Pernambuco Brazil
Beruf
Professor Titular
Branche
Education
Webseite
www.cin.ufpe.br/~ruy
Tags
homotopy type theory
computational paths
privacidade
fundamental group
criptografia
propositional equality
identity types
type theory
intuitionistic type theory
identity type
lambda calculus
bitcoin
wittgenstein
segurança
meaning is use
homotopy
homotopies
teoria de tipos
algebraic topology
proof theory
lei geral de proteção de dados
paths
criptografia de chave pública
brouwer
cibersegurança
tecnologias exponenciais
lei da disrupção
regulação 2.0
criptomoeda
hacktivismo
alan turing
vale do silício
teoria da prova
cidadania digital
theory of computation
kan complex
decentralized finances
smart contracts
proof of work
nakamoto consensus
cryptocurrency
data science
machine learning
ciência de dados
aprendizagem de maquina
criptanálise
peirce game semantics
game semantics
dialogue logic
reduction rules
tractatus
social production
open source
ethics in artificial intelligence
end-to-end encryption
intermediary liability
ghost work
free speech
moore's law
tech policy
law and technology
algoritmo
teoria da computação
proof-of-work
permissionless
blockchain
consensus
caminhos computacionais
labelled natural deduction
lattice-based cryptography
post-quantum cryptography
average-case complexity
modern cryptography
cryptography
cybersecurity
internet das coisas
privacy
internet of things
surveillance capitalism
capitalismo de vigilância
proofs of equality
proteção de dados pessoais
compliance
privcy
cambridge analytica
internet
democracia
deep fake
fake news
martin-lof type theory
infinity-groupoids
crescimento exponencial
lei de moore
tecnologia
assinatura digital
criptografia moderna
garantias individuais
fritz mauthner
dummett
prawitz
dialogue semantics
game-theoretical semantics
inovacao disruptiva
inovacao
cypherpunks
wikileaks
anonymous
jornalismo investigativo
prontuário eletrônico do paciente
electronic health record
anonimato
tecno-filantropo
surveillance
liberdades civis no ciberespaço
verificabilidade fim-a-fim
encriptação de chave pública
votação eletrônica
lei dos retornos acelerantes
inovação
histórico de ensino
memorial
projeto de pesquisa
titular
consumo colaborativo
peer-to-peer
economia do compartilhamento
inovação disruptiva
neutralidade da rede
net neutrality
computação em nuvem
termos de serviço
disrupção tecnológica
cloud computing
functions as rules
frege's grundgesetze
value-range
problema dos generais bizantinos
rewriting
mimi ito
john seely brown
katie salen
aprendizagem
startups
stanford
ciberativismo
undecidable problems
problemas decidíveis
problemas indecidíveis
silicon valley
stanford university
owasp
lógica
linguagem
significado
Mehr anzeigen
Präsentationen
(54)Personal Information
Unternehmen/Arbeitsplatz
Recife, Pernambuco Brazil
Beruf
Professor Titular
Branche
Education
Webseite
www.cin.ufpe.br/~ruy
Tags
homotopy type theory
computational paths
privacidade
fundamental group
criptografia
propositional equality
identity types
type theory
intuitionistic type theory
identity type
lambda calculus
bitcoin
wittgenstein
segurança
meaning is use
homotopy
homotopies
teoria de tipos
algebraic topology
proof theory
lei geral de proteção de dados
paths
criptografia de chave pública
brouwer
cibersegurança
tecnologias exponenciais
lei da disrupção
regulação 2.0
criptomoeda
hacktivismo
alan turing
vale do silício
teoria da prova
cidadania digital
theory of computation
kan complex
decentralized finances
smart contracts
proof of work
nakamoto consensus
cryptocurrency
data science
machine learning
ciência de dados
aprendizagem de maquina
criptanálise
peirce game semantics
game semantics
dialogue logic
reduction rules
tractatus
social production
open source
ethics in artificial intelligence
end-to-end encryption
intermediary liability
ghost work
free speech
moore's law
tech policy
law and technology
algoritmo
teoria da computação
proof-of-work
permissionless
blockchain
consensus
caminhos computacionais
labelled natural deduction
lattice-based cryptography
post-quantum cryptography
average-case complexity
modern cryptography
cryptography
cybersecurity
internet das coisas
privacy
internet of things
surveillance capitalism
capitalismo de vigilância
proofs of equality
proteção de dados pessoais
compliance
privcy
cambridge analytica
internet
democracia
deep fake
fake news
martin-lof type theory
infinity-groupoids
crescimento exponencial
lei de moore
tecnologia
assinatura digital
criptografia moderna
garantias individuais
fritz mauthner
dummett
prawitz
dialogue semantics
game-theoretical semantics
inovacao disruptiva
inovacao
cypherpunks
wikileaks
anonymous
jornalismo investigativo
prontuário eletrônico do paciente
electronic health record
anonimato
tecno-filantropo
surveillance
liberdades civis no ciberespaço
verificabilidade fim-a-fim
encriptação de chave pública
votação eletrônica
lei dos retornos acelerantes
inovação
histórico de ensino
memorial
projeto de pesquisa
titular
consumo colaborativo
peer-to-peer
economia do compartilhamento
inovação disruptiva
neutralidade da rede
net neutrality
computação em nuvem
termos de serviço
disrupção tecnológica
cloud computing
functions as rules
frege's grundgesetze
value-range
problema dos generais bizantinos
rewriting
mimi ito
john seely brown
katie salen
aprendizagem
startups
stanford
ciberativismo
undecidable problems
problemas decidíveis
problemas indecidíveis
silicon valley
stanford university
owasp
lógica
linguagem
significado
Mehr anzeigen