Personal Information
Unternehmen/Arbeitsplatz
Saarbrücken Area, Germany Germany
Beruf
PhD student in Computer Science
Branche
Technology / Software / Internet
Tags
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
Mehr anzeigen
Präsentationen
(6)Gefällt mir
(6)Backus Naur and Chomsky Normal Forms
Ashutosh Pandey
•
Vor 14 Jahren
Internationalisation: 2200+ different ways to view a website
Eduardo Shiota Yasuda
•
Vor 9 Jahren
Deep C
Olve Maudal
•
Vor 12 Jahren
Aadhaar at 5th_elephant_v3
Regunath B
•
Vor 11 Jahren
5 killer ways to open up your next presentation
Big Fish Presentations
•
Vor 10 Jahren
Class of 2013: Master These 15 Simple Skills
Dave Kerpen
•
Vor 10 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Saarbrücken Area, Germany Germany
Beruf
PhD student in Computer Science
Branche
Technology / Software / Internet
Tags
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
Mehr anzeigen