Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Research Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment and Facilities
Datasets
Student theses
Search by expertise, name or affiliation
Ahmed Bhayat
Dr, Mr
Research Associate
,
Formal Methods
https://orcid.org/0000-0002-1343-5084
Overview
Fingerprint
Network
Research output
(7)
Prizes
(1)
Thesis
(1)
Similar Profiles
(12)
If you made any changes in Pure these will be visible here soon.
Network
Visualization
Profiles
Research units
Giles Reger
Formal Methods
-
Lecturer in Computer Science
Person:
Academic
5 shared research output
Kaled Alshmrany
Autonomy and Verification
-
Research Associate
Person:
Academic
3 shared research output
Lucas Cordeiro
Systems and Software Security
-
Reader in Prog Analysis/Cyber Security
Person:
Academic
3 shared research output
Mohannad Aldughaim
Department of Computer Science
Person:
Doctor of Philosophy
2 shared research output
Fedor Shmarov
Person
1 shared research output
Pierre Olivier
Advanced Processor Technology
-
Lecturer in Computer Architecture
Person:
Academic
1 shared research output
Mustafa Mustafa
Systems and Software Security
-
Senior Lecturer
Person:
Academic
1 shared research output
Tom Melham
External person
1 shared research output