David Sears Email & Phone Number

Ottawa, Ontario, Canada

Ottawa, Ontario, Canada

- Product: Klocwork, a static analyzer (i.e., linter) for C/C++, C# and Java- Team Lead and Tech Lead for maintaining and updating Klocwork's C++ compiler and analysis toolchain- Manage a small team of developers- Develop Klocwork checkers for identifying non-trivial data-flow and control-flow defects in C++ code- Scrum master for a larger team of.

Ottawa, Canada Area

- Tech Lead for updating Klocwork's C++ compiler to handle modern C++ standards- Team Lead for updating Klocwork's compiler and analysis toolchain to support 64-bit architectures

Kanata, ON

Improvements to Klocwork's Java Analysis- Updated Klocwork's Java compiler to support Java 8+- Maintained Klocwork Java Checkers for identifying defects in Java codeMaintained Klocwork tools (Java):- Continuous Integration plugins for Jenkins + Teamcity- IDE plugins for Eclipse + IntelliJ IDEA- Client Portal (Klocwork Insight) + Server Backend.

Kingston, ON

Marked assignments and quizzes, proctored exams and tutored students in CISC 260 - Programming Paradigms, a second year course in the School of Computing at Queen's. Programming Paradigms is a course introducing functional programming (using Haskell) and logic programming (using Prolog).

Kingston, ON

I was an instructor for courses in Data Structures and Algorithms at the Royal Military College of Canada in Kingston.

Kingston, ON

Gave lectures, marked assignments and quizzes, proctored exams and tutored students in CISC 260 - Programming Paradigms, a second year course in the School of Computing at Queen's.

Kingston, ON

I conducted research in (multi-agent) observation of Discrete-Event Systems (DES). ADES is a system which contains a discrete state space and event-drivendynamics. The DES generates events which triggers changes in the state of theDES. Agents external to the DES may observe the occurrence of events generatedby the DES. However, not all occurrences of.

Kingston, ON

Gave lectures, marked assignments, proctored exams and tutored students in CISC 260 - Programming Paradigms, a second year course in the School of Computing at Queen's.

Kingston, ON

Gave lectures, marked assignments, proctored exams and tutored students in CISC 235 - Data Structures, a second year course in the School of Computing at Queen's.

Kingston, ON

Gave lectures, marked assignments, proctored exams and tutored students in CISC 235 - Data Structures, a second year course in the School of Computing at Queen's.

Tutored, marked assignments and proctored exams for an introductory course in Software Specifications and Formal Languages & Automata Theory.

Kanata, Ontario, Canada

-A member of the Service Routing Test team responsible for investigating / reporting software and hardware defects on Alcatel's 7710 and 7750 Service Routers and their compatible ethernet adapters.-Responsible for testing features offered by Alcatel's 7710 Circuit Emulation Services over Ethernet Adapter and 7750 5-Port 10 Gigabit Ethernet.

Kingston, ON

Marked assignments, proctored exams and tutored students in CISC 235 - Data Structures, a second year course in the School of Computing at Queen's.

Mississauga, Ontario, Canada

-A member of the Test team responsible for investigating / reporting defects on RIM's Carrier Provisioning System.-Assisted in the development and maintenance of an Automated Testing System implemented using IBM's Rational Robot Test Software Suite.-Created custom tools to enhance the productivity of automating tests.-Created, maintained, and automated.

-Automated test cases in Rational Robot for a web application system-Designed posters to advertise services offered by the Ministry of Natural Resources Business Solution Services

Doctor Of Philosophy (Ph.D.), Computing

Conducted work in the field of Discrete Event Systems. My 300 page thesis ( 'Dynamic Observation in Discrete Event Systems' ).

M.Sc., Computing

89% cumulative average. Recipient of the 2010 School of Computing Distinguished Master's Thesis Award. Member of the Formal Languages &.

Bachelor Of Computing (Honours), Software Design