I am a research associate at the Department of Computer Science of KU Leuven, working under supervision of Prof. Jacobs. I started as a member of the DistriNet Research Group in July 2015 and my main research interest is in Formal Software Verification.
I am currently working on verification of time complexity of subroutines and employing VeriFast as a verification tool prototype.
- Jafar Hamin, Bart Jacobs, Modular verification of termination and execution time bounds using separation logic, 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI), issue 17, pages 110-117, Pittsburgh, PA, USA, 28-30 July 2016
- Jafar Hamin, Bart Jacobs, Modular verification of termination and execution time bounds using separation logic, Technical Report (CW Reports), volume CW696, Department of Computer Science, KU Leuven, April 2016