John-Paul Ore is an Assistant Professor in the Department of Computer Science at NC State University. John-Paul's research interests are broadly in the areas of software engineering, robotics, program analysis, and system testing using high-resolution physical simulators. His contributions include new software engineering methods that enable dimensional analysis without developer annotations for the Robot Operating System, new open-source tools that implement these methods (https://unl-nimbus-lab.github.io/phys/), open datasets of dimensional inconsistencies found in the wild, and novel techniques in aerial field robotics for environmental monitoring. His research combines field robotics and software engineering (SE). Field robotics exposes the shortcomings of our ability to reason about whole systems with different levels of abstraction within realistic environments, and SE increasingly enables new capabilities to develop more dependable safety-critical systems.
Spring 2021 Office Hours (1/20/2021 to 4/30/2021) - these may be subject to change due to departmental obligations. All appointments are virtual. Please email for the zoom link for office hours if you are not enrolled in a class I'm teaching.
- Tuesdays 9:10-10:00a
- By appointment (email to schedule).
- Robot Software Reliability & Testing
- Program Analysis for Cyber-Physical Systems
- Flying Robots for Environmental Monitoring
- Abstract Type Inference
- Code-Aware Physical Simulation
Ph.D., 2019, University of Nebraska--Lincoln
CSC Spring Courses
- CSC 510-001 LEC Software Engineerg F 8:30am-11:15am Room: 2213 Engineering Building 3
- CSC 510-601 LEC Software Engineerg Room: Distance Education - Online