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 History

Work History
Apr 2008 - Present

Senior Software Consultant

Industrial and Financial Systems (IFS), Norway

Education

Education
Sep 1989 - Dec 1991

Master of Science

Addis Ababa University
Sep 1984 - Jun 1988

Bachelor of Science

Addis Ababa University

Skills

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.