Dr Allan McInnes
Positions
- Senior Lecturer
- Director of Postgraduate Studies (ME)
Qualifications
BE(Hons) (Canterbury), MS (Purd.), PhD (USU), MIEEE, MACM
Room
Electrical A513
Contact Details
Phone: +64 3 364 2987 ext 7267
Fax: +64 3 364 2761
allan.mcinnes@canterbury.ac.nz
Postal Address
Electrical and Computer Engineering Building
University of Canterbury
Private Bag 4800
Christchurch 8140, New Zealand
Background
1997, B.E. in Electrical & Electronic Engineering, University of Canterbury.
1998, Associate Design/Test Engineer, RJO Enterprises, Hunt Valley, MD, USA. Development of software to drive automated test equipment for
B-2 stealth bomber electronics.
1998-2000, M.S. in Engineering (Aeronautics & Astronautics), Purdue University, West Lafayette, IN, USA. (Thesis: Strategies for Solar Sail Mission Design in the Circular Restricted Three-Body Problem)
2000-2003, Member of The Technical Staff, The Aerospace Corporation, El Segundo, CA, USA. Systems engineering on GPS III, Mars Exploration Rover, and various other DoD and NASA spacecraft programs.
2003-2007, Ph.D. in Electrical & Computer Engineering, Utah State University, Logan, UT, USA. (Thesis: A Formal Approach to Specifying and Verifying Spacecraft Behavior)
2006-2008, Embedded Systems Engineer, Syncroness Inc., Westminster, CO, USA. Design and development of hardware, firmware, and software for a variety of embedded systems including a wireless sensor network for structural testing, and a remote video surveillance system.
2008-Present, Lecturer, Department of Electrical & Computer Engineering, University of Canterbury.
Undergraduate Courses 2013
- ENMT301 - Mechatronics System Design
- ENEL321 - Control Systems
- ENEL463 - Embedded Software Engineering
Postgraduate Research Available
Current Postgraduate Students
- Peter Raffensperger, PhD (co-supervisor)
- Kelvin Gong, ME
- James Whitmore, ME
Research Interests
- Dependable systems and software
- Model-based design
- Lightweight formal methods
- Concurrent, distributed, and hybrid systems
- Embedded networks (e.g. wireless sensor networks, and cyberphysical systems)