Nicholas CC Moore

B.Eng. Mechatronics (McMaster University)

Doctoral Candidate at McMaster University

email: moorenc at mcmaster dot ca


I am a fourth-year PhD student living in Hamilton Ontario. I am supervised by Dr. Mark Lawford, of the Computing and Software Department of the Faculty of Engineering.

Publications:

Nicholas Moore, Mark Lawford, "Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving", Proceedings of the Fifth FME Workshop on Formal Methods in Software Engineering (Formalise '17), LNCS, Springer, 2017 (download)

Teaching:

TA: SFWR ENG / MECHTRON 3DX4 - A second semester, third-year class in control systems. I have conducted lab exercises, tutorials, covered lectures, marked tests and assignments, and conducted extensive revisions of the course's laboratory exercises. I have been a TA for 3dx4 since 2012. From the Undergraduate course calendar: "Modeling of dynamic continuous physical phenomena in both continuous and discrete time. Control theory, stability analysis and feedback controller design. Application of computer control to continuous processes, system identification."
"There is nothing noble in being superior to your fellow man; true nobility is being superior to your former self."

-- Ernest Hemmingway --