Software Testing Software Development Machine Learning

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