University of Washington- Tacoma Campus
PhD Graduation of Dr. Adwoa DonyinaMSc Graduation of Dr. Adwoa Donyina Hons BSc Graduation of Dr. Adwoa Donyina

FULL-TIME LECTURER — Dr. Adwoa (Addy) Donyina 
Hons. BSc. (University of Toronto 2007),
MSc Distinction (University of Leicester 2008),
PhD (University of Leicester 2011),
PostDoc (University of Windsor, 2013)

Cherry Parkes (CP)  Rm.219
Institute of Technology
University of Washington, Tacoma Campus
Box 358426
1900 Commerce Street
Tacoma, WA
98402 USA

T: +1 253-692-4944
F: +1 253-692-5862

E: adwoad (at)

About Me

I was born and raised in Toronto, Canada.
I presented my work to Her Majesty the Queen on 4 December 2008 Press Release ,Video footage and Photos

Education / Biography

I received an Honours BSc degree in Computer Science: Software Engineering [Specialist], at the University of Toronto in 2007. In recognition of my outstanding academic achievement and excellence, I was inducted into the Golden Key International Honours Society . Then, in 2008, I was awarded MSc (Distinction) in Advanced Software Engineering at the Department of Computer Science, University of Leicester, U.K. I completed my PhD at University of Leicester, United Kingdom on 1st October 2011. I previously working at University of Windsor, Canada as a Postdoctoral Fellow and Sessional Instructor. I also previously worked at University of Leicester, UK as an Associate Tutor. I am currently a Full-Time Lecturer at University of Washington.


In Sept 2013, I was appointed to the Institute of Technology , University of Washington as Full-Time Lecturer.

Teaching Fall 2013 - Present at University of Washington

  • TCSS490/590 Advanced Software Engineering

    Topics on: System Re-engineering, Domain-Specific Languages, Generative Development, System Design and Service-Oriented Architecture encompass how to handle legacy systems, utilize model driven software development to automate code generation and understand low to high level architectures, by using Software Engineering methodologies, Refactoring, Unified Modeling Language and Eclipse.

  • TCSS497 Internship in Computing and Software Systems

    Faculty Advisor for student(s) doing Internship/Co-op

  • TCSS360 Software Development and Quality Assurance Techniques

    This course teaches how to build quality software using standard development practices and representations. This course involves writing and using requirements, designing and representing computational units, rigorous program testing, reviews and inspections and working effectively in teams.

  • TCSS305 Programing Practicum

    Provides a practicum in program design and development. Programming practice on a medium-scale, object-oriented application, consolidating prior programming principles and expanding knowledge of application design.

Teaching Winter 2013 at University of Leicester

  • Masters Degree Module: CO7307 - Generative Development (Distance Learning)

    At the end of this course the students should be able to: - Understand the role of modelling and code generation in software development - Understand concepts of Aspect Oriented Programming.

  • Masters Degree Module: CO7314 - Service Oriented Architecture (Distance Learning)

    Students should be acquainted with the conceptual and technological foundations of Service-Oriented Architectures (SOA), i.e. - the motivation, basic mechanisms, and open problems of SOA; - service-oriented development and its relation to object oriented and component-based development; - the realization of SOA based on XML and Web service technology

Teaching Fall 2012 at University of Leicester

  • Masters Degree Module: CO7306 - System Reengineering (Distance Learning)

    By the end of the module, students should be able to: understand software aging phenomenon and the issues related to it; understand the challenges in renovating and maintaining legacy software systems and the available methods for dealing with them; make reasoned decisions on which reengineering methods to apply for certain types of legacy system renovation tasks.

  • Masters Degree Module: CO7315 - Advanced Web Technology (Distance Learning)

    At the end of the course the student should be able to: understand the fundamental ideas and standards underlying Web Service and Cloud Computing Technology; discuss concepts at the frontier of industrial practice and emerging standards; link the concepts of services and business processes and understand the role and functionality of BPEL; discriminate between the major frameworks allowing to develop web and cloud services and to develop web and cloud services using the .Net framework and apply BPEL4WS.

  • Masters Degree Module: CO7317 - Domain Specific Language (Distance Learning)

    Students should be acquainted with the conceptual and technological foundations of DSLs, i.e., the motivation, basic mechanisms, and open problems of DSLs; Model-Driven Development and its relation to Object-Oriented Development; the realisation of modelling environments based on OMG standards and Eclipse technology

  • Masters Degree Module: CO7308 - Software Measurement and Quality Assurance (Distance Learning)

    Students will be able to describe how quality issues affect each aspect of the software development life-cycle. They will be able to choose appropriate strategies for software testing and validation, and discuss how to implement them. They will be able to demonstrate understanding of the theory of software metrics and be able to make software measurements in practice. They will be able to relate quality to the current standards for process improvement. Students will be able to research a given topic using a variety of sources including books, current articles and research papers and web-resources. They will be able to give a written account of their findings (suitable for inclusion in a company report). They will be able to give a seminar- style presentation of their findings using appropriate audio visual aids.

Teaching Fall 2012 and Winter 2013 at University of Windsor

  • 1st Year Undergraduate Course at University of Windsor, Canada: Computer Concepts for End-Users (60-104)

    Course Description: Introduction to the concepts of operation of a computer system, including hardware and software. Development of conceptual understanding of word processors, databases, spreadsheets, etc., and practical experience with their use. Networking concepts and data communication concepts will be introduced. The Internet will be introduced with students having access to internet resources. Management information systems including the systems development lifecycle will be discussed. Fundamental concepts of algorithm development and programming will be introduced. Hands-on experience with microcomputers as well as a distributed-computing environment will be involved. In addition to lecture time, laboratory/tutorial time may be scheduled as required.

    • Section: 1
    • Section: 30

  • 2nd Year Undergraduate Course at University of Windsor, Canada: Problem Solving and Information on the Internet (60-207)

    Students will be introduced to logic and critical appraisals including reasoning skills and critical thinking in the computer age. Problem solving and heuristics will be discussed including how to solve problems by coming up with the right strategies. Searching using Boolean logic to pinpoint useful and reliable information will be introduced. Methods for being self-critical and critical of web information in order to perform evaluations will be studied. (Prerequisites 60-104 and 60-205.)

    • Section: 1

Teaching 2010/2011

Teaching 2009/2010

Teaching 2008/2009

Service / Volunteer

  • Faculty Undergraduate Committee member (2013-Present ): Computer Science and Software Systems Committee, Institute of Technology, University of Washington, Tacoma Campus
  • Faculty Mentor for LEAD (Learn. Engage. And. Develop) Certificate (2014- Present), University of Washington
  • Faculty Graduate Committee member (2013 - 2014 ): Institute of Technology, University of Washington, Tacoma Campus
  • PhD Student Representative (2008-2010) for the Department of Computer Science , University of Leicester.

Post-doctoral Fellowship [July 2012- July 2013] University of Windsor, Ontario, Canada

During my postdoctoral fellowship and I worked on a industry project with a Cornerstone Intelligent Software Corp., which focuses on applying software engineering to the development of new software systems and re-engineering existing software. In the industry project my positions are Consultant and Lead Coordinator for Cornerstone Intelligent Software Corp. As the Consultant I am work directly with the company owner on two software project. As the lead coordinator, I supervise two research assistants (RAs), manage the progress of the work and coordinate meetings with the company and RAs.
The two software projects are as follows:
  1. the development of a mold cost estimation tool, which will be an extension software called expert-mold-designer (XMD)
  2. re-engineering and migration of a legacy system(i.e. conversion of C++ company code into C# code).


  • Adwoa Donyina. Stochastic Modelling and Analysis of Dynamic Human-Resource Allocation (StADy). University of Leicester, Computer Science Department. Thesis Oct 2011.
  • Adwoa Donyina and Reiko Heckel. Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. Post-Proceedings of the Fifth International Conference on Graph Transformation - Doctoral Symposium (ICGT-DS 2010) ECEASST Journal (1863-2122), Volume 38/2011.
  • Adwoa Donyina and Reiko Heckel. Flexible Behaviour of Human Actors in Distributed Workflows. In proceedings of the 17th Conference on "Communication in Distributed Systems 2011" (KiVS'11) in Kiel, Germany (March, 8-11, 2011). As a special issue of the ECEASST Journal (ISSN 1863-2122), Volume 37/2011, pages 134-145. Workshop WiVS ``Flexible Workflows in Distributed Systems" Workshops der wissenschaftlichen Konferenz Kommunikation in Verteilten Systemen 2011 (WowKiVS 2011)
  • Adwoa Donyina. Stochastic Modelling and Simulation of Dynamic Resource Allocation. Fifth International Conference on Graph Transformation Doctoral Symposium (ICGT-DS 2010) University of Twente, Enschede, The Netherlands 27 September - 2 October, 2010. Graph Transformations Lecture Notes in Computer Science, 2010, Volume 6372/2010, pages 388-390.
  • Adwoa Donyina and Reiko Heckel. Formal Visual Modeling of Human Agents in Service Oriented Systems. In 2009 Fourth South-East European Workshop on Formal Methods (SEEFM'09), pages 25-32, Los Alamitos, CA, USA, 2009. IEEE Computer Society.
  • Microsoft Academic Research: Author Profile


Research Interest

All aspects of Software Engineering in particular:
  • Graph Transformation
  • Service-Oriented Architectures
  • Domain Specific Languages
  • Business process modeling in particular BPEL4People, WS-HumanTask and BPMN (Business Process Modeling Notation)