معرفی
Richard DeFrancisco is an Assistant Professor in the Department of Computer & Cyber Sciences at the University of Georgia’s School of Computer and Cyber Sciences. He holds a PhD in Computer Science from Stony Brook University (2019) and a BS in Computer Science from the College of New Jersey (2010). His research focuses on Formal Methods, GPGPU acceleration, Concurrency, and Cyber-Physical Systems.
Education:
- PhD, Computer Science, Stony Brook University, 2019
- BS, Computer Science, College of New Jersey, 2010
Research Interests: Dr. DeFrancisco specializes in leveraging GPU-based swarm verification techniques to enhance model checking of complex systems. His work bridges formal methods with high-performance computing, particularly in parallel algorithms and cyber-physical system analysis. Recent contributions include GPU-accelerated implementations of SPIN model checkers and applications of formal verification to biological systems like C. elegans.
Service & Committees:
- Chair, Academic Web Oversight Committee (2023–Present)
- Member, Undergraduate Courses and Curriculum Committee (2022–Present)
- Member, ABET Accreditation Committee (2022–Present)
- Faculty Mentor, ACM International Collegiate Programming Contest (2023)
- Committee Member, iFM 2023 and SPIN 2022 Conferences
Teaching & Advising: Teaches CSCI 1301 (Principles of Computer Programming I) and focuses on Data Structures, Formal Methods, and Concurrency. No advisees listed in current records.
حوزههای پژوهشی
