Thesis A CategoryTheoretic Approach to Representation and Analysis of Inconsistency in Gra.pdf

Mehrdad Sabetzadeh – Curriculum Vitae Department of Computer Science University of Toronto 10 King’s College Rd. +1 (416) 946–5237 Toronto, ON M5S 3G4 mehrdad@ Canada /∼mehrdad Research Interests Model-based software engineering, particularly automated techniques for construction, integration, and analysis of models built during the requirements and design phases. Requirements engineering, conceptual modelling, model management, reasoning in the presence of incompleteness and inconsistency, feature interaction analysis, traceability, category theory, and mathematical logic. Education University of Toronto, Toronto, Canada 2003 – June 2008 (Expected) Ph.D., Computer Science Thesis: Management of Incomplete and Inconsistent Views Supervisor: Prof. S. Easterbrook University of Toronto, Toronto, Canada 2002 – 2003 M.S., Computer Science Thesis: A Category-Theoretic Approach to Representation and Analysis of Inconsistency in Graph-Based Viewpoints Supervisor: Prof. S. Easterbrook Sharif University of Technology, Tehran, Iran 1996 – 2000 B.S., Software Engineering Honours and Awards C.C. Gotlieb (Kelly) Graduate Fellowship 2007 Ontario Graduate Scholarship (OGS) 2007 – 2008 ACM SIGSOFT Distinguished Paper (ICSE’07) 2007 SIGSOFT CA