 |
STAFF
— Dr. Adwoa Donyina Hons. BSc. (University of Toronto 2007), MSc Distinction (University of Leicester 2008), PhD (University of Leicester 2011)
Associate Tutor
|
(Virtual Office) Ken Edwards Building School of Computing and Mathematical Sciences, University of Leicester, University Road, Leicester, LE1 7RH.
E: ad353(at)le.ac.uk
|
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 am currently working at University of Leicester, Computer Science department as an Associate Tutor for Distance Learning MSc Programmes.
-
PhD Thesis: Adwoa Donyina. Stochastic Modelling and Analysis of Dynamic Human-Resource Allocation (StADy). University of Leicester, Computer Science Department. Thesis Oct 2011.
-
MSc Dissertation:Adwoa Donyina. SAPIAN-VTHS (Virtual Teaching Hospital System)
Electives networking project. University of Leicester, Computer Science Department. Masters Disertation Sept 2008.
On 1 October 2012, I was appointed as an Associate Tutor for the Computer Science Distance Learning MSc Programme Department of Computer Science , University of Leicester. I previously worked at the Department of Computer Science , University of Leicester as a Graduate Teaching Assistant, during my doctorial studies (PhD) [2008-2011]
-
Associate Tutor of Masters Degree Module: CO7307 - Generative Development (Distance Learning)
-
Associate Tutor of Masters Degree Module: CO7314 - Service Oriented Architecture (Distance Learning)
-
Associate Tutor of Masters Degree Module: CO7306 - System Reengineering (Distance Learning)
-
Associate Tutor of Masters Degree Module: CO7315 - Advanced Web Technology (Distance Learning)
-
Associate Tutor of Masters Degree Module: CO7317 - Domain Specific Language (Distance Learning)
-
Associate Tutor of Masters Degree Module: CO7308 - Software Measurement and Quality Assurance (Distance Learning)
- Day: Thursday
- Time: 5 pm - 7 pm GMT
- Location: Skype
- Day: Friday 7 December
- Time: 5 pm - 7 pm GMT
- Location: Skype
- Day: Monday
- Time: 13:00-14:00
- Location: CW Cityside Lab (CW301 Help desk)
- Day: Wednesday
- Time: 11:00-12:00
- Location: CW Cityside Lab (CW301 Help desk)
- 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
- Presented my paper at: Fifth International Conference on Graph Transformation (ICGT 2010) University of Twente, Enschede, The Netherlands 27 September - 2 October, 2010
- Presented my paper at: SEEFM'09
4th South-East European Workshop on Formal Methods
"Formal Methods for Web Services", and
"Formal Methods for Agent-based Systems"
City College (www.city.academic.gr)
South-East European Research Centre SEERC (www.seerc.org)
Thessaloniki, Greece, 5 December 2009
- External Reviewer:The 8th European Conference on Web Services, ECOWS 2010, Ayia Napa, Cyprus, 1-3 December 2010
- External Reviewer: Fifth International Conference on Graph Transformation (ICGT 2010) University of Twente, Enschede, The Netherlands 27 September - 2 October, 2010
- External Reviewer: 25th IEEE/ACM International Conference on Automated Software Engineering, ASE 2010, Antwerp, Belgium, 20-24 September 2010
- External Reviewer: 6th European Conference on Modelling Foundations and Applications, ECMFA 2010, University of Pierre and Marie Curie, Paris, France, 15-18 June 2010
- External Reviewer: 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 22-26, 2010
- External Reviewer: Special Journal Issue: International Journal of Business Process Integration and Management (IJBPIM) on Dynamic and Declarative Business Processes (DDBP 2008). Oct-Dec 2009 issue
- External Reviewer: 4th South-East European Workshop on Formal Methods "Formal Methods for Web Services", and "Formal Methods for Agent-based Systems", SEEFM 2009 Thessaloniki, Greece, 5 December 2009
- External Reviewer: 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009
- External Reviewer: 2nd International Conference on Software Language Engineering, SLE 2009, Denver, CO, USA, October 5-6, 2009
- External Reviewer: 25th Annual ACM Symposium on Applied Computing Track on Service Oriented Architectures and Programming
,ACM SAC, Sierre, Switzerland. 21 - 26 March, 2010
- External Reviewer: Second International Workshop on Dynamic and Declarative Business Processes (DDBP 2009) Auckland, New Zealand, September 1st, 2009.
All aspects of Software Engineering in particular:
- Graph Transformations
- Software-Oriented Architectures
- Domain Specific Languages
- Agent-Based Systems
- Business process modeling in particular BPEL4People, WS-HumanTask and BPMN (Business Process Modeling Notation)
PhD Student Representative (2008-2010) for the Department of Computer Science , University of Leicester.
 Canada Flag
| |