Associate Professor, CSE Dept, East West University
Industry
Education
About
Research Interest and Specialties:
Requirement Engineering
Software Product Line
Logic based verification and Theorem proving
Verifying language properties
Semantic models
Modelling business transactions