TheodoreĀ Norvell
Independent Software Consultant at Self-employed
St. John's, Newfoundland and Labrador, Canada
Summary
š¤
Seniorš
Top SchoolTheodore Norvell is an independent software consultant and recently retired associate professor of Computer Engineering with over three decades of experience spanning compiler design, formal methods, and programming language implementation. He combines deep research in verified software, formal specification, and language-to-hardware compilation with extensive teaching in computation theory, concurrent programming, and software design. Past roles include academic leadership at Memorial University, postdoctoral research at Oxford and McMaster, and early industry work building a C compiler for Control Data Corporation, reflecting both practical systems experience and rigorous theoretical grounding. Theodore is now seeking part-time consulting opportunities where his rare blend of formal verification expertise and hands-on compiler/hardware toolchain experience can help produce provably correct, high-assurance software.
10 years of coding experience
32 years of employment as a software developer
B.Sc. Hons. (1st class), Computing Science, B.Sc. Hons. (1st class), Computing Science at Dalhousie UniversityPh.D., Computer Science, Ph.D., Computer Science at University of Toronto
Stackoverflow
15,761reputation
1.1mreached
332answers
43questions
parsing
top-1%
java
top-5%
generics
top-5%
compiler-construction
top-5%
Github Skills (55)
parsing10
java9
compiler-construction9
generics9
discrete-event-simulation8
inline-images8
cocoa8
plantuml8
uml7
simulator7
mermaid7
markdown7
objective-c7
textual7
dotty7
Programming languages (7)
Github contributions (5)
theodore-norvell/similitude
Jan 2017 - Jan 2021
A web-based digital logic simulator.
Contributions:37 PRs, 94 pushes, 33 branches in 4 years
javascriptweb-basedsimulationdiscrete-event-simulationsimulator
theodore-norvell/tbc
May 2015 - May 2021
Contributions:56 pushes, 7 branches in 6 years 1 month
Find and Hire Top DevelopersWeāve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.