My research interests are focused on improving the quality of complex software-intensive systems. Currently, I am working on the modelling,
analysis, and certification of safety-critical embedded software. This is being carried out in conjunction with the OPENCOSS project and
the Certus Centre for Software Verification and Validation.
Education
- PhD (Software Engineering) - University of Oslo, Oslo, Norway. (2012)
- M.Sc (Computer Science) - University of Victoria, Victoria, British Columbia, Canada. (2003)
- B.Sc (Computer Science) - University of Botswana, Gaborone, Botswana. (1995)
Professional Experience
Adjunct Research Scientist at Simula Research Laboratory, Oslo, Norway Feb 2013 - date
Owner at Meta-zen Consulting, Vancouver, Canada Jan 2012 - date
Board Member at Simula School of Research and Innovation, Oslo, Norway May 2009 - Oct 2011
Software Engineering Researcher at Simula Research Laboratory, Oslo, Norway Jul 2007 - Oct 2011
Simula Research Laboratory is a highly successful research facility committed to tackling
scientific challenges,in the fields of networking, scientific computing and software engineering.
Software Engineer at NavCanada, Ottawa, Canada Aug 2004 - Apr 2007
NAV CANADA is Canada's civil air navigation services provider including air traffic control, flight
information,weather briefings, aeronautical information and electronic aids to navigation.
Software Engineer at Raytheon Systems Canada, Richmond, Canada Oct 2000 - Jul 2004
Raytheon is a world leader in Air Traffic Management (ATM) and Aerospace Systems.
Network Manager at ARUP Botswana, Gaborone, Botswana Mar 1997 - Aug 1998
Arup is a leading consulting firm providing world-class engineering, design, planning and corporate
advisory services.
Teaching Experience
-
Teaching Assistant at University of Victoria Sep 1998 - Apr 2000 and Sep - Dec 2002
-
Teaching Assistant at University of Botswana Aug 1995 - Mar 1997
Research Interests:
Quality in Safety Critical Systems
-
What can be done to integrate safety into the software development process:
-
when eliciting system requirements?
-
during system design - Can the design enhance safety?
-
during programming – what techniques aid in writing safe code?
-
in the software development process that is followed?
-
Is there a specific software methodology that works well for safety critical systems?
-
Validation and Verification
-
Best practices for systems that are maintained over several years
