Tim Hansmeier, student of the Master program in Computer Engineering and Student Research Assistant with the Computer Engineering Group, received a prize for the best Bachelor degree among all Bachelor graduates in Computer Engineering and Electrical Engineering of the academic year 2016/17. In his Bachelor thesis, Tim presented an FPGA-based accelerator for checking resolution proofs. Being able to quickly check resolution proofs is of utmost importance for novel methods to guarantee the quality of reconfigurable hardware services as investigated in the Paderborn-based Cooperative Research Center 901, On-The-Fly Computing. For implementation and experimental evaluation, Tim employed a cutting-edge reconfigurable system equipped with Hybrid Memory Cube technology.
