Akram El-Korashy

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