My research interests are focused on improving the quality of complex software-intensive systems. My current research is primarily concerned with modelling, analysis, and certification of safety-critical embedded software. This work is being conducted jointly with Det Norske Veritas (DNV) within the ModelME! Project in the Approve group.
Education
- B.Sc (Computer Science) - University of Botswana, Gaborone, Botswana. (1995)
- M.Sc (Computer Science) - University of Victoria, Victoria, British Columbia, Canada. (2003)
Professional Experience
-
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
For a complete CV go here.
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
