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
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 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
