Richard DeFrancisco

Assistant Professor

Richard DeFrancisco

Assistant Professor

Academic Appointment(s)

School of Computer and Cyber Sciences
Department of Computer & Cyber Sciences

Bio

Assistant Professor of Computer Science who earned his PhD under Scott A. Smolka at Stony Brook University. His dissertation topic was GPU-based Swarm Verification.

Education

  • Ph.D., Computer Science SUNY at Stony Brook, 2019

  • BS, Computer Science College of New Jersey The, 2010

Courses Taught Most Recent Academic Year

  • CSCI 1301

    Principles of Comp Program I

Teaching Interests

Data Structures, Formal Methods, Concurrency

Scholarship

Selected Recent Publications

  • Swarm Model Checking on the GPU, 2020
    Journal Article, Academic Journal
  • Swarm Model Checking on the GPU, 2019
    Conference Proceeding
  • Swarm Model Checking on the GPU, 2019
    Other
  • Towards a GPGPU-Parallel SPIN Model Checker, 2014
    Conference Proceeding

Research Interests

Formal Methods, GPGPU, Concurrency, Cyber-Physical Systems