Theodore S. Norvell

Theodore S. Norvell

B.Sc.(Hons.) (Dalhousie), M.Sc., PhD (Toronto), P.Eng.

  • Associate Professor
Contact Information
Ph: 709-864-8962
Em: theo[at]
Office: EN-3064
  • Digital Hardware
  • Software, Robotics and Vision
Research Interests
Formal development and verification of software and hardware systems. Concurrent programming language design, implementation, and verification. Program and algorithm animation.
Personal Profile

Theodore Norvell started programming at a young age and has been interested in the science, engineering, and practice of programming ever since.

These days his research focuses on the question of how we can prove, with the help of computers, that our programs are error free. This problem is particularly important when programs are concurrent, which is the rule these days rather than the exception. That is because testing concurrent programs is not an effective alternative to proof. Concurrency also makes the problem harder and therefore more interesting.

Other areas of research that Theodore works in include implementation of concurrent languages in hardware and software, design of distributed systems, and the use of program and algorithm animation in teaching.

His teaching interests include software design, software correctness, algorithm design and analysis, and formal methods. He is co-creator of The Teaching Machine program and algorithm animation system. His other interest include fencing, sailing, and running. Had he not gone into computer engineering and computer science, he would have liked to have become a pirate. More information can be found at his true home page.


P. Eng, Newfoundland and Labrador

Other Contacts


Faculty of Engineering and Applied Science

230 Elizabeth Ave, St. John's, NL, CANADA, A1B 3X9

Postal Address: P.O. Box 4200, St. John's, NL, CANADA, A1C 5S7

Tel: (709) 864-8000