Grigory Fedyukovich, an Assistant Professor in the FSU Department of Computer Science, has been awarded a new NSF grant titled "Travel: NSF Student Participation Grant for the 2024-2026 International Conferences on Computer-Aided Verification". This award seeks to support student travel to attend the Verification Mentoring Workshop (VMW) and the International Conference on Computer Aided Verification (CAV) in the years 2024, 2025 and 2026 (to be held in Montreal, Zagreb, and Lisbon, respectively). CAV is one of the premier conferences in computer science, dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The purpose of VMW is to provide mentoring and career advice to early-stage graduate students, and to attract them to pursue research careers in the area of computer-aided verification. There have been multiple VMWs in the past, and they were very successful and received positive feedback from students and other attendees.