United Kingdom · Formal Software Engineering · Reviewed 2026-10-15

Prof. Martin Loomes

Senior computer scientist investigating rigorous formal methods in software construction, automated theorem proving, and modern cybersecurity education paradigms.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Formal Software Engineering, Cybersecurity Education, Artificial Intelligence Systems, Computing Pedagogies
Academic position: Professor of Computer Science & Software Engineering
Primary university source: Official directory entry ↗
Recruitment status: Not verified. Leadership profile does not imply active vacancies or assistantship availability.

Supervision and contact

Students interested in graduate or doctoral research supervision in Formal Software Engineering, Cybersecurity Education, Artificial Intelligence Systems are advised to consult formal department application channels.

Middlesex London guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

Facts reflect official university directory records reviewed 2026-10-15. Faculty recruitment and admissions require formal application.

Reviewed 2026-10-15 · Editorial standards · Report an issue