Ruy De Queiroz

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