Interests / Fields

Computer science Machine learning Artificial intelligence Adversarial system Deep neural networks Artificial neural network Statistical hypothesis testing MNIST database Sampling Model checking Concolic testing Symbolic execution Computer security Water treatment system Probabilistic logic Theoretical computer science Cyber-physical system Big data Statistical model Empirical research

Publications List