Software Testing Software Development Machine Learning

Network security, Cybersecurity, Security Economics, Socio-technical security, Privacy

Learner modeling Predictive modeling Adaptive e-learning Personalization Clickstream data mining

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