The Centre for Applied Formal Methods was established in March 2000 with the aim of carrying out research work with a balance of theory and practice in the general area of computer science. In particular, members of staff have interests in the following areas:

• Communicating Sequential Processes
• Functional Programming
• Hardware Compilation
• Industrial-Strength Formal Methods
• Logic Programming
• Parallelism
• Provably Correct Systems
• Rapid Prototyping
• Real-Time Systems
• Safety-Critical Systems
• Software/Hardware Co-design
• Z Notation

Academic Staff

Prof Jonathan Bowen (Head)
Prof Nimal Nissanke
Dr Ali Abdallah
Dr Toomas Plaks

Research Fellows/Students

Issam Damaj
Hamdan Dammag
Arwa Fahed
John Hawkins
Mike Houghton
Zhu Huibiao
Etienne Khayat
Hemangee Kapoor
Kalpesh Kapoor
Amare Leulseged
Gasso Mwaluseke
Phan Cong Vinh