Interests / Fields

Computer science Artificial intelligence Artificial neural network Flash file system Bounded function Adversarial system Computer security Computation Deep learning MNIST database Function type Symbolic execution Theoretical computer science Programming language Stochastic process Soundness Probabilistic logic Qualitative reasoning Robustness Existential quantification

Publications List