Dr. Grigory Fedyukovich Awarded a New NSF Grant

Published: | 4:08 pm | Posted in: News

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 […]

David Whalley Serves as ACM TACO Senior Associate Editor

Published: | 2:40 pm | Posted in: News

David Whalley has been serving as one of the two senior associate editors for the ACM Transactions on Architecture and Code Optimization (TACO) journal since 2016.  He handles papers for which the ACM TACO Editor-in-Chief (EiC) has conflicts and provides advice for the ACM TACO EiC when needed.  In addition, he is assigned ACM TACO […]

CS welcomes four tenure-track faculty and one specialized faculty members

Published: | 2:57 pm | Posted in: News

The Department of Computer Science at the Florida State University has completed our 2024 faculty recruiting process with an incredibly successful year in terms of both the outcome and the procedure. “With the hiring of Yushun Dong, Shangqian Gao, Shibo Li, Xin Liu, and Shifat Mithila, we continue to strengthen our existing core systems research […]

Dr. Xiaonan Zhang Awarded a New NSF Grant

Published: | 2:22 pm | Posted in: News

Xiaonan Zhang, an Assistant Professor in the FSU Department of Computer Science, has been awarded a new NSF grant titled “Collaborative Research: CISE MSI: RDP: CPS: Enhancing Efficiency and Sustainability in Electric Transportation and Power Systems through Interaction-Aware Management”.  The project aims to develop a cutting-edge management framework designed to enhance the efficiency and sustainability […]