Demissie B. Aredo
Sjøgata 6
N-2450 Rena, Norway
Tele: +47 21 68 02 64 (Home)
+47 98 49 81 84 (cellular)
E-mail: demissie@ifi.uio.no
http://www.ifi.uio.no/~demissie/
Demissie B. Aredo’s Resume
Qualification
Summary
I am a highly motivated and goal-oriented ICT teaching/research professional with a wide range of
knowledge, formal training in Teaching Methodology, and several years of teaching and research
experiences in Computer Science and Mathematics. I characterize myself as a well organized,
punctual, team player and efficient. I have a profound background in object-oriented (OO) and
component-based development technologies, software engineering, formal methods, computer systems
security, and OO modeling techniques. I have knowledge in several programming languages,
methodologies and CASE tools: C++, Java, PVS, SDL/SDT, FORTRAN, UML and CASE tools s. a.
Rational Rose, ArgoUML; and experiences with UNIX/Linux and Windows platforms.
My expertise and research interests include object-oriented programming, software
engineering, security requirement engineering, formal methods (FM), integration of semiformal modeling techniques s. a. UML with FMs, and the application of these techniques to
software development in the industrial settings. In my PhD work, I developed a framework for
integrating the UML with formal verification techniques to support formal development of
distributed systems. Application of the integrated approach to security requirements
engineering is among the areas of my research interest.
I have several years of work experience from research and development (R&D) companies.
From May 2001 to April 2005, I held a research scientist position at the Norwegian Computing
Centre where I had an opportunity to work on several internal/external research projects. I
worked on two EU-financed projects where risk assessment and security requirements analysis
were among the central research topics; and several projects financed by the Research Council
of Norway, and projects financed by commercial actors.
Educational
Background
Dr. Scient. degree in Computer Science (2005): Department of Informatics, University of Oslo.
Dissertation: “Formal Development of Open Distributed Systems: Integration of UML and PVS”.
Cand. Scient. degree in Computer Science (1998): Dept. of Informatics, University of Bergen,
Norway. Master thesis is titled “Monitoring and Visualization of Distributed Systems” completed in an
industrial research institute, namely the Christian Michelsen Research, Bergen, Norway.
Program for Foreign Students (1994): University of Bergen, a course designed to prepare foreign
students for academic studies at Norwegian universities. The course consists of Norwegian language,
culture and history, Logic and Western Philosophy.
M. Sc. degree in Mathematics (1991): Dept. of Mathematics, Addis Ababa University, Ethiopia.
B. Sc. degree in Mathematics (1988): Department of Mathematics, Addis Ababa University. Received
distinct graduating students’ award.
Professional
Experiences
Associate Professor: August 2005 – Hedmark University College, Rena, Norway
Research Scientist: May 2001 − April 2005, Norwegian Computing Center, Oslo, Norway.
Doctoral Fellow: 02/1998 – 03/2001, Department of Informatics, University of Oslo, Norway.
Visiting Research Fellow: 02/2000–06/2000, Computing Lab., University of Kent, UK
Research Assistant: 06/1996–12/1996: Christian Michelsen Research, Bergen, Norway
Teaching Assistant: 01/1996–12/1997: Department of Informatics, University of Bergen, Norway.
Lecturer: 01/1988–08/1993: Department of Mathematics, Addis Ababa University, Ethiopia.
Professional
Membership
Teaching &
Research
Interests
Member of the IEEE, and the IEEE Computer Society.
I am interested in working both in academics and research institutions. Formal training in
teaching methodology was an integral part of my B. Sc. degree in mathematics. I have been
directly involved in teaching at undergraduate and graduate levels for several years and I
enjoyed teaching at all levels and I have several years of work experience in research and
development (R&D) companies. Currently, I am working at Hedmark University College as
Associate Professor in Computer Science and teaching a course on Information Systems
Development Methodologies.
My expertise and research interests include object-orientated programming, software
engineering, security requirements engineering, formal methods, and Distributed systems. I am
interested in the integration of semi-formal modelling techniques such as the UML, and formal
methods and their application to software engineering in the industrial setting. In my PhD
work, I developed a framework that integrates OO modelling techniques with formal methods
to support formal development of distributed systems. Currently, I am working on application
of method integration approach to security requirements engineering.
Journal papers
Selected
publications
1. Demissie B. Aredo: A Framework for Semantics of UML Sequence Diagrams in PVS,
Journal of Universal Computer Science (JUCS), vol. 8, no. 7, July 2002.
2. Issa Traore, Demissie B. Aredo and Hong Ye: An Integrated Framework for
Formal Development of Open Distributed Systems, Journal of Information and
Software Technology (IST), Elsevier Science, vol. 46, no. 5, 15 April 2004, Pages
281-286, Special Issue on Software Engineering, Applications, Practices and
Tools from the ACM Symposium on Applied Computing 2003 (ACM SAC2003).
3. Issa Traore and Demissie B. Aredo: Enhancing Structured Reviews with Modelbased Verification, IEEE Transactions on Software Engineering, vol. 30, no. 11, pp.
736-753, November 2004.
Book chapters
4. H. Abie, D. B. Aredo, T. Kristoffersen, S. Mazaher and T. Raguin: Integrating a
Security Requirement Language with UML, T. Baar, A. Strohmeier and A. Moreira
(Eds): <<UML>>2004, LNCS 3273, pp. 350-364, Springer-Verlag, Berlin
Heidelberg 2004.
5. E. B. Johnsen, W. Zhang, O. Owe and Demissie B. Aredo: Combining Graphical
and Formal Development of Open Distributed Systems, M. Butler, L. Petre and K. Sere
(Eds): IFM2002, LNCS 2335, pp. 319-338, Springer-Verlag, Berlin Heidelberg
2002.
Conference/workshop papers
th
6. Demissie B. Aredo: Semantics of UML Statecharts in PVS, in the Proc. of the 7
World Multi-conference on Systemics, Cybernetics and Informatics (SCI2003), vol.
IX, pp. 77-82, July 27-30, 2003, Orlando, FL, USA.
7. Demissie B. Aredo, H. J. Rivertz and J. I. Vestgård: LBS System Architecture with
th
Privacy, in the Proc. of the 7 World Multi-conference on Systemics, Cybernetics
and Informatics (SCI2003), vol. XI, pp. 227-232, July 27-30, 2003, Orlando, USA.
8. W. Zhang, E. B. Johnsen, O. Owe and D. B. Aredo, “Integrating UML and OUN for
Specification of Open Distributed Systems”, in the Proc. of IEEE International
Symposium on Human-Centric Computing Languages and Environments
(HCC2001), Sept. 5-7, 2001 Stresa, Italy, IEEE Computer Society.
9. W. Zhang, E. B. Johnsen, O. Owe and D. B. Aredo, “Specification of Distributed
Systems with a Combination of Graphical and Formal Languages” in the Proc. of
APSEC2001, December 4-7, 2001, University of Macau, SAR, China.
10. I. Traore, Demissie B. Aredo, K. stølen, “Formal Development of Open Distributed
Systems: towards an Integrated Framework”, in the Proc. of OOSDS’99, Sept.
1999, Paris, France.
Research Reports
11. Demissie B. Aredo and Olaf Owe: Formal System Development Using Method
Integration: a Case Study, Research Report 1002, Norwegian Computing Center,
Oslo, Norway, August 2004.
12. Demissie B. Aredo, I. Traore, L. M. Yanguo and H. Ye: Integration of Structured
Review and Model-based Verification: a Case Study, Research Report 1001,
Norwegian Computing Center, Oslo, Norway, August 2004.
13. Demissie B. Aredo: Semantics of UML Statecharts in PVS, Research Report 299,
Department of Informatics, University of Oslo, November 2001.
14. E. B. Johnsen, W. Zhang, Olaf Owe and D. B. Aredo: Combining Graphical and
Formal Specification: the Software Bus Case Study, Research Report 297,
Department of Informatics, University of Oslo, Norway, October 2001.
15. I. Traore, Demissie B. Aredo, and K. Stølen: Tracking Inconsistencies in an
Integrated Platform, Research Report 274, Department of Informatics, University
of Oslo, Norway, August 1999.
16. Demissie B. Aredo, I. Traore, and K. Stølen: Towards a formalization of UML
Class Structure in PVS, Research Report 272, Department of Informatics,
University of Oslo, August 1999.
Thesis/Dissertation
17. Demissie B. Aredo: Formal Development of Open Distributed Systems: Integration
of UML and PVS, PhD dissertation, Department of Informatics, University of Oslo,
Norway, August 2004.
18. Demissie B. Aredo: Monitoring and Visualization of Distributed Systems, Masters
Thesis, Department of Informatics, University of Bergen, Norway, January 1998.
References
•
•
•
•
Prof. Olaf Owe, Department of Informatics, University of Oslo, Norway, Tel.
+47 22852449, olaf@ifi.uio.no
Prof. Sverre Storoy, Department of Informatics, University of Bergen, Norway,
Tel. +47 55 58 41 65, sverre.storoy@ii.uib.no
Dr. I. Traore, Department of ECE, University of Victoria, Canada, Tel. +1
(250) 721 8697, itraore@ece.uvic.ca
Dr. Thor Kristoffersen, Norwegian Computing Center, Oslo, Norway, Tel. +47
22 85 25 88, Thor.Kristoffersen@nr.no.