Richard DeFrancisco
Assistant Professor
Academic Appointment(s)
Administration
Department of Computer & Cyber Sciences
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 ScienceSUNY at Stony Brook, 2019
-
BS, Computer ScienceCollege of New Jersey The, 2010
Courses Taught Most Recent Academic Year
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
College Service
-
Academic Web Oversight Committee2023 - Present
Role:Committee Chair
-
Undergraduate Courses and Curriculum Committee2022 - Present
Role:Committee Member
-
ABET Accreditation Committee2022 - Present
Role:Committee Member
-
ACM International Collegiate Programming Contest2023 - 2023
Role:Faculty Mentor
Professional Service
