2024 Major Sponsored Programs and Faculty Awards
Bharath Kumar Manchikanti, computer science. Developing an Automated Tool for Testing SAT-Solvers.