Course projects may be theoretical or experimental. Ideally, in keeping with the nature of this field, projects will develop or apply theoretical ideas to solve practically relevant problems. We welcome and encourage suggestions from students for projects. Projects can be broadly classified as being concerned with verification problems or the application of verification tools to solve problems ...

Nowadays, project selection is a vital decision in many organizations. Because competition among research projects in order to gain more budgets and to attain new scientific domain has increased. Due to multiple objectives and budgeting restrictions for academic research projects have led to the use of expert system for decision making by academic and research centers. The existing methods suff...