Research Highlights of Professor Keedy

Professor Keedy has researched extensively in the areas of secure operating systems design, computer hardware design, programming language design and software engineering. The highly innovative results of his work can be seen on the following websites: