Awais Qasim received the BS(Computer Science) from PUCIT in 2009 and MS(Computer Science) from LUMS in 2011. After that, he worked as a Software Engineer/Team Lead in Tintash and developed a number of iPhone and Android applications. He joined academia as Lecturer(Computer Science) in GCU Lahore in 2012. He completed his PhD(Computer Science) from GCU in 2017 and then did his Postdoc from University of Salford, Manchester, UK in 2020. Currently, he is working as an Assistant Professor in the Computer Science Department, Government College University and actively provides consultancy services in industry and Academia.
Areas of Expertise
Research: Formal Methods (Formal specification and verification of real-time systems, Formal modelling of multi-agent systems, Model checking, Petri-nets, Coloured Petri-nets, Timed-Arc Petri-nets, Temporal Logics including LTL, CTL, CTL*, Process Algebraic Modelling), Multi-agent Systems (Performative actions, JADE simulation), Code Cloning (Detection of types), Design Patterns and Refactoring (Impact on energy usage), Blockchain with MAS, Vehicle Platooning.
Industry: C, C++, Objective C, Java, C#, Asp.net, SQL, GitHub, Bitbucket, Scrum, Flutter, Dart, Firebase.
