Dr. Grigory Fedyukovich, an Assistant Professor in the Computer Science Department, and his Formal Methods research lab have published their recent work in the prestigious 36th International Conference on Computer Aided Verification (CAV 2024). CAV is recognized as a...
Dr. Karen Works, Teaching I Professor, Online Computer Science undergraduate program, was recently unanimously elected as the Southeast Regional Representative for the National Board of Directors of the Consortium for Computing Sciences in Colleges (CCSC). The...
Ram Sharan Chaulagain, a PhD candidate in the Computer Science department, under the guidance of Dr. Xin Yuan, has made a significant contribution to interconnection networks. His paper on improving the state-of-the-art interconnect routing schemes, titled...
Dr. Karen Works, Teaching I Professor, Online Computer Science undergraduate program, has won an AnitaB.org Advancing Inclusion Faculty Scholarship to virtually attend the Grace Hopper Celebration 2024 (GHC 24). For the last 37 years AnitaB.org has been connecting...
Weikuan Yu, Professor in the FSU Department of Computer Science, has been awarded a grant of $225K for research on efficient and robust checkpoint/restart support for deep learning from the National Science Foundation. This is a joint project in collaboration with...