I have been a professor and a senior consultant of Real-time Systems who has worked in both academic environments and busy high integrity real-time system development environments.

I have a strong understanding of high integrity and real-time embedded systems design, and software engineering.  I have designed and developed SPARK code on a multi-threaded, multi-process concurrent system, working from a formal Z specification, and have carried out program proof using the SPARK toolset.

I have the ability to quickly learn and absorb new skills and knowledge and am comfortable working on mine own, as part of a team or as a lead of a team.  I have written and maintained design documents, project standards, research papers and books.