Computer Programming-I
Data Structures and Algorithms
Human-Computer Interaction
Formal Methods in Software Engineering
Machine Learning
User Interface Design and Development
Programming Languages: Concepts and Paradigms
Web Engineering
Introduction to Operating Systems
Discrete Mathematics for Computing
ARTIFICIAL Intelligence
National Institute of Technology, Srinagar
Srinagar , India
Indian Institute of Technology, Delhi
New Delhi , India
University of Glasgow
Glasgow , Scotland
9/24/1996 - 3/31/2010
King Saud University
Riyadh,Saudi Arabia
4/1/2010 - 6/25/2012
9/30/2012 - 6/25/2013
Salman bin Abdulaziz University
Al Kharj,Saudi Arabia
10/1/2013 - 4/15/2022
Prince Sultan University
Association of Computing Machinery
Sustainability (Switzerland) 2020-11-02
Sride: An online system for multi-hop ridesharing
International Journal of Intelligent Systems 2011-11-01
A hybrid algorithm for finding minimal unsatisfiable subsets in over-constrained CSPs
International Journal on Artificial Intelligence Tools 2011-02-01
Direct algorithms for finding minimal unsatisfiable subsets in over-constrained CSPs
