Muhammad Danial
Research Assistant
He is an experienced software developer and engineer. Currently, he is exploring confidence in the security of cyber-physical systems and also developing a system to support verified AI-generated program.
His research interests and skills include:
- software development
- cyber security
- cyber-physical systems