Jafar Hamin

Jafar Hamin

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.

 

Key publications:

  1. 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 567662bibtex
  2. 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 download0 540058bibtex
[More...]
 

 

Contact info

  • Office: 05.34
  • Address:
    Dept. Computer Science
    Celestijnenlaan 200A - bus 2402
    B-3001 Heverlee
    BELGIUM
  • Tel: +3216374819
  • Fax: +32 16 327996
  • Email: Jafar Hamin