Dr Ijaz Ahmed

​​Mae Dr Ijaz yn aelod profiadol o'r gyfadran sydd wedi dsysgu nifer o gyrsiau, o gyfrifiadura damcaniaethol i gyfrifiadureg gymhwysol. Mae'r rhestr o'r cyrsiau a addysgir yn cynnwys ond heb fod yn gyfyngedig i System Weithredu, Peirianneg Meddalwedd, Ieithoedd Rhaglennu Uwch, Adeiladu Crynhoad, Dilysu Ffurfiol, Patrymau Dylunio, Gwe Semantig, HCI ac Adeiladu Meddalwedd.

Mae ei brif gyfrifoldebau academaidd yn cynnwys arweinydd modiwl, tiwtora a goruchwylio prosiectau. Mae Dr Ijaz wedi goruchwylio nifer o draethodau ymchwil israddedig ac ôl-raddedig yn llwyddiannus. Cyn hynny, bu Dr Ijaz hefyd yn cyd-oruchwylio thesis PhD ym Mhrifysgol Monash, Awstralia.

​​Mae ymchwil Dr Ijaz yn gysylltiedig â manyleb a dilysu ffurfiol, atgyweirio rhaglenni awtomataidd, cyfrifiadura cyfochrog, a seiberddiogelwch (haen y cais). Yn ystod ei PhD ym Mhrifysgol Madeira Portiwgal, bu'n gweithio ar ddulliau ffurfiol i sicrhau cywirdeb rhaglen gydamserol. Cymhwysodd Dr Ijaz dechnegau diddwythol i amgodio bygythiadau seiber yn JML yn ystod ei waith ym Mhrifysgol Greenwich Llundain. Yn un o'i weithiau yn Ulsan Institute of Technology Korea, bu'n gweithio ar ddulliau awtomataidd i gywiro rhaglen bygi. Mae'r dull yn cynnwys dadfygio delta, dadansoddi symbolaidd a phrofi theorem. Mae ganddo brofiad cadarn o gymhwyso technegau dadansoddi statig wrth ddadansoddi rhaglenni.

• 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