Richard DeFrancisco

Assistant Professor

Richard DeFrancisco

Assistant Professor

Academic Appointment(s)

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


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.


  • 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


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
  • Towards a GPGPU-Parallel SPIN Model Checker, 2014
    Conference Proceeding

Research Interests

Formal Methods, GPGPU, Concurrency, Cyber-Physical Systems

College Service

  • Academic Web Oversight Committee 2023 - Present

    Role: Committee Chair
  • Undergraduate Courses and Curriculum Committee 2022 - Present

    Role: Committee Member
  • ABET Accreditation Committee 2022 - Present

    Role: Committee Member
  • ACM International Collegiate Programming Contest 2023 - 2023

    Role: Faculty Mentor

Professional Service

  • The 18th International Conference on integrated Formal Methods (iFM 2023) 2023 - 2023

    Role: Committee Member
  • 2022 SPIN International Symposium of Model Checking Software 2022 - 2022

    Role: Committee Member