I am always eager to hear from prospective PhD students with an interest and strong background in formal software engineering, logic-based learning, and digital forensics. Email me at dalal.alrajeh@ic.ac.uk if you are interested.
Imperial College entry requirements can be found here. Details on how to apply are found here. Existing PhD funding schemes include: Safe and Trusted AI, HiPEDS, Department of Computing Scholarships, PhD Studentships in Engineering and Imperial College PhD Scholarships. Please check your eligibility as some of these schemes are for students from the UK/EU only.
For available individual and group projects, please refer to the projects portal.
Imperial College also offers UROP placements for undergraduate students. Check the website for the next application deadline. If interested, please contact me via email: dalal.alrajeh@ic.ac.uk.
This is a first year undergraduate module. A description of the course is here.
This is a second year undergraduate module. A description of the course is here.
This is a second year undergraduate module. A description of the course is here.
This is a postgraduate module for MSc students. A description of the course is here.
Main course page is here. Lectures on Model-Based Design and Logical Properties (FLTL). Please go here for slides and programs.
Reading list available here.
Main course page here. Lectures on Safety and Liveness Properties and Logical Properties (FLTL). Please refer go here for slides and programs.
Lectures on Deadlock and Safety and Liveness Properties.
Lectures on Monitors and Condition Synchronization, Deadlock and Safety and Liveness Properties.
Three lectures on Class-based specifications and Object Z. Also course leader.
Guest lecturer on Class-based specifications and Object Z.