 |
STAFF
— Adwoa Donyina Hons. BSc. (University of Toronto 2007), MSc Distinction (University of Leicester 2008), PhD (University of Leicester 2011)
PhD Student, Graduate Teaching Assistant
|
G1 Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.
T: +44 (0)116 252 3904
F: +44 (0)116 252 3915
E: adwoa.donyina (at) utoronto.ca
|
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 recently passed my PhD defense on July 22nd 2011.
I was appointed to the Department of Computer Science , University of Leicester as a Graduate Teaching Assistant in September 2008.
- 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)
- 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)
PhD Student Representative (2008-2010) for the Department of Computer Science , University of Leicester.
 Canada Flag
| |
![[University Home]](/images/unihome.gif){kind=small}
|![[Faculty of Science]](/images/fac_of_science.gif){kind=small}
|![[MCS Home]](/images/schhome.gif){kind=small}
|![[CS Home]](/images/depthome.gif){kind=small}
||![[University Index A-Z]](/images/index.gif){kind=small}
|![[University Search]](/images/search.gif){kind=small}
|![[University Help]](/images/help.gif){kind=small}
|