23 September 2021 Department of Computer Science , Faculty , Research

23 September 2021 – Assistant Professor Kuldeep Meel and his research collaborators, Dr Mate Soos and Nicholas Prevot, have won the Spring 2021 Amazon Research Award for their project titled ‘GPU-Enabled Parallel SAT Solving’, which focuses on enabling scalability of parallel SAT solvers using Graphics Processing Units (GPUs).