Assistant Lecturer
dadjepon@ashesi.edu.gh

• PhD (Computer Science), Newcastle University, UK
• M.Sc. (Computing Science), Newcastle University, UK
• B.A. (Computer Science with Economics), University of Ghana

Professional Biography


David Ebo Adjepon-Yamoah is Computer Science Lecturer at Ashesi University. He holds a combined-major Bachelor of Arts degree in Computer Science and Economics from University of Ghana, Ghana and Master of Science degree in Computing Science from Newcastle University, UK. He is currently completing his PhD also from Newcastle University, UK. David joined Ashesi University from the Fall semester of the 2017/2018 academic year, where he teaches Programming and Data Structures, and Web Technologies. His areas of interest are software engineering, software/system architecture, system dependability analysis, cloud computing and web technologies.

Areas of Interest


Software Engineering, Software/System Architecture, System Dependability Analysis, Cloud Computing and Web Technologies

 

Courses taught at Ashesi


  • Programming and Data Structures
  • Web Technologies

Research Summary (Publications) 


  • Adjepon-Yamoah E.(2016, September) cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures. In Proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016 (Gothenburg, Sweden), Springer International Publishing (LNCS - Lecture Notes Computer Science).
  • Adjepon-Yamoah E.(2016, September) Towards Dependable Change Management and Traceability for Global Software Development. In Proceedings of the 12th International European Dependable Computing Conference, EDCC 2016 (Gothenburg, Sweden)
  • Adjepon-Yamoah E. and Wen Z.(2016, September) Assuring Dependable Cloud-Based System Engineering: A Cloud Accountability Method. In Proceedings of the 12th International European Dependable Computing Conference, EDCC 2016 (Gothenburg, Sweden)
  • Iliasov A., Stankaitis P., and Adjepon-Yamoah (2016, June) Static Verification of Railway Schema and Interlocking Design Data. In book:Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pp.123-133, Springer International Publishing (LNCS - Lecture Notes Computer Science). Also presented at the International Conference on Reliability, Safety and Security of Railway Systems, DOI: 10.1007/978-3-319-33951-1_9.   
  • Iliasov A., Stankaitis P., Adjepon-Yamoah D., and Romanovsky A. (2016, May) A Rodin Plug-in for Constructing Reusable Schematic Lemmas. In Proceedings of the 6th Rodin User and Developer Workshop, pp.5-6.  
  • Iliasov A., Stankaitis P., Adjepon-Yamoah D., and Romanovsky A. (2016, May) Rodin Platform Why3 Plug-In. In Proceedings of the 5th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z,ABZ 2016 (Linz, Austria), 6 pages. 
  • Adjepon-Yamoah D. E., Romanovsky A., and Iliasov A. (2015, August) A Reactive Architecture for Cloud-Based System Engineering. In Proceedings of the International Conference on Software and Systems Process, ICSSP 2015 (Tallinn, Estonia), pages 77-81, ACM New York, NY, USA 2015, ISBN:978-1-4503-3346-7, DOI: 10.1145/2785592.2785611. 
  • Adjepon-Yamoah D.E., Romanovsky A., and Iliasov A. (2015, June) A Reactive Architecture for Cloud-Based System Engineering. In (CS-TR-1474) Technical Report, Newcastle University, 8 pages,DOI: 10.13140/RG.2.1.3092.8483.
  • Iliasov A, Stankaitis P., and Adjepon-Yamoah D. E. (2015, April) Event-B and Cloud Provers. In Proceedings of the Automated Reasoning Workshop 2015 Bridging the Gap between Theory and Practice, ARW 2015 (Birmingham, UK), pages 11-12.
  • Iliasov A., Adjepon-Yamoah D. E., Stankaitis P. and Romanovsky A. (2015, March) Putting Provers on the Cloud. In the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015 (Turku, Finland). Work in Progress
  • Iliasov A., Laibinis L., Troubitsyna E., Adjepon-Yamoah D. E., and Romanovsky A. (2015, March) Refinement-based Approach to Co-engineering Requirements and Formal Models. In (CS-TR-1456) Technical Report, Newcastle University, 13 pages