SAVe Lab Awards

  • 2016

    Waqar Ahmad has won SAVe Lab – Best Researcher of the Year 2016. He got 3 conference paper publications and 2 journals published and another one accepted in 2016. Being one of the senior members of the group, he is always guiding and supporting all the other members. He is also visiting UT Austin in USA these days and representing the SAVe lab there. Waqar is also selected as an official program committee member for CICM 2017, which is a great achievement in itself for any PhD student.

    2015

    Waqar Ahmad has won SAVe Lab – Best Researcher of the Year 2015. He got 3 conference papers publications and 1 journal paper accepted with revisions in 2015. He has been involved in 3 other journal submissions. Being one of the senior members of the group, he is always guiding and supporting all the other members. He also represented us at CICM 2015 this year and gave very nice talk there.

    2014

    Faiq Khalid Lodhi has won SAVe Lab – Best Researcher of the Year 2014. He got 3 conference papers and 1 journal paper accepted in 2014. He has been involved in the research activities of the lab greatly and also manages our web-page, printing and so much more.

  • Year Awardee Name Event Name
    2016 Muhammad Usama Sardar 3rd Workshop on System Analysis and Verification
    2016 Muhammad Usama Sardar 1st Workshop on System Analysis and Verification – Recent Trends in Theorem Proving