Biography

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.

 


Research Areas

  • Robot Software Reliability & Testing
  • Program Analysis for Cyber-Physical Systems
  • Flying Robots for Environmental Monitoring
  • Abstract Type Inference
  • Code-Aware Physical Simulation

Education

Ph.D., 2019, University of Nebraska--Lincoln

 

CSC Fall Courses

  • CSC 326-001 LEC Software Engr   MW 6:00pm-7:15pm   Room: 1231 Engineering Building 2

  • CSC 326-201 LAB Software Engr   Th 8:30am-10:20am   Room: 1221 Engineering Building 2

  • CSC 326-202 LAB Software Engr   Th 10:40am-12:30pm   Room: 1221 Engineering Building 2

  • CSC 326-203 LAB Software Engr   Th 12:50pm-2:40pm   Room: 1221 Engineering Building 2

  • CSC 326-204 LAB Software Engr   Th 3:00pm-4:50pm   Room: 1221 Engineering Building 2

  • CSC 326-205 LAB Software Engr   Th 5:20pm-7:10pm   Room: 1221 Engineering Building 2

  • CSC 326-212 LAB Software Engr   F 10:40am-12:30pm   Room: 1221 Engineering Building 2

  • CSC 326-214 LAB Software Engr   F 3:00pm-4:50pm   Room: 1221 Engineering Building 2

  • CSC 591-024 LEC SP Topic CSC - Software for Robotics Today   MW 8:30am-9:45am   Room: TBA

  • CSC 791-024 LEC Advncd Topics CSC - Software for Robotics Today   MW 8:30am-9:45am   Room: TBA

Publications

Available at Google ScholarDBLP, or John-Paul's Homepage.