Download PDF

Summary

I am a highly motivated, goal-oriented, well-organized, effective IT professional with a wide range of knowledge, formal training in Computer Science and Mathematics, and several years of experiences from the academia and the industry. I have a profound background in object-oriented (OO) and component-based development paradigms, software engineering, databases, modeling techniques and formal development methodologies.

I have knowledge of several development methodologies, programming languages and CASE tools: Simula, C++, Java, PVS, SDL/SDT, FORTRAN, UML and their respective CASE tools such as IBM Rational Rose, ArgoUML; and several years of experience with UNIX/Linux and Windows platforms, Oracle, and PL/SQL.

My expertise and research interests include, among others, object-oriented programming, software engineering, requirements engineering, formal development methods, process models, and their applications to information system development in the industrial setting. As part of my PhD work, I developed a framework for integrating semi-formal graphical modeling languages and tools such as the UML with formal verification and validation (V&V) techniques to support development of Open Distributed Systems. The framework is applied to the development of critical systems.

I have several years of work experience from research and development (R&D). From May 2001 to April 2005, I held a Research Scientist position at the Norwegian Computing Centre where I had the opportunity to work on several multi-national R&D projects, among others, two EU-financed projects; and several projects financed by the Research Council of Norway, and projects financed by commercial actors.

I have also experiences from the academia. From Sept. 1988 – August 1993, I worked as a lecturer in Mathematics, Addis Ababa University. From August 2005 I held an Associate Professor position at Faculty of Engineering, Oslo University College, and the Hedmark University College. Currently, I am on leave and working as a Senior Technical Consultant in a multi-national Software development company.

Work experience

Apr 2008Present

Senior Software Consultant

Industrial and Financial Systems (IFS), Norway

Education

Sep 1989Dec 1991

Master of Science

Addis Ababa University
Sep 1984Jun 1988

Bachelor of Science

Addis Ababa University

Skills

Software Development
I have several years of experience from the academia, R&D institutions, and the industry, and formal qualifications in a wide area of Computer Science, Mathematics, and teaching methodology. I held faculty positions for several years and I taught Mathematics and Computer Science courses at undergraduate and graduate levels. From August 2005 - March 2008 I held Associate Professor positions at Oslo University College and Hedmark College. I have been lecturing Information Systems Development Methodologies, Software Engineering, and Relational Databases courses.   I have a profound expertise and professional experiences in the area of object-orientated programming, software engineering, security requirements engineering, and verification and validation (V&V) methods, model checking, distributed systems, and modern development processes such as the Rational Unified Process (RUP). My areas of research interest include, among others, integration of semi-formal modelling techniques such as the UML, and formal V&V methods to software engineering.   As part of my PhD work, I developed a framework for integrating Object-Oriented Analysis and Design (OOAD) techniques with formal V&V techniques to support formal development of open distributed systems. Currently, I am working on Adaptive Distributed Systems (ADSs), application of formal V&V methods to system administration, and on technologies for knowledge representation and transfer.   Currently, since April 2008, I am working in Industrial and Financial Systems (IFS) as a Senior Technical Consultant.
Research and Development
I have several years of experience from the academia, R&D institutions, and the industry, and formal qualifications in a wide area of Computer Science, Mathematics, and teaching methodology. I held faculty positions for several years and I taught Mathematics and Computer Science courses at undergraduate and graduate levels. From August 2005 - March 2008 I held Associate Professor positions at Oslo University College and Hedmark College. I have been lecturing Information Systems Development Methodologies, Software Engineering, and Relational Databases courses.   I have a profound expertise and professional experiences in the area of object-orientated programming, software engineering, security requirements engineering, and verification and validation (V&V) methods, model checking, distributed systems, and modern development processes such as the Rational Unified Process (RUP). My areas of research interest include, among others, integration of semi-formal modelling techniques such as the UML, and formal V&V methods to software engineering.   As part of my PhD work, I developed a framework for integrating Object-Oriented Analysis and Design (OOAD) techniques with formal V&V techniques to support formal development of open distributed systems. Currently, I am working on Adaptive Distributed Systems (ADSs), application of formal V&V methods to system administration, and on technologies for knowledge representation and transfer.   Currently, since April 2008, I am working in Industrial and Financial Systems (IFS) as a Senior Technical Consultant.
Teaching
  I have several years of experience from the academia, R&D institutions, and the industry, and formal qualifications in a wide area of Computer Science, Mathematics, and teaching methodology. I held faculty positions for several years and I taught Mathematics and Computer Science courses at undergraduate and graduate levels. From August 2005 - March 2008 I held Associate Professor positions at Oslo University College and Hedmark College. I have been lecturing Information Systems Development Methodologies, Software Engineering, and Relational Databases courses.   I have a profound expertise and professional experiences in the area of object-orientated programming, software engineering, security requirements engineering, and verification and validation (V&V) methods, model checking, distributed systems, and modern development processes such as the Rational Unified Process (RUP). My areas of research interest include, among others, integration of semi-formal modelling techniques such as the UML, and formal V&V methods to software engineering.   As part of my PhD work, I developed a framework for integrating Object-Oriented Analysis and Design (OOAD) techniques with formal V&V techniques to support formal development of open distributed systems. Currently, I am working on Adaptive Distributed Systems (ADSs), application of formal V&V methods to system administration, and on technologies for knowledge representation and transfer.   Currently, since April 2008, I am working in Industrial and Financial Systems (IFS) as a Senior Technical Consultant.