David Sears Email & Phone Number

Ottawa, On, Ca

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 developers and testers- Maintain healthy relationships with customers by promptly responding to sensitive issues and driving debugging sessions with customers to identify causes of failure and potential solutions / workarounds in product

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- Command-line frontend to Klocwork's compiler + analysis toolchain- Tools which integrate with build systems (e.g., ant, maven, gradle) for purposes ofgenerating compilation databases used by Klocwork's compilers

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 events generated by the DES may beobserved by a given agent. An event occurrence may not be observed by an agentfor the following reasons, to name a few; + the agent does not have a sensor for observing the event; + the agent has a sensor for observing the event, but the sensor is faulty or the agent chooses not to use the sensor all the time; + the event is communicated to the agent by another agent, but not all the time.The agents use their observation of event occurrences and a model of the DES toestimate the current state of the DES or the behaviour (i.e., sequence ofevents) that the DES has generated. My research concerns designing andcomputing protocols which dictate how each agent uses its event sensors and howeach agent communicates with other agents in order that each agent can estimatethe DES state or behaviour. In short, I investigate event sensing andcommunication protocols that permit each agent to know what it needs to knowabout the DES.What an agent needs to know about a DES is problem-dependant. Commonproblems are: + Estimating precisely the current state or behaviour of the DES; + Distinguishing between certain states (resp., behaviour) of the DES.Some intended applications of research in observation of DES are: + decentralized and distributed control of systems; + failure diagnosis of systems; + network communication protocol design; + system security (opacity).

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 Adapter.-Performed command-line testing of functions provided by ethernet adapters to service router operating systems.-Automated tests for determining the effects on network traffic routed through ethernet adapters and service routers while conducting network configuration and maintenance operations such as activity switches, adjustments to QoS policies and network topologies.-All tests were automated as scripts in the Tool Command Language (Tcl).-Contributed to the maintenance and development of a version-controlled library of network configuration and test procedures used by the Service Routing Test team.-Trained in the use of the IXIA family of chassis for generating and evaluating network traffic.-Obtained Alcatel-Lucent Scalable IP Networks Service Routing Architecture certification.

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 test plans.-Performed interface and load testing to validate that service updates to carrier and customer accounts were made properly.-Maintained test environments (Weblogic Application Servers and Oracle Databases) for testing various releases of the Carrier Provisioning System.

-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