Rate My Professor Naipeng Dong

#5,588 worldwide#5,476 in Australia

Computer Science Engineering Cyber Security Software Engineering Artificial Intelligence Machine Learning Theory of Computation

4.4

5 reviews · out of 5

Rate Naipeng

Is this you? Claim this profile

Ratings & reviews

4.08/20/2025

Makes complex ideas simple and clear.

4.05/21/2025

Creates a welcoming and inclusive environment.

5.03/31/2025

Inspires students to achieve their best.

4.02/27/2025

Encourages critical thinking and analysis.

5.02/5/2025

Great Professor!

Taught by or worked with Naipeng?

Add your rating. It takes about 30 seconds.

About Naipeng

Dr. Naipeng Dong is a Senior Lecturer in the School of Electrical Engineering and Computer Science within the Faculty of Engineering, Architecture and Information Technology at the University of Queensland. She earned her Doctor of Philosophy from Université du Luxembourg. Her research expertise lies in automatic formal verification of security and privacy in cryptographic protocols, Android applications, and blockchain systems. She has developed efficient automatic formal verification techniques emphasizing attacker reasoning and analysis of cryptographic protocols, as well as algorithms to verify fault-tolerance in systems involving dishonest participants. Her analyses cover systems in e-auction, e-health, single-sign-on authentication, and blockchain consensus. Additional research interests include formal verification for correctness and trustworthiness of complex software behaviors; security and privacy vulnerabilities in AI, blockchain, Android, authentication, and e-health; post-quantum security mechanisms; secure cryptographic protocols; and security, correctness, and privacy in blockchain systems and smart contracts. Her fields of research encompass cybersecurity and privacy, information and computing sciences, software engineering, and software testing, verification, and validation.