Akram El-Korashy
20
Seguidores
Personal Information
Organização/Local de trabalho
Saarbrücken Area, Germany Germany
Cargo
PhD student in Computer Science
Setor
Technology / Software / Internet
Marcadores
secure-compilation
computer-science
coq
back-translation
formal-model
cheri
deep-learning
google-deepmind
question-answering
memory-networks
code-induction
neural-turing-machines
facebook-ai-research
artificial-intelligence
machine-learning
language-based-security
semantics
volpano
security
information-flow
type-systems
undecidability
goldbach-conjecture-counterexample-bruteforce
rice-theorem
information security
urdu
nastaliq
ocr
machine learning
knn
bitcoin address
bitcoin block
cryptography
bitcoins
elliptic curves
Ver mais
- Apresentações
- Documentos
- Infográficos