Dr Ijaz Ahmed

​​Dr Ijaz is an experienced faculty member and taught numerous courses ranging from theoretical to applied computing. The list of the taught courses includes but not limited to Operating System, Software Engineering, Advanced Programming Languages, Compiler Construction, Formal Verification, Design Patterns, Semantic Web, HCI and Software Construction.

The main academic responsibilities include module leader, tutoring and project supervision. Dr Ijaz has successfully supervised numerous undergraduate and postgraduate thesis. Previously, Dr Ijaz also co supervised a PhD thesis at University of Monash, Australia.

​​Dr Ijaz research is related with formal specification and verification, automated program repair, parallel computing, and cyber security (application layer). During his PhD at University of Madeira Portugal, he worked on formal approaches to ensure the correctness of concurrent program. Dr Ijaz applied deductive techniques to encode cyber threats in JML during his work at Greenwich University London. In one of his works at Ulsan Institute of Technology Korea, he worked on automated approaches to correct a buggy program. The approach includes delta debugging, symbolic analysis and theorem proving. He has a sound experience to apply static analysis techniques in program analysis.

• Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs
• Checking JML-encoded finite state machine properties
• Extracting Permission-Based Specifications from a Sequential Java Program
• A case study on the lightweight verification of a multi-threaded task server
• Automated Verification of Specifications with Typestates and Access Permissions.
• An Orthogonal Learning Bird Swarm Algorithm for Optimal Power Flow Problems
• Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool