Major publications

• Predicting Verification Results and Generating Counterexamples in NuSMV Using BERT: Reproducibility Analysis and Syntax-Guided Model Construction
  Ryosuke Ono, Yuto Ogata, Yojiro Harie
  Cross-Sectoral Information Exchange in the ICT Field Toward Sustainable and Smart Society (X-ICT2S3) 2026 Winter: Symposium and Workshop Peer-reviewed

• Prediction of Counter Examples in the Field of Software Verification by Using NLP Models
  Ryosuke Ono, Yojiro Harie
  Forum on Information Technology (FIT) 2024 Award Candidate Session

Awards

• President’s Award (for Academic Excellence and Outstanding Extracurricular Activities) in Kanazawa Gakuin University, 2026

• Best Conversant Award, Cross-Sectoral Information Exchange in the ICT Field Toward Sustainable and Smart Society (X-ICT2S3) 2026 Winter: Symposium and Workshop, 2026

Qualifications

• Fundamental Information Technology Engineer (Information-technology Promotion Agency, Japan)
• Information Security Management (Information-technology Promotion Agency, Japan)