 |
STAFF
— Adwoa Donyina Hons. BSc. (University of Toronto 2007), MSc (Distinction) University of Leicester 2008
PhD Student, Graduate Teaching Assistant, PhD Student Representative
|
F10 Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.
T: +44 (0)116 252 3440
F: +44 (0)116 252 3915
E: firstname at mcs le ac uk
|
|
I was born and raised in Toronto, Canada.
|
| I presented my work to Her Majesty the Queen on 4 December 2008 Press Release
|
and Photos
|
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 was appointed to the Department of Computer Science , University of Leicester as a Graduate Teaching Assistant in September 2008.
- Monday 4 Jan 2010
- Thursday 7 Jan 2010
- Time: 1pm - 2pm
- Location: CW 301 Help desk
- Adwoa Donyina and Reiko Heckel. Formal Visual Modeling of Human Agents in Service Oriented Systems. In 2009 Fourth South-East Workshop on Formal Methods (SEEFM'09), pages 25-32, Los Alamitos, CA, USA, 2009. IEEE Computer Society.
- 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: 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:
- Software-Oriented Architectures
- Domain Specific Languages
- Agent-Based Systems
- Business process modeling in particular BPEL4People, WS-HumanTask and BPMN (Business Process Modeling Notation)
 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}
|