Muhammad P.

Background

About Muhammad P.

A Research Assistant in Formal Analysis of Secure Hardware at the University of Manchester in the Formal Methods and Software Security Research Group working on the SCorCH Project particularly with the ESBMC Vampire Integration. A First Class Graduate Computer Scientist who also recently completed his Postgraduate Degree with an MSc in Advanced Computer Science (ACS) with Specialisation in Computer Security from the University of Manchester and has a passionate interest in Cryptography, Cyber Security and Computer Security. Alongside this he likes researching on Artificial Intelligence, Large Language Models (LLMs) and Machine Learning in the Fields of Gaming, Robotics and Security. Also, he thrives to learn new skills and loves to embark on new tasks to create and innovate. He is an enthusiastic individual who has a thirst for knowledge and aspires to improve by learning new skills; widening his arsenal. Furthermore, he is searching for work experience internships that will enable him to get a good start in the professional world. Knowledge is a gift from God and then combining this with passion allows him to search for new revolutionising technologies and wonder how they function leading to further research.