FSU computer scientist earns Amazon Research Award for software verification research
A researcher in the Florida State University Department of Computer Science has received an Amazon Research Award to develop automated methods to catch software bugs. Grigory Fedyukovich, an assistant professor of computer science, in the College of Arts and Sciences, has been awarded $60,000 to continue work on automating formal verification of software — the source code analysis of programs to identify bugs or prove the absence of bugs.