Enterprise Software, Big data

Data Mining, Text Mining, Machine Learning, Big Data Analytics

Cryptographic Hardware Design, Computer Architectures

Software Testing Software Development Machine Learning

software verification and validation, concurrency theory, linearizability, deductive verification, developing testing methods with provable guarantees, proposing reasoning mechanisms for shared-memory and distributed concurrent programs focusing on block-chain platforms